Sequence-based abstract interpretation of Prolog.

Baudouin Le Charlier Sabina Rossi Pascal Van Hentenryck

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

Keyphrases

abstract interpretation
termination analysis
static analysis
logic programming
model checking
active rules
knowledge base
reasoning engine