Demonstrating (Hybrid) Active Logic Documents and the Ciao Prolog Playground, and an Application to Verification Tutorials - D Ferreiro; JF Morales; S Abreu; MV Hermenegildo (Arxiv Preprint Arxiv:, 2023)