d-Prolog language A version of Prolog extended with defeasible reasoning. (ftp://aisun1.ai.uga.edu/ai.prolog/) for MS-DOS and Unix. (1994-12-07)