A Mode Analysis of Logic Programs by Abstract Interpretation.

Published in: Ershov Memorial Conference (1996)

Keyphrases

logic programs
abstract interpretation
logic programming
answer sets
static analysis
partial deduction
inductive logic programming
fixpoint
computational properties
database management systems
answer set programming
termination analysis
prolog programs