d-Prolog
Prolog
extended with defeasible reasoning.
FTP
for
MS-DOS
and
Unix
.
(07 Dec 1994)