CMU Artificial Intelligence Repository
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 (dprolog.pro).
CD-ROM: Prime Time Freeware for AI, Issue 1-1
DPROLOG, Defeasible Reasoning, Prolog,
Last Web update on Mon Feb 13 10:27:48 1995