xiaohe27/PrologInOcaml — pull request #5 by xiaohe27 (2014-11-28 18:17:47+00:00)
Title: Interpreter

interpreter alpha, not tested