A Regular Type Analysis of Logic Programs.

Lunjin Lu John G. Cleary

Published in: ICLP (1999)

Keyphrases

logic programs
logic programming
answer sets
answer set programming
background knowledge
stable models
normal logic programs
inductive logic programming
fixpoint
computational properties
prolog programs
partial deduction
logic program updates