xiaohe27/PrologInOcaml — pull request #6 by xiaohe27 (2014-11-28 21:48:22+00:00)
Title: Glue

update some tests