X-Prolog

X-Prolog是轻量级的Prolog系统。

X-Prolog 是一个轻量级的 Prolog 系统，旨在促进 Android 上的 Prolog 编程。该应用程序以文本视图、Web 视图或作为客户端应用程序的绑定服务运行 Prolog 程序。示例客户端可在 https://github.com/xprolog/sample-client 获得。

请注意，Google Play 限制在面向 Android 11 或更高版本的应用程序中使用所有文件访问权限。要安装具有所有文件访问权限的 X-Prolog，请参阅 https://github.com/xprolog/xp/releases。

有工具吗？ 该应用程序依赖于用户定义的工具来编辑和构建项目。这些工具是用 Prolog 编写的，并且在具有开发人员选项的设备上可见。应用程序和工具通过传输变量和格式化输出交换数据。此版本包括用于演示应用程序工具功能的简单工具。

该应用程序定义了传输变量可用（工具）和格式化输出（工具）被识别的扩展点。可以将工具配置为通过指定上下文术语来对一个或多个扩展点做出贡献。

上下文术语是 context(Name, FileTypes, Priority) 形式的读取术语，其中 Name 是扩展点的名称，FileTypes 是可接受的文件类型列表，Priority 是不小于零的整数，其含义因扩展点而异。

此版本定义了三个扩展点：build、edit 和 reconcile，它们允许工具分别参与构建项目、编辑源文件和协调源模型。

要构建项目，请在项目的顶层目录中打开一个文件，然后单击Build。要将项目导出到本地文件系统上的可运行对象文件中，请单击导出。要运行目标文件，请单击运行。

如果存在一个或多个构建文件的工具，则该文件被视为源文件，可能将其转换为另一个源文件。此版本包含一个构建工具 Compile，它将 Prolog 源文件 (.pl) 转换为快速加载文件 (.ql)。

已知问题包括发生检查、逻辑更新视图、属性变量等。