Simply Logical -- The First Three Decades

Peter Flach, Kacper Sokol, Jan Wielemaker

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 19…