Merge pull request #6 from xiaohe27/glue

Glue
Merge pull request #7 from xiaohe27/glue

add the test case for whole system
add two prolog test, change lexer,parser for bool term
Merge branch 'master' into glue
merge with master to get some updates from another branch