Datalog

Tags: declarative, logic-based

Related tools: