d-Prolog

Search:

d-Prolog

A version of Prolog extended with defeasible reasoning.

(ftp://aisun1.ai.uga.edu/ai.prolog/) for MS-DOS and Unix.

(1994-12-07)