backward-chaining
Python SDK for NocturnusAI — a logic-based inference engine and knowledge database
A simple programming language and inference engine powered by backward chaining.