文件名称：WebSolver:适用于元解释器的Prolog Web架构
文件大小：88KB
文件格式：ZIP
更新时间：2024-05-27 17:52:37
Prolog
Web求解器 适用于元解释器的Prolog Web架构 介绍 Prolog是一种优雅而有趣的编程语言：它是通用的，但它在符号操作和元编程中大放异彩：特别是，Prolog特别适合创建元解释器-针对使用该语言编写的语言的自定义解释器本身。 WebSolver是一个Web基础结构，用于交互式测试在漂亮的解释器中运行的元解释器； WebSolver提供： RESTful Web服务，用于在当前Prolog全局环境中可用的服务中执行任意元解释器 用户可以在其中进行以下操作的网页： 请求元解释器（预定义或自定义） 陈述规则； 支持空白行和注释行（即，以％开头） 运行查询并读取输出 2个预定义的元解释器，显示其解决步骤。 只需将它们定义为具有与默认元解释器相同的参数的过程（称为stepSolve和nestedSolve ），就可以添加新的元解释器。 一套单元测试，以提高整体健壮性。 运行We
【文件预览】：
WebSolver-master
----settings.gradle(943B)
----nestedSolve.pl(3KB)
----stepSolve.pl(2KB)
----web()
--------index.html(2KB)
--------index.css(2KB)
--------jquery-2.1.4.js(242KB)
--------index.js(3KB)
----LICENSE(11KB)
----webService.pl(2KB)
----README.md(4KB)
----.gitignore(11B)
----rules.pl(3KB)
----staticWeb.pl(1KB)
----build.gradle(2KB)