展示（混合）活跃逻辑文档和Ciao Prolog游乐场以及验证教程应用
摘要：活动逻辑文档（ALD）是包含在浏览器内部运行的嵌入式Prolog引擎的网页。ALD提供了一种非常简单的方式，可以在任何类型的教材中添加点击运行功能，而不依赖于生成它们的工具，并提供了一个用于生成嵌入示例和练习的基于Web的材料的工具集。（利用）(Ciao Prolog Playground)的部件来进行。我们展示了ALD方法和Ciao Prolog Playground的演示，以及最近对ALD的扩展，以便将其他工具集成到创建混合活动逻辑文档（HALD）的系统中。我们还提供了这些技术在为程序验证工具创建教程方面的具体应用。
作者：Daniela Ferreiro, Jos''e F. Morales, Salvador Abreu, Manuel V. Hermenegildo
论文ID：2308.15896
分类：Programming Languages
分类简称：cs.PL
提交时间：2023-08-31