xiaohe27/PrologInOcaml — pull request #10 by xiaohe27 (2014-12-05 22:35:35+00:00)
Title: Backtrack

basic feature of backtracking, bug exists