CMU Artificial Intelligence Repository
Home INFO Search FAQs Repository Root

DPROLOG: Prolog extension for Defeasible Reasoning

DPROLOG is an extension of Prolog implementing defeasible reasoning.

Ports: Contains an Arity Prolog version (dprolog.ari) and a Prolog-1 version ( 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