Integrating Disequations in the Algebraic and Logic Programming Language LPG.
Didier BertRachid EchahedPublished in: ICLP Workshop: Integration of Declarative Paradigms (1994)
Keyphrases
- logic programming language
- logic programming
- constraint logic programming
- inference rules
- declarative semantics
- situation calculus
- answer set programming
- databases
- multi criteria
- domain independent
- programming language
- computational complexity
- artificial intelligence
- database
- logic programs
- general purpose
- knowledge representation
- bayesian networks
- knowledge base
- learning algorithm