<language> A version of Prolog extended with defeasible reasoning.
ftp://aisun1.ai.uga.edu/ai.prolog/ for MS-DOS and Unix.
(1994-12-07)
Try this search on Wikipedia, OneLook, Google
