d-Prolog

Prolog extended with defeasible reasoning.

FTP for MS-DOS and Unix.

(07 Dec 1994)