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:
nemin | 13 hours ago
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:
https://www.youtube.com/watch?v=OyfBQmvr2Hc
jevinskie | 18 hours ago
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
rplacy | 49 minutes ago
I've read it as
mini-Karen:)