parthasarathy27 / ai_prolog_laboratory Goto Github PK
View Code? Open in Web Editor NEWIn prolog, We declare some facts. These facts constitute the Knowledge Base of the system. We can query against the Knowledge Base. We get output as affirmative if our query is already in the knowledge Base or it is implied by Knowledge Base, otherwise we get output as negative.
Home Page: https://www.swi-prolog.org/