An Abstract Interpretation Framework for (almost) Full Prolog.

Baudouin Le Charlier Sabina Rossi Pascal Van Hentenryck

Published in: GULP-PRODE (1) (1994)

Keyphrases

abstract interpretation
static analysis
logic programming
knowledge base
relational databases
object oriented databases
reasoning engine