@neauoire @wryl That's cool! Does it use DFS to decide what rules to apply, like Prolog?