Tau Prolog：面向Web的Prolog解释器
摘要：Tau Prolog是一个完全在JavaScript中实现的客户端Prolog解释器，旨在实现ISO Prolog标准。Tau Prolog被开发出来可以无缝地与Node.js或浏览器一起使用，因此采用了非阻塞、基于回调的方法来避免阻塞Web浏览器。Tau Prolog从JavaScript和Prolog中吸取了最好的部分，允许程序员使用Prolog谓词来处理浏览器事件和操作Web的文档对象模型（DOM）。在本文中，我们描述了Tau Prolog的架构以及用于与Web交互的主要软件包，并介绍了它的编程环境。即将在Logic Programming的理论与实践（TPLP）中被考虑。
作者：Jos''e Antonio Riaza Valverde
论文ID：2308.11897
分类：Programming Languages
分类简称：cs.PL
提交时间：2023-08-25