Semantics-Directed Generation of a Prolog Compiler.
Charles ConselSiau-Cheng KhooPublished in: Sci. Comput. Program. (1993)
Keyphrases
- logic programming
- programming language
- logic programming language
- semantically equivalent
- expert systems
- semantic information
- conceptual model
- general purpose
- logic programs
- object oriented
- deductive databases
- formal semantics
- generation process
- model theoretic
- knowledge representation
- constraint language
- answer set programming
- operational semantics
- prolog programs
- machine learning