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 | a month 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 | a month 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 | a month ago
I've read it as
mini-Karen:)