Source : Free On-Line Dictionary of Computing

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