CMU Artificial Intelligence Repository
SLG: Goal-Oriented Deductive Query Processing and
Non-Monotonic Reasoning
areas/reasonng/tms/slg/
The SLG system is a meta interpreter implementation of
goal-oriented deductive query processing and non-monotonic
reasoning with the following features:
* goal-oriented query evaluation of normal logic programs
under the well-founded semantics by Van Gelder, Ross
and Schliph;
* goal-oriented query evaluation of general logic programs
under the alternating fixpoint logic by Van Gelder, with
the restriction that the body of a clause has to be either
an existential conjunction of literals or a universal
disjunction of literals.
* goal-oriented query evaluation under the stable model semantics
by Gelfond and Lifchitz.
* integration with Prolog execution, and the use of Prolog syntax
for all programs.
Origin:
seas.smu.edu:pub/ [129.119.3.2]
sbcs.sunysb.edu:pub/XSB/ [130.245.1.15]
as the file slg.tar.gz
Version: 4-NOV-93
Requires: Prolog
Copying: Copyright (C) 1993 Southern Methodist University,
SUNY at Stony Brook.
Use, copying, and distribution permitted. (See COPYRIGHT
file for details.)
CD-ROM: Prime Time Freeware for AI, Issue 1-1
Author(s): Weidong Chen
Computer Science and Engineering
Southern Methodist University
Dallas, Texas 75275-0122
Tel: 214-768-3097
David Scott Warren
Department of Computer Science
SUNY at Stony Brook
Stony Brook, NY 11794-4400
Tel: 516-632-8454
Keywords:
Authors!Chen, Authors!Warren, Deductive Query Processing,
Goal-Oriented, Nonmonotonic Reasoning, Prolog!Code,
Reasoning!Nonmonotonic Reasoning,
Reasoning!Truth Maintenance, SLG, SUNY at Stony Brook,
Southern Methodist University, Truth Maintenance
References: ?
Last Web update on Mon Feb 13 10:27:58 1995
AI.Repository@cs.cmu.edu