Functional Logic Programming with Failure: A Set-Oriented View.

Francisco Javier López-Fraguas Jaime Sánchez-Hernández

Published in: LPAR (2001)

Keyphrases

logic programming
logic programs
answer set programming
stable models
programming language
nonmonotonic reasoning
knowledge base
general purpose
answer sets
knowledge representation and reasoning
database
artificial intelligence
logic programming language
propositional variables
high level
linear logic