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
01.01.1995
334108 byte
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
British Library Conference Proceedings | 1995
|British Library Conference Proceedings | 2001
|TIBKAT | 1984
|Constraint logic programming and scheduling
British Library Online Contents | 1995
|Logic Programming for expert systems
TIBKAT | 1980
|