Cost Analysis of Logic Programs.

Saumya K. Debray Nai-Wei Lin

Published in: ACM Trans. Program. Lang. Syst. (1993)

Keyphrases

logic programs
logic programming
answer sets
fixpoint
normal logic programs
answer set programming
inductive logic programming
stable models
partial deduction
term rewriting systems
reasoning tasks
prolog programs
functional programs
loop formulas