CMU Artificial Intelligence Repository
Home INFO Search FAQs Repository Root

SLG: Goal-Oriented Deductive Query Processing and Non-Monotonic Reasoning

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:                 []          []
   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