Login / Signup
Transformational Logic Program Synthesis.
Taisuke Sato
Hisao Tamaki
Published in:
FGCS (1984)
Keyphrases
</>
logic programs
functional programs
logic programming
answer sets
stable models
answer set programming
fixpoint
normal logic programs
inductive logic programming
partial deduction
background knowledge
prolog programs
stable model semantics
general logic programs
computational properties
inside outside algorithm
logic program updates
program synthesis
loop formulas
declarative semantics
deductive databases