fuzzy-reasoner (pypi): Simple symbolic reasoner which supports fuzzy unification
Keywords: prolog|python|reasoning|symbolic-logic