d-Prolog

d-Prolog

(language)
A version of Prolog extended with defeasible reasoning.

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