Announcing the Third Annual Scryer Prolog Meetup

[mthom]

Like the first, it will take place in Düsseldorf this year, again graciously hosted by Christian Jendreiko of the Hochschule Düsseldorf:

https://hsd-pbsa.de/veranstaltung/scryer-prolog-meetup-2025/

[triska]

This is going to be awesome! I hope to see many of you there!

[triska]

Dear all,

the agenda is now online!

Thank you all for such an awesome lineup of interesting talks and topics!

Enjoy!
Markus

[dougransom]

I realize it may not be feasible, but consider recording the talks. They look interesting! And it might help popularize Prolog if they were on a video streaming service.

[thierrymarianne]

Wishing you all a great meetup!

[constraintAutomaton]

Here are the slides of my presentation, titled Bakage, a package manager for Prolog systems.

[bakaq]

Here are the slides for my presentation on the embedding APIs: main.pdf.

Some people pointed out that it needed more examples, which is fair. I was doing a really elaborate Rust example, but it was a bit ambitious and I couldn't make it in time. There is a basic example in the C API repo that should also not be difficult to translate to the Rust API, and @guregu's Javascript wrapper of the browser Wasm API also has a short example.

[bakaq]

Also, @Skgland pointed out to me that he has a draft PR implementing the function registration part: #3145. I completely forgot about that for some reason.

[leuschel]

Hi, I have made my slides available here https://stups.hhu-hosting.de//models/b2asp/
Talk: B2ASP : A Clingo SAT Backend for ProB
I really enjoyed the meetup. Thanks for all the feedback.
A few other useful links for materials mentioned in my talk:

• The online version of the ECCE partial evaluation system: https://ecce.stups.hhu.de/ecce/
• The source code of Ecce is on github at github.com/leuschel/ecce
• The Jupyter Kernel for SWI and SICStus Prolog is here: https://github.com/hhu-stups/prolog-jupyter-kernel
• A few notebooks for Prolog I developed for teaching can be found here: https://gitlab.cs.uni-duesseldorf.de/general/stups/prob-teaching-notebooks
• The ProB tool is available here: https://prob.hhu.de
• I will try and post the LAMP example later

[Kiyoshi364]

Hi,

I have the slides for my talk and associated stuff available!
I will add extra links that might be interesting.

Talk: Towards an Implementation-Independent Interface for Reasoning about Semantic Web in Prolog

Links:

• slides: https://github.com/Kiyoshi364/static-memory/blob/main/talks/Towards_an_Implementation-Independent_Interface_for_Reasoning_about_Semantic_Web_in_Prolog.pdf
• code for generating images: https://github.com/Kiyoshi364/static-memory/blob/main/talks/Towards_an_Implementation-Independent_Interface_for_Reasoning_about_Semantic_Web_in_Prolog
• repository which the talk was derived from: https://gitlab.com/Hashi364/semweb
• general references for semantic web: https://github.com/semantalytics/awesome-semantic-web
• thirdparty libraries I mentioned:
  • ClioPatria
  • Thea2
• where you can find more about me: https://github.com/Kiyoshi364/static-memory

[thierrymarianne]

Hi! Thank you! I've shared your comment with virtual assembly members.

They offer solutions on top of semweb principles (the organisation homepage - in French).