An automatic debugging approach for logic programming with a method for propagating constraints | IEEE Conference Publication | IEEE Xplore