d-Prolog

Prolog extended with defeasible reasoning (whatever that is).