CMU Artificial Intelligence Repository
Home INFO Search FAQs Repository Root

DPROLOG: Prolog extension for Defeasible Reasoning

areas/reasonng/defeasbl/dprolog/
DPROLOG is an extension of Prolog implementing defeasible reasoning.
Origin:   

   ai.uga.edu

Ports: Contains an Arity Prolog version (dprolog.ari) and a Prolog-1 version (dprolog.pro). CD-ROM: Prime Time Freeware for AI, Issue 1-1 Keywords: DPROLOG, Defeasible Reasoning, Prolog, Reasoning!Defeasible Reasoning References: ?
Last Web update on Mon Feb 13 10:27:48 1995
AI.Repository@cs.cmu.edu