The Architecture of an Implementation of Lambda-Prolog: Prolog/Mali.
Pascal BrissetOlivier RidouxPublished in: ILPS Workshop: Implementation Techniques for Logic Programming Languages (1994)
Keyphrases
- inference engine
- logic programming
- functional programming
- layered architecture
- logic programming language
- expert systems
- knowledge representation
- knowledge base
- programming language
- prolog programs
- design considerations
- abstract machine
- constraint logic programming
- hardware architecture
- architectural design
- platform independent
- instruction set
- backward chaining
- hardware implementation
- semantically equivalent
- hardware architectures
- parallel architecture
- software implementation
- computing platform
- theorem proving
- cloud computing
- programming paradigms
- management system