A Logic Programming Language Based on Binding Algebras.

Published in: TACS (2001)

Keyphrases

logic programming language
logic programming
constraint logic programming
inference rules
declarative semantics
situation calculus
logic programs
topological spaces
relational databases
special case
deductive databases
answer set programming
knowledge base
nonmonotonic reasoning
stable models