add more prolog test
Merge branch 'master' of https://github.com/xiaohe27/PrologInOcaml
modify clause and query to enable predicates to be connected by both comma and semi-colon
Merge branch 'master' of https://github.com/xiaohe27/PrologInOcaml
master modify the predicate list
interpreter ok: not tested