Polymorphic Type Inference in Prolog by Abstract Interpretation.

Kenji Horiuchi Tadashi Kanamori

Published in: LP (1987)

Keyphrases

abstract interpretation
static analysis
termination analysis
type checking
inference engine
logic programming
expert systems
knowledge representation
active rules
programming language
spatial databases
active databases
reasoning engine