Detection and Optimization of Suspension-free Logic Programs.

Saumya K. Debray David Gudeman Peter A. Bigot

Published in: ILPS (1994)

Keyphrases

logic programs
logic programming
answer sets
fixpoint
answer set programming

stable models
inductive logic programming
partial deduction
computational properties
normal logic programs

background knowledge
prolog programs
term rewriting systems
logic program updates

stable model semantics
owl ontologies
programming language
natural language