Parametric Composable Modules in a Logic Programming Language.
Evelina LammaPaola MelloGianfranco RossiPublished in: Comput. Lang. (1993)
Keyphrases
- logic programming language
- logic programming
- constraint logic programming
- inference rules
- situation calculus
- declarative semantics
- logic programs
- first order logic
- deductive databases
- constraint programming
- visual information
- machine learning
- linear programming
- general purpose
- knowledge representation
- optimal solution
- bayesian networks