Sized Type Analysis for Logic Programs.

Alejandro Serrano Pedro López-García Francisco Bueno Manuel V. Hermenegildo

Published in: Theory Pract. Log. Program. (2013)

Keyphrases

logic programs
logic programming
answer sets
answer set programming
fixpoint
background knowledge
prolog programs
normal logic programs
term rewriting systems