POPL 2025
Sun 19 - Sat 25 January 2025 Denver, Colorado, United States

This program is tentative and subject to change.

Mon 20 Jan 2025 15:00 - 15:30 at Room 2 - Session 3

Prolog is a programming language that provides a high-level approach to software development. Python is a versatile programming language that has a vast range of libraries including support for data analysis and machine learning tasks. We present a Prolog-Python interface that aims at exploiting Prolog deduction capabilities and Python extensive libraries. Our novel interface was built using a divide and conquer methodology. In a first step, we implemented a set of C++ classes that can be matched to Python classes; next, we used an interface generator to export the relevant classes. Finally, we use C code to actually convert between the two realms. In order to demonstrate the usefulness of the interface, we enhance an Inductive Logic Programming System with a visualization capabilities and show how to interface with a standard classifier.

This program is tentative and subject to change.

Mon 20 Jan

Displayed time zone: Mountain Time (US & Canada) change

14:00 - 15:30
Session 3PADL at Room 2
14:00
30m
Talk
A practical approach to handling tabular data in logic
PADL
Robin De Vogelaere KU Leuven, Kylian Van Dessel Leuven.AI, Belgium, Joost Vennekens KU Leuven
14:30
30m
Talk
C3G: Causally Constrained Counterfactual Generation
PADL
Sopam Dasgupta , Farhad Shakerin Microsoft, JoaquĆ­n Arias Universidad Rey Juan Carlos, Elmer Salazar The University of Texas at Dallas, Gopal Gupta
15:00
30m
Talk
On Bridging Prolog and Python to Enhance an Inductive Logic Programming System
PADL
Vitor Santos Costa University of Porto, Portugal, Miguel Areias University of Porto, Portugal