Using a Logic Programming Language with Persistence and Contexts.

Salvador Abreu Vítor Nogueira

Published in: INAP (2005)

Keyphrases

logic programming language
logic programming
constraint logic programming
inference rules
situation calculus
declarative semantics
constraint solving
logic programs
knowledge base
natural language
special case
knowledge representation
answer set programming