xiaohe27/PrologInOcaml — pull request #13 by xiaohe27 (2014-12-07 05:17:04+00:00)
Title: Debug

add true msg at the end if there is no other solutions and the subst set is empty