There are 1 repositories under logic-inference topic.
Software implementation of logic inference machine