GitHub repository: ltettoni/logic2j-engine
Primary language: Java
Created: 2017-01-29T16:11:07Z
Description: First-order logic inference engine for Java; core of logic2j