Comment on Rethinking PrologComments−anentropic3yA better link: https://okmij.org/ftp/kakuritu/rethinking.pdfThe OCaml library mentioned in the paper appears to be linked as individual files from the web page here: https://okmij.org/ftp/kakuritu/Hansei.html...not sure if it's properly published as a package anywhere.Looks like someone collected it to GitHub here: https://github.com/cararemixed/hanseiThere's some discussion here that the Hansei code may no longer work under OCaml 5: https://discuss.ocaml.org/t/multi-shot-continuations-gone-fo...Could someone ELI5 for me how this stuff relates to Kanren? It looked superficially similar.
Comments
A better link: https://okmij.org/ftp/kakuritu/rethinking.pdf
The OCaml library mentioned in the paper appears to be linked as individual files from the web page here: https://okmij.org/ftp/kakuritu/Hansei.html
...not sure if it's properly published as a package anywhere.
Looks like someone collected it to GitHub here: https://github.com/cararemixed/hansei
There's some discussion here that the Hansei code may no longer work under OCaml 5: https://discuss.ocaml.org/t/multi-shot-continuations-gone-fo...
Could someone ELI5 for me how this stuff relates to Kanren? It looked superficially similar.