No description, website, or topics provided.
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Failed to load latest commit information.
Problem Statement


You are given a knowledge base and a number of queries. Your job is to determine if the queries can be inferred from the knowledge base or not. You have to use backward chaining algorithm for solving this problem.

Please go through the instructions in the Problem Statement folder.