GitHub repository: yemon202/fol-algorithm
Primary language: Python
Created: 2015-12-30T01:59:16Z
Description: First Order Logic (FOL) algorithm implementation.