cs.AIOct 20, 2026

Simply Logical -- The First Three Decades

Authors: Peter Flach, Kacper Sokol, Jan Wielemaker

Organizations: Intelligent Systems Laboratory, University of Bristol, United Kingdom · SWI-Prolog Solutions b.v., Netherlands

Abstract

This paper charts the evolution of the Prolog textbook Simply Logical -- Intelligent Reasoning by Example from print with runnable programmes on a 3.5-inch diskette published in 1994, via various intermediate online versions, to the fully interactive online edition available today. Our aim is to investigate -- from both the writer's and the reader's perspectives -- the potential impact of technology on educational materials. The three authors of this paper present three distinct and complementary points of view, which come together to shape an interactive online book that offers an immersive learning experience. Peter describes the philosophy behind the original book and experiences teaching from it. Jan demonstrates how contemporary web programming has enabled a fully interactive realisation of the book's philosophy. Kacper reports how different technologies can be adopted to build a versatile authoring toolkit that underpins the interactive online edition of the book. Collating these distinct yet coherent perspectives allows us to reflect on future opportunities for interactive Prolog teaching materials arising from the continuous development of web technologies. The insights we offer should be of interest to teachers of Prolog as well as those wanting to find out about the latest educational technologies.

Figures & tables

Explore similar work

CardsList
  1. Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB

    Jul 23, 2026Katharina Engels, Jan Gruteser, Michael LeuschelAutomated Theorem ProvingInteractive Theorem Proving

  2. PaperVoyager : Building Interactive Web with Visual Language Models

    Mar 24, 2026Dasen Dai, Biao Wu, Meng Fang +1Web Application GenerationDocument Understanding

  3. I-WebGenBench : Evaluating Interactivity in LLM-Generated Scientific Web Applications

    May 30, 2026Dasen Dai, Biao Wu, Meng Fang +2AI for ScienceWeb Application Generation