miniKanren.org
35 points by veqq
35 points by veqq
I highly suggest watching some of the talks about the language if the concept sounds interesting. William Byrd is a super charismatic speaker and he pays extra attention to make the difficult logic concepts of mK feel a lot less daunting:
Oh cool, I didn’t realize the logiclang tag was approved.
I’ve been tinkering with the Arm machine readable spec and was looking into Datalog or miniKanren to evaluate the relations used in the spec. Along the way I found this presentation to be helpful:
Friday Hacks #199: Relational Programming in miniKanren, & Implementing a Kanren from the Ground Up
For Python, this library was easy to use: https://github.com/pythological/kanren
I've read it as mini-Karen :)