GitHub repository: AparnaAnand/InferenceAgent
Primary language: Python
Created: 2015-12-17T04:32:15Z
Description: Agent that performs inference in first order logic-implements backward chaining algorithm