/logic-reference

Primary LanguageC++

Horn Form Logic Reference

Backward chaining/ loop detection.