Prolog
Extension of
d-Prolog (1979)
Defeasible Prolog