Scryer Prolog Meetup 2025

The 3rd Scryer Prolog Meetup will take place on Nov. 13th and 14th 2025 at the Hochschule Düsseldorf in Düsseldorf, Germany.

This meetup is an excellent opportunity to learn more about the latest developments and applications of Scryer Prolog, a modern free ISO compliant Prolog system.

Attendance is free, registration is not required.

If you want to give a talk, please contact Prof. Christian Jendreiko and Markus Triska.

We hope to see you at the meetup!

More information:
Scryer Prolog
Scryer Prolog Meetup 2023
Scryer Prolog Meetup 2024

↓
Thursday, Nov. 13th 2025

10.00–11.00
Mark Thom: Recent progress in Scryer Prolog and current developments

11.00–12.00
Kauê Hunnicutt Bazilli: The Rust, C and Wasm embedding APIs of Scryer Prolog

12.00–13.30
Lunch break

13.30–14.30
David C. Norris: The DEDUCTION Programme – Dose Escalation Designs in Universal Context of Titration for Oncology Drug Development

14.30–15.00
Coffee break

15.00–15.30
Jonathan McHugh: Guix OS and Scryer – Prolog With Added Func

15.30–17.00
Ulrich Neumerkel: Current developments in the Prolog ISO standard, systematic testing of Prolog implementations

Starting at 19.00
Dinner

↓
Friday, Nov. 14th 2025

10.00–11.00
Christian Jendreiko and Björn Lellmann: An update on recent applications of Scryer Prolog in Quantum Mechanics and Music Theory

11.00–12.00
Kauê Hunnicutt Bazilli and Bryan-Elliott Tam: Bakage, a package manager for Prolog systems

12.00–13.30
Lunch break

13:30–14:00
Daniel K. Hashimoto
Towards an Implementation-Independent Interface for Reasoning about Semantic Web in Prolog

14.00–14.30
Barnabás Zahorán and Bennet Bleßmann: plwm – An X11 window manager written in Prolog

14.30–15.00
Coffee break

15.00–16.00
Michael Leuschel: Using Prolog to Translate B and Set Theory to Answer Set Programming

16.00–17.00
James J. Tolton: TBD

Starting at 19.00
Dinner