How to Incorporate Negation in a Prolog Compiler.
Juan José Moreno-NavarroSusana Muñoz-HernándezPublished in: PADL (2000)
Keyphrases
- logic programming
- programming language
- logic programs
- horn clauses
- prolog programs
- general purpose
- procedural semantics
- expert systems
- object oriented
- logic programming language
- deductive databases
- stable models
- knowledge base
- constraint logic programming
- compositional semantics
- database
- parallel execution
- knowledge representation
- predicate logic
- answer set programming
- constraint language
- case study
- level parallelism
- neural network
- databases