Nondeterminism Analysis of Functional Logic Programs.

Bernd Braßel Michael Hanus

Published in: ICLP (2005)

Keyphrases

logic programs
logic programming
answer sets
fixpoint
answer set programming
stable models
background knowledge
computational properties
normal logic programs
inductive logic programming
software engineering
data types
loop formulas