GitHub repository: DerekRoy/BackChaining
Primary language: Python
Created: 2018-10-20T22:28:43Z
Description: Backchainng to solve logical entailment issues