Annotated logic programming
Published • Nov 19, 2002
Authors:
Krishnaprasad Thirunarayan
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...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!