AI Forward Chaining implementation for propositional logic horn form knowledge bases
By Jeremiah Ondricka at Mar 14 2022