Login / Signup
Loop Checking and Negation.
Roland N. Bol
Published in:
JELIA (1990)
Keyphrases
</>
logic programs
logic programming
deductive databases
containment of conjunctive queries
predicate logic
real time
compositional semantics
data sets
real world
case study
special case
programming language
feedback loop