Prolog Like Natural Language Inference tool