Some Thoughts on How to Teach Prolog

Demonstrating (Hybrid) Active Logic Documents and the Ciao Prolog Playground, and an Application to Verification Tutorials

“…4. Active Logic Documents are used for development of materials for teaching logic programming [8], embedding runnable code and exercises in slides 2 , manuals, etc., and in other projects, such as, for example, in the development of a Programming course for young children (around 10 years old) within the Year Of Prolog initiatives. The Ciao Prolog Playground [3,4] is a key component of our approach.…”