{"ref":"master","ref_type":"branch","master_branch":"master","description":"An inference engine which determines if the query can be inferred from the information given in the knowledge base using backward chaining","pusher_type":"user"}