add more prolog test
Merge branch 'master' of https://github.com/xiaohe27/PrologInOcaml
modify projCommon
interpreter unfinished
add some interpreter functions
add unifyHead method
add eval_predicate function
modify a little
evaluator.ml ok
waiting for glue.ml
Merge branch 'master' of https://github.com/xiaohe27/PrologInOcaml
master modify the predicate list
interpreter ok: not tested
rm junk
merge interpreter branch to master