Polymorphic Type Analysis in Logic Programs by Abstract Intepretation.

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

Keyphrases

logic programs
logic programming
high level
answer set programming
fixpoint
stable models
answer sets
background knowledge
normal logic programs
term rewriting systems
computational properties
prolog programs
logic program updates
deductive databases