Abstract Interpretation from Prolog to Concurrent Prolog.

Christian Codognet Philippe Codognet Marc-Michel Corsini

Published in: SPLT (1990)

Keyphrases

logic programming
expert systems
knowledge representation
abstract interpretation
programming language
knowledge base
logic programs
termination analysis
database
active rules