Unfolding, Procedural and Fixpoint Semantics of Logic Programs.

François Denis Jean-Paul Delahaye

Published in: STACS (1991)

Keyphrases

fixpoint
semantics of logic programs
logic programs
deductive databases
finite state machines
answer sets
logic programming
stable models
truth values
horn clauses
object oriented
datalog programs
nonmonotonic reasoning
query evaluation
sql queries
answer set semantics
integrity constraints
database systems