Fork me on GitHub

Hey @krukow - I saw your recent question on the other channels about using Datalog and core.logic to model your mentee->mentor constraint problem (, 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: ...although I doubt it's going to be in the same performance league as a serious constraint solver 🙂

❤️ 1
👀 1

Very nice - I wasn’t familiar with XTDB! Thanks

☺️ 1