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

2 citations · 2 across the 1 of their papers we have counts for

collaborators

1 paper

cs.PL2023★ 2 cited

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

Daniela Ferreiro, José F. Morales, Salvador Abreu +1

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 capabi…