Hey @krukow - I saw your recent question on the other channels about using Datalog and core.logic to model your mentee->mentor constraint problem (https://clojurians.slack.com/archives/C03RZMDSH/p1647104972229839), and I think it's quite a neat example for thinking about both Datalog evaluation and the relationship of Datalog to constraint logic programming, so I wanted to bring up the topic here. XTDB should be able to handle this particular solution somewhat efficiently as the number of lvars scales up: https://gist.github.com/refset/3a848b1778f0af6fa43196a79b48f1db ...although I doubt it's going to be in the same performance league as a serious constraint solver 🙂