  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.
