fall (cargo): An easily embeddable, futures-friendly logic engine.
Keywords: logic-programming|rust