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