xiaohe27/PrologInOcaml — pull request #8 by xiaohe27 (2014-11-29 04:44:32+00:00)
Title: Glue

add debug infrastructure