We give a formal account of an annotated logic programming language, describe its semantics, and provide a meta-interpreter written in Prolog for performing deductive reasoning. The goal is to enhance the expressiveness of logic programs while simultaneously retaining the computational advantages of efficiency and simplicity of the underlying logic programming machinery.
Annotated logic programming
1995-01-01
334108 byte
Conference paper
Electronic Resource
English
British Library Conference Proceedings | 1995
|British Library Conference Proceedings | 2001
|TIBKAT | 1984
|Logic Programming for expert systems
TIBKAT | 1980
|Constraint logic programming and scheduling
British Library Online Contents | 1995
|