Rewriting Concepts in the Study of Termination of Logic Programs.

R. K. Shyamasundar M. R. K. Krishna Rao Deepak Kapur

Published in: ALPUK (1992)

Keyphrases

logic programs
logic programming
background knowledge
answer sets
answer set programming
relational databases
inductive logic programming
fixpoint
magic sets
stable models
normal logic programs
partial deduction
term rewriting systems