Loop Checking and Negation.

Published in: J. Log. Program. (1993)

Keyphrases

logic programs
compositional semantics
logic programming
deductive databases
fixpoint
predicate logic
metadata
feedback loop
real time
database systems
data model
hidden markov models
horn clauses
consistency checking