PEG 2026 @ ICLP

Prolog Education Workshop 2026

The 4th Prolog Education Workshop, PEG 2026, will take place on July 19, 2026, with ICLP 2026, in Lisbon, Portugal, and as part of the Federated Logic Conference (FLoC) 2026.

Workshop Program

  • 09:00-09:05 - Opening. Gopal Gupta, Stefania Costantini.
    09:05-10:00
    Invited Talk: Teaching Logical Thinking through Logic Programming using Logical English, Argumentation Games and Animations. Robert A. Kowalski (Imperial College, UK) and Miguel Calejo (Logical Contracts)
    10:00-10:40
    Session 1: Teaching with Logic Programming in Arts and Culture. Chair: TBA

    10:00-10:20
    Connecting artistic and logical reasoning: The Bento Box as a Conceptual Tool in the Education of Logic Programming for Art and Design Students. C. Jendreiko (University of Applied Sciences, Duesseldorf.)
    10:20-10:40
    Symbolic Artificial Intelligence for Preserving Linguistic and Cultural Diversity. R. Lazarova, V. Tabakova-Komsalova, S. Stoyanov, I. Stoyanov. (Paisii Hilendarski University of Plovdiv and Bulgarian Academy of Sciences, Bulgaria.)
    10:40-11:10
    Coffee break
    11:10-12:30
    Session 2: Logic Programming for teaching Logical Thinking to Children. Chair: TBA

    11:10-11:30
    Logical Minecraft: Teaching Logical Thinking through Games. S. Vandevelde (K. U. Leuven, Belgium.)
    11:30-11:50
    IMPLY - a Logic Learning Game for Pre-literate Children. M. Wenzel (Martin-Luther-University Halle-Wittenberg, Germany.)
    11:50-12:10
    Cracking Messages: Logic Programming to Secret Communication. M. Maglizhanova, L. Cecchi, V. Tabakova-Komsalova, J. Rodríguez (University of Plovdiv, Bulgaria; Universidad Nacional del Comahue, Argentina.)
    12:10-12:30
    Web Platform for Symbolic AI and Knowledge. M. Maglizhanova, V. Tabakova-Komsalova, V. Dahl, S. Stoyanov, S. Srebrev, T. Srebreva (University of Plovdiv and Bulgarian Academy of Science, Bulgaria; Simon Fraser University, Canada.)
    09:00-09:05
    Opening. Gopal Gupta, Stefania Costantini.
    12:30-14:00
    Lunch
    14:00-15:20
    Session 3: Tools for teaching Logic Programming. Chair: TBA

    14:00-14:20
    Solving P-99 at the age of LLM—Examples and pedagogical considerations. F. Mesnard, T. Marianne, E. Payet, W. Vanhoof (Universite de La Reunion, France; Universite de Namur, Belgium.)
    14:20-14:40
    Embodied Declarative Logic: Learning Logica via Orchestrating Robot Behavior. E. Skvortsov, O. Garg, Y. Xia, S. Bowers, B. Ludaescher (Google, UIUC, Gonzaga University, USA.)
    14:40-15:00
    Logical English 2: A Reimplementation. M. Calejo, J. Quintero (Logical Contracts, UK; Universidad de Los Andes, Venezuela.)
    15:00-15:20
    Are we intelligent enough to judge intelligence? Proposal for a New PEG Task Force to Develop AI Tests. M. Maglizhanova, C. Jendreiko, J. Quintero, V. Dahl, L. Cecchi (University of Plovdiv, Bulgaria; University of Applied Sciences, Germany; Universidad de Los Andes, Venezuela; Simon Fraser University, Canada; Universidad Nacional del Comahue, Argentina.)
    15:20-15:50
    Coffee Break
    15:50-17:10
    Session 4: Logic Programming for Teaching Computing Subjects. Chair: TBA

    15:50-16:10
    Using Logica to Teach About Parallel Complexity. E. Skvortsov, D. Warren, O. Garg, Y. Xia, S. Bowers, B. Ludaescher (Google, UIUC, Stonybrook University, Gonzaga University, USA.)
    16:10-16:30
    Using Prolog for a Compilers Course. S. Abreu (University of Evora, Portugal)
    16:30-16:50
    Prolog-Blockly Playgrounds for Logical Reasoning through Natural Deduction. J. Arias, A. Scocco (Universidad Rey Juan Carlos and Universita Politecnica delle Marche, Spain.)
    16:50-17:10
    ProverSLD: An Interactive Visualizer for Teaching SLD Resolution in Prolog and First-Order Logic. J. Perhac, P. Vmil, S. Novotny (Technical University of Kosice, Slovakia.)
    17:10-17:15
    Closing. Gopal Gupta, Stefania Costantini.

    • Context

    The PEG workshop series is one of the initiatives of the Prolog Education Group 2.0 (PEG 2.0), which aims to promote the use of Prolog-like computing to make logical reasoning and trustworthy coding skills more universally available.

    PEG 2.0 builds upon a nearly 50-year history of developing educational materials for using logic programming languages such as Prolog and ASP to introduce children in primary and secondary schools to both logic and computing. It also includes the insights and innovations developed for teaching Prolog at university level in both Computing and non-Computing courses.

    Organization:

    Program Chairs

    • Stefania Costantini, University of L'Aquila, Italy
    • Gopal Gupta, University of Texas at Dallas, USA

    Contact

    All questions about submissions should be emailed to the Program Chairs, Stefania Costantini (stefania.costantini59@gmail.com) and Gopal Gupta (gupta@utdallas.edu).


    Prolog Education is a part of the "All Things Prolog" online Prolog community, an initiative of the Association for Logic Programming stemming from the Year of Prolog activities.