Defeasible Prolog