Login / Signup
A Transformation System for Lazy Functional Logic Programs.
María Alpuente
Moreno Falaschi
Ginés Moreno
Germán Vidal
Published in:
Fuji International Symposium on Functional and Logic Programming (1999)
Keyphrases
</>
logic programs
logic programming
answer sets
answer set programming
stable models
fixpoint
background knowledge
partial deduction
prolog programs
normal logic programs
computational properties
logic program updates
term rewriting systems
stable model semantics
inductive logic programming
relational databases
functional programs
existentially quantified
default logic
definite clause
deductive databases
monotonicity constraints
strong equivalence
loop formulas
expert systems