An Analysis of Loop Checking Mechanisms for Logic Programs.

Roland N. Bol Krzysztof R. Apt Jan Willem Klop

Published in: Theor. Comput. Sci. (1991)

Keyphrases

logic programs
logic programming
background knowledge
answer set programming
answer sets
stable models
inductive logic programming
fixpoint
normal logic programs
prolog programs
software engineering
loop formulas