Semantics-Directed Generation of a Prolog Compiler.
Charles ConselSiau-Cheng KhooPublished in: PLILP (1991)
Keyphrases
- logic programming
- programming language
- logic programming language
- general purpose
- semantically equivalent
- logic programs
- expert systems
- knowledge representation
- knowledge base
- answer set programming
- formal semantics
- prolog programs
- inference engine
- generation process
- highly optimized
- constraint language
- software systems
- constraint logic programming
- generation method
- database
- web services
- metadata
- machine learning