Well-Typed Logic Programs Are not Wrong.

Pierre Deransart Jan-Georg Smaus

Published in: FLOPS (2001)

Keyphrases

logic programs
logic programming
fixpoint
stable models
background knowledge
answer sets
answer set programming
computational properties
prolog programs
partial deduction
inductive logic programming
logic program updates
horn clauses
expert systems
stable model semantics
strong equivalence
term rewriting systems