A natural language understanding system built using Prolog
A first order logic based chatbot that understands and responds to queries
This is a formal logic based implementation of a chat bot. The prolog code implements tokenization, lemmatization, syntactic and semantic parsing along with Model checking. The ontology based chat bot is capable of handling questions and responding with answers that adhere to the rule/knowledge base
