https://clojurians.slack.com/archives/C08TC9JCS/p1561715419047500 I don’t know the specifics here at all. But probably could still be backwards chaining and have something like this apply.

https://clojurians.slack.com/archives/C08TC9JCS/p1561716926057800 The syntax can be altered if you want an alternative dsl. The rules have a well defined data model. It’s not “just let” syntax since that would be awkward to make semantically work for more complex rules. Rules are about unification bindings etc. datalog isn’t let-binding syntax either. Also Clara is aligning its default DSL syntax closer to the world of forward chaining rules engines that have existed for a long time.

But your problem seems interesting @misha I don’t have necessarily any easy answers there. First I would make sure the rules can express your problems that you try to solve. Then maybe worry more about blending it with a datalog syntax if that’s you’re goal.