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

TL;DR

This paper showcases Active Logic Documents (ALD) that embed Prolog engines in web pages for interactive teaching, demonstrating their integration with the Ciao Prolog Playground and extending them for hybrid applications, including verification tutorials.

Contribution

It introduces Hybrid Active Logic Documents (HALD), enabling integration of various tools into ALDs, and demonstrates their application in creating verification tutorials.

Findings

ALD enables easy creation of interactive web-based educational materials.

Extension to ALD supports integration of multiple tools for hybrid documents.

Application to verification tutorials demonstrates practical utility.

Abstract

Active Logic Documents (ALD) are web pages which incorporate embedded Prolog engines that run locally within the browser. ALD offers both a very easy way to add click-to-run capabilities to any kind of teaching materials, independently of the tool used to generate them, as well as a tool-set for generating web-based materials with embedded examples and exercises. Both leverage on (components of) the Ciao Prolog Playground. We present a demonstration of the ALD approach and the Ciao Prolog Playground, as well as a recent extension to ALDs to facilitate the integration of other tools into the system for creating Hybrid Active Logic Documents (HALD). We also present a concrete application of these technologies to the creation of tutorials for a program verification tool.