javascript - 在 Javascript 中使用 Prolog

javascript - 在 Javascript 中使用 Prolog - Pengines

转载作者：搜寻专家更新时间：2023-11-01 00:30:38

27

4

我正在制作一个使用 prolog 的 AI 项目，但我希望它可以在线发布。我找到了 pengines(http://pengines.swi-prolog.org/docs/documentation.html，http://www.swi-prolog.org/pldoc/doc_for?object=section(%27packages/pengines.html%27))，它应该是 Prolog 的 javascript 实现，但我似乎无法理解如何使用它。

我已经尝试使用 pengines npm 包(https://www.npmjs.com/package/pengines)并使用默认的 express-generator 应用程序运行 pengines 文档中的代码:

<html lang="en">
<head>
    <script src="/vendor/jquery/jquery-2.0.3.min.js"></script>
    <script src="/pengine/pengines.js"></script>
    <script type="text/x-prolog">

        main :-
            repeat,
            pengine_input(X),
            pengine_output(X),
            X == stop.

    </script>
    <script>
        var pengine = new Pengine({
            oncreate: handleCreate,
            onprompt: handlePrompt,
            onoutput: handleOutput
        });
        function handleCreate() {
            pengine.ask('main');
        }
        function handlePrompt() {
            pengine.input(prompt(this.data));
        }
        function handleOutput() {
            $('#out').html(this.data);
        }
    </script>
</head>
<body>
    <div id="out"></div>
</body>

但它只返回一个错误:

http://localhost:3000/pengine/create Failed to load resource: the server responded with a status of 404 (Not Found)

如果有人能解释如何在 javascript 中使用 pengines 或其他 prolog 实现，我将不胜感激。

谢谢!

最佳答案

我知道这篇文章已经很老了，但对于其他路过的人来说:

I'm making an AI project which uses prolog, but I want it to be publish online. I've found pengines (http://pengines.swi-prolog.org/docs/documentation.html, http://www.swi-prolog.org/pldoc/doc_for?object=section(%27packages/pengines.html%27)) which is supposed to be a javascript implementation of Prolog

它并不是真正的 Prolog 实现，它只是一个用 JavaScript 编写的客户端，可以与托管 pengine 进程的 Prolog 服务器对话。 JavaScript 客户端通过 HTTP 和称为 Prolog 传输协议(protocol) (PLTP) 的特定协议(protocol)与 pengine-server 对话。

使用 JavaScript 客户端，您可以发送简单的查询，例如 pengine.ask("member(X, [1,2,3])")等等，前提是 pengine 服务器暴露了 member/2谓词可以安全地从远程使用。但您也可以，正如您在代码片段中演示的那样，在 <script type="text/x-prolog"> 中编写序言代码并让 JavaScript 客户端将该 prolog 源代码发送到服务器，服务器将把它添加到它的知识库中。

http://localhost:3000/pengine/create Failed to load resource: the server responded with a status of 404 (Not Found)

在您的 JavaScript 客户端可以创建 Pengine 之前，必须有一个 pengine 服务器在某处运行。在您的代码片段中没有提供 URL，因此客户端将默认为主机 url。您还可以在创建 pengine 时显式指定 URL。

这里是一个简单的 pengines-server 的例子，取自 source-repo 的例子:

:- module(pengine_server,
          [ server/1                    % +Port
          ]).
:- use_module(library(http/thread_httpd)).
:- use_module(library(http/http_dispatch)).
:- use_module(library(http/http_server_files)).
:- use_module(library(http/http_files)).
:- use_module(library(pengines)).
:- use_module(pengine_sandbox:library(pengines)).

:- http_handler(/, http_reply_from_files(web, []), [prefix]).

server(Port) :-
    http_server(http_dispatch, [port(Port)]).

它将 pengines API 沙盒化，如果你想让其他谓词可用，你可以添加:

:- use_module(pengine_sandbox:library(semweb/rdf_db)).
sandbox:safe_primitive(rdf_db:rdf(_,_,_)).

关于javascript - 在 Javascript 中使用 Prolog - Pengines，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/35973579/

27

4

0

文章推荐： php - 提取关联数组

文章推荐： php - 这个 php 语法有效吗？ $类-> {'something' }()

文章推荐： node.js - 如何使 pg-promise 返回行作为数组？

prolog - Prolog 中的失败否定和逻辑单调性？
我正在学习序言。在我看来，prolog 的规则(关系和简单的事实)是“肯定的”——他们说的是或可能是真的。向 prolog 程序添加新的此类规则只会增加“正面”知识。它不能添加“负面”事实来说明某
prolog - Prolog 代码对列表中的元素求和时出现问题
希望你一切都好。我是 prolog 的新手，我在编写代码时遇到问题。这段代码的目的很简单。它将列表中的每个元素添加到最后一个。我可以用 Java 做的事情是: static void add(
prolog - Prolog 真的基于封闭世界假设吗？
在closed-world assumption下, what is not currently known to be true, is false Prolog 的语义通常被称为遵循封闭世界假设，
prolog - Prolog 事实中的存在量化
我正在 Prolog (swi-prolog) 中做我的第一步，但无法解决以下问题:如何将存在量化的规则包含在我的事实中；具体来说，我如何包含句子“每个人都是某人的 friend ”\forall x
prolog - Prolog 中二进制搜索树的范围查询
我知道如何以过程方式(即，在 C++、Java 等中)对 BST 执行范围查询，但我发现很难转换为 Prolog 语言。程序的方式应该是这样的: http://www.geeksforgeeks.o
prolog - Prolog 最佳实践的引用？
Prolog 中是否有(相对)当前最佳实践的引用资料？一本适合没有学习过逻辑编程或“Prolog 的工艺”等高级文本的商业 Prolog 开发人员？有很多通用教程，但我能找到的关于最佳实践的唯一一个
prolog - 检查字符串是否包含在语言中(Prolog)
这是CFG: S -> T | V T -> UU U -> aUb | ab V -> aVb | aWb W -> bWa | ba 所以这将接受某种形式的: {a^n b^n a^m b^m |
prolog - Prolog 中的公式化
我目前有以下问题，我想用 Prolog 解决。这是一个简单的例子，很容易在 Java/C/whatever 中解决。我的问题是，我认为与 Java 的思想联系太紧密，无法以利用 Prolog 逻辑能力
prolog - PROLOG 初学者
就目前而言，这个问题不适合我们的问答形式。我们希望答案得到事实、引用资料或专业知识的支持，但这个问题可能会引发辩论、争论、投票或扩展讨论。如果您觉得这个问题可以改进并可能重新打开，visit the
prolog - 理解差异列表(Prolog)
我无法理解差异列表，尤其是在这个谓词中: palindrome(A, A). palindrome([_|A], A). palindrome([C|A], D) :- palindrome(A
prolog - 从列表中删除简单的 Prolog
(这不是一个类(class)作业问题。只是我自己的个人学习。) 我正在尝试在 Prolog 中进行练习以从列表中删除元素。这是我的代码: deleteall([],X,[]). deleteall([
prolog - Prolog 不擅长什么？
我最近试图了解 Prolog，它似乎可以很好地映射到很多领域，但我无法弄清楚它可能不擅长什么。那么它有什么不好的(除了需要实时/无 gc 性能的东西)？最佳答案我同意你的一般评估，即 Prolo
prolog - Prolog 元解释器中作为输出参数的证明
我正在组装一个简单的元解释器，它输出证明的步骤。我无法将证明步骤作为输出参数。我的谓词 explain1 以我想要的详细形式返回证明，但不是作为输出参数。我的谓词 explain2 将证明作为输出参数
prolog - Prolog 中的奇怪运算符 (!)
hi(g,plus(A,B),int) :- hi(g,A,int),hi(g,B,int),!. 在上面的语句中 '!' 是什么意思？在声明的末尾签名吗？最佳答案那是 cut operator
prolog - prolog 的独特结果
有没有一种简单的方法可以让 prolog 中的查询只返回每个结果一次？例如我正在尝试类似的东西: deadly(Xn) :- scary(X), Xn is X - 1, Xp is X + 1,
prolog - Prolog 中的卡片表示
我正在尝试学习 Prolog。这是我使用这种语言的第一步。作为练习，我想编写可以识别一些扑克手牌的程序(同花顺、同花顺、满屋等)。我正在 Prolog 中寻找良好的卡片表示。我需要有可能检查一张卡片
prolog - 在列表中查找最大值 - Prolog
我刚刚被介绍到 Prolog 并且正在尝试编写一个谓词来查找整数列表的最大值。我需要写一个从头开始比较，另一个从结尾比较。到目前为止，我有: max2([],R). max2([X|Xs], R):-
prolog - Prolog-回文函
我试图在Prolog中编写谓词palindrome/1，当且仅当其列表输入包含回文列表时才为true。例如: ?- palindrome([1,2,3,4,5,4,3,2,1]). 是真的。有什么
prolog - 适当的子集 - Prolog
我正在尝试编写一个程序，该程序将两个列表作为输入并检查适当的子集。我开始于: proper([A],[]). proper([],[A]). proper([A|T1],[A|T2]) :- prop
prolog - Prolog 中的事实持久化
我是 Prolog 的新手，我正在使用 SWI-Prolog v6.6 在 *.pl 中存储断言文件。 :- dynamic fact/2. assert(fact(fact1,fact2)). 使用

首页

博学

6Ren·AI

商城

javascript - 在 Javascript 中使用 Prolog - Pengines