Eliminating Irrelevant Non-determinism in Functional Logic Programs.

Sergio Antoy Michael Hanus

Published in: PADL (2017)

Keyphrases

logic programs
logic programming
stable models
fixpoint
inductive logic programming
answer set programming
answer sets
background knowledge
prolog programs
partial deduction
normal logic programs
computational properties
stable model semantics
logic program updates
loop formulas
declarative programming