Event
Scryer Prolog Meetup 2024
What does this meetup offer?
The Scryer Prolog Meetup is an ideal venue to present and learn about the latest developments and applications of Prolog, and to pave the way for future cooperations.
Keyfacts
Scryer Prolog Meetup 2024
Start: November 7, 2024 from 9:00 a.m
End: November 8, 2024 around 8:00 p.m
Location: Hotel Stefanie, 2nd district, Taborstrasse 12 https://www.schick-hotels.com/
Language: English
Register for participation using the subject “Scryer Prolog Meetup 2024”
to post.vii-5(at)bka.gv.at
If you would like to give a talk or have any questions, please send an email with the subject “Scryer Prolog Meetup 2024 - Info”
to post.vii-5(at)bka.gv.at
Excursus: What is Prolog?
Prolog is the first logic programming language and is especially well-suited for the development of reliable AI applications.
The international standard ISO/IEC 13211-1 ensures interoperability and potential extensions of the language which is under continuous development.
Scryer Prolog is one of the newest implementations of Prolog and is available as free software at no cost. It is therefore especially suited for use in public administrations, businesses, research and teaching.
The Austrian Federal Ministry of Finance uses Scryer Prolog to analyze logical relations between grants for businesses, an application of symbolic AI.
Agenda Scryer Prolog Meetup 2024
Wednesday Nov. 6th
19:00 o’clock: dinner at the Hotel Stefanie, for those of us who are already here
Thursday Nov. 7th
08:30-09:00 Morning reception, informal exchange
09:00-09:15 Markus Triska: Welcome address, Presentation of Agenda
09:15-10:30 Mark Thom: Recent developments in Scryer Prolog, Q&A
10:30-10:45 Coffee break
10:45-11:45 Adrián Arroyo Calle: Native compilation of Prolog predicates with cranelift
12:00-13:00 Lunch break
13:00-14:30 Torbjörn Lager: The Role of the Raven in the Prolog Trinity Ecosystem: Scryer Prolog Agents on the Web
14:30-15:30 David C. Norris: Applied Category Theory with Scryer Prolog and CLP(ℤ): a case study in dose-escalation
15:30-16:00 Coffee break
16:00-17:00 Michael Compton: Prolog powered data mesh - provable governance, resource provisioning and heterogeneous data access planning
18:00 and later: speakers' dinner at the hotel
Friday Nov. 8th
08:30-09:00 Morning reception, informal exchange
09:00-10:00 Mark Thom: Scryer Shen: Typechecking Shen programs with Scryer Prolog
10:00-11:00 James J. Tolton: Embedded Scryer Prolog Powering Video Game AI
11:00-11:10 Coffee break
11:10-12:00 Christian Jendreiko: Unlocking the generative potential of quantum structures using DCGs
12:00-14:00 Lunch break
14:00 Walk from the hotel to TU Wien to visit the Prolog laboratory
15:00-16:00 François Fages: Functional notations and set comprehension metapredicates for mathematical modeling in Prolog
16:00-18:30 Presentation of the Prolog teaching environment GUPU by Ulrich Neumerkel
19:30 Closing dinner at the hotel
Agenda Scryer Prolog Meetup (PDF, access free)
