English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Tools annual

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools monthly

Global: Zendy Plus monthly

Presents the access of premium content as premium feature

Premium Content

Global: Zendy Plus annual

Global: Zendy Free Plan

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

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