Title :
Annotated logic programming
Author :
Thirunarayan, Krishnaprasad
Author_Institution :
Dept. of Comput. Sci. & Eng., Wright State Univ., Dayton, OH, USA
Abstract :
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
Keywords :
PROLOG; computational linguistics; logic programming languages; model-based reasoning; nonmonotonic reasoning; program interpreters; recursive functions; semantic networks; uncertainty handling; Prolog; annotated logic programming language; deductive reasoning; efficiency; expressive representation language; levels of defensibility; meta-interpreter; model-theoretic semantics; recursive rules; simplicity; stratified annotated logic programs; supported model meanings; syntax; Birds; Ice; Logic programming; Machinery; Pulse inverters; Uncertainty;
Conference_Titel :
Aerospace and Electronics Conference, 1995. NAECON 1995., Proceedings of the IEEE 1995 National
Conference_Location :
Dayton, OH
Print_ISBN :
0-7803-2666-0
DOI :
10.1109/NAECON.1995.521996
