Efficient Run-Time Type Checking of Typed Logic Programs.

Philip W. Dart Justin Zobel

Published in: J. Log. Program. (1992)

Keyphrases

logic programs
logic programming
fixpoint
answer sets
answer set programming
type checking
normal logic programs
stable models
partial deduction
artificial intelligence
machine learning
data mining
response time
deductive databases
semantics of logic programs