ZuriHac 2025 Trip Report

Links
1

In this post I share my experience of attending ZuriHac.

37 Likes
2

Great post! I was also delighted to meet you in person :smiley:

2 Likes
3

Thanks! It was nice to put a face to the names:) I wish we had more time to talk though, next time I hope!

2 Likes
4

Thanks for sharing your great report!

3 Likes
5

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?

2 Likes
6

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.

1 Like
7

I greatly enjoyed reading your report, I bookmarked so many things! :slight_smile:

1 Like
8

Thanks for the report, I’m glad we finally met in-person.

2 Likes
9

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.

2 Likes