GitHub repository: Akhilmanchikanti/Inference-Engine-FOL
Primary language: Java
Created: 2017-11-28T02:46:00Z
Description: Inference Engine built using First Order Logic Resolution technique. This works on CNF clauses.