网站上的 SWI-Prolog 回溯

Question

我想用 Prolog 创建一个专家系统。主要要求是使用 SWI-Prolog。我已经为我的服务创建了一些页面。我想使用回溯来生成问题，但在 Prolog 中，用户需要输入分号才能完成查询。我想知道如何在使用 SWI-Prolog 创建的网站上使用回溯。

Answer 1

查看 SWI-Prolog pengines 包。 Pengines 在单独的线程中运行您的查询，并提供一个到 Web 服务器的接口，允许从 Web 客户端控制 I/O 和回溯。生命系统见http://pengines.swi-prolog.org。请注意，pengines 基于 SWI-Prolog 版本 7（开发版本）。

P.s。 false 用 prolog 替换了 swi-prolog。然而，这个问题非常依赖于系统。