Proving Failure in Functional Logic Programs.

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

Published in: Computational Logic (2000)

Keyphrases

logic programs
logic programming
stable models
answer sets
answer set programming
fixpoint
background knowledge
prolog programs
computational properties
normal logic programs
inductive logic programming
partial deduction
horn clauses
term rewriting systems
general purpose
existentially quantified
loop formulas