In this post I share my experience of attending ZuriHac.
Great post! I was also delighted to meet you in person
Thanks! It was nice to put a face to the names:) I wish we had more time to talk though, next time I hope!
Thanks for sharing your great report!
Very inspiring! Too bad I couldn’t attend this year (have 2 kids now ..). Would love to learn more about the Prolog bindings! Do you have a link?
Thank you for the kind words, your feedback means a lot to me as that was challenging to write!
I think the Prolog bindings is still in progress, but the author promised it will be published on hackage once it is working.
I greatly enjoyed reading your report, I bookmarked so many things!
Thanks for the report, I’m glad we finally met in-person.
I’m the one who is implementing the SWI Prolog bindings.
Let me start by warning you that I’m an expert producer of abandonware. Unfortunately I have very little time to work on hobby projects (I also have kids…). That being said, this particular library is quite limited in scope so I should be able to release it and maintain it.
I learned that in order to expose Haskell data to SWI, the binding needed to assign variable names to the data, and I was surprised to hear that unification-fd could be used to solve this challenge.
Maybe I need to clarify that the only thing I needed from unification-fd
is the UTerm
data type. As you can guess, the actual unification is performed by Prolog.
However I was not really satisfied by that representation since it requires Fix
and recursion schemes, which are hard to work with. So in the end I opted for a slightly different way to encode Prolog terms in Haskell. The work is mostly done but I need to clean up the code before making it public.