xiaohe27/PrologInOcaml — pull request #11 by xiaohe27 (2014-12-06 21:04:41+00:00)
Title: Debug2

ok. only need to refine output:
when only one true result: then directly output.

if multiple, then waiting for user's decision:
; will goto next result
enter return key will terminate

also: backtrack on the fly.