Prolog Textbook Simply Logical Releases Fully Interactive Web Edition After 32 Years
The arXiv submission traces the 32-year technical evolution of Simply Logical into a live web book. No empirical learning data or comparisons to alternative formats are provided. The contribution is primarily an engineering case study of web-based logic programming delivery.
The paper records three author perspectives on the book's lifecycle. Peter Flach covers the original print-plus-diskette design and classroom use. Jan Wielemaker shows how SWISH and web Prolog enable live execution inside the text. Kacper Sokol describes the authoring toolkit that generates the current version from source.
No new benchmarks or learner outcome data appear in the submission. The 908 KB PDF contains only historical narrative and implementation descriptions rather than controlled studies measuring retention or error rates against static PDFs or earlier online versions.
The work aligns with prior efforts such as Learn Prolog Now and the SWI-Prolog web interface releases since 2012. It demonstrates incremental tooling progress but does not address integration with newer formal methods or automated theorem proving interfaces.
Future editions could incorporate executable semantics checkers or model checkers if the authoring pipeline is extended, though the paper supplies no timeline or resource estimates for such additions.
Kacper Sokol: public release of the authoring toolkit source occurs within 9 months with at least 50 external forks on GitHub.
Sources (2)
- [1]Primary Source(https://arxiv.org/abs/2610.28912)
- [2]Supporting Source(https://www.swi-prolog.org/)