A version of Prolog extended with defeasiblereasoning. (ftp://aisun1.ai.uga.edu/ai.prolog/) for MS-DOS and Unix.