1 definition found d-prolog - Free On-line Dictionary of Computing (26 May 2007) : 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)