add two prolog test, change lexer,parser for bool term