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