backward (pypi): A simple programming language and inference engine powered by backward chaining.
Keywords: backward-chaining|expert-system|inference-engine|programming-language