AI Backward Chaining implementation for propositional logic horn form knowledge bases
By Belinda KrajcikV at Mar 14 2022