DocumentCode
3130600
Title
Annotated logic programming
Author
Thirunarayan, Krishnaprasad
Author_Institution
Dept. of Comput. Sci. & Eng., Wright State Univ., Dayton, OH, USA
Volume
2
fYear
1995
fDate
22-26 May 1995
Firstpage
583
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Aerospace and Electronics Conference, 1995. NAECON 1995., Proceedings of the IEEE 1995 National
Conference_Location
Dayton, OH
ISSN
0547-3578
Print_ISBN
0-7803-2666-0
Type
conf
DOI
10.1109/NAECON.1995.521996
Filename
521996
Link To Document