<language> A version of Prolog extended with defeasible reasoning.
ftp://aisun1.ai.uga.edu/ai.prolog/ for MS-DOS and Unix.
Nearby terms: DPMS « DPN « DPP « d-Prolog » DPS » DPS-6 » dpSather
