dProlog home page

Note that dProlog is not D-Prolog (a Prolog system extended with defeasible reasoning): dProlog has no such extension.