Resolution of Goals with the Functional and Logic Programming Language LPG: Impact of Abstract Interpretation.
Didier BertRachid EchahedKamel AdiPublished in: AMAST (1996)
Keyphrases
- logic programming language
- abstract interpretation
- logic programming
- constraint logic programming
- termination analysis
- inference rules
- situation calculus
- static analysis
- knowledge representation
- machine learning
- domain independent
- dynamic analysis
- software engineering
- object oriented
- relational databases
- bayesian networks
- web services