swi-prolog

0热度

1回答

我有两个问题。如何在序言中获得json对象的值？如何以json的形式发送谓词解决方案列表？我的代码： handle(Request) :- format(user_output,"I'm here~n",[]), http_read_json(Request, DictIn,[json_object(term)]), %beat(DictIn.name,Dict

2热度

1回答

Prolog中的CORS不工作

我在序言中遇到cors问题。我认为它不起作用。编辑＃1 :- module(server,[]). :- use_module(library(http/thread_httpd)). :- use_module(library(http/http_dispatch)). :- use_module(library(http/http_cors)). :- use_module(lib

0热度

1回答

如何获取jpl最新版本：jpl7？

我正在使用jpl库的java项目，但我得到编译错误“包org.jpl7不存在”。我试图下载最新版本，但我可能会得到jpl3版本。如何获取最新版本的jpl7？我已经广泛搜索，甚至找到了http://jpl7.org，但没有关于如何下载该版本的暗示。谢谢

0热度

1回答

如何从swi-prolog终端调用python脚本

Swi-prolog提供了一个内置的“shell”谓词来与操作系统进行交互，但文档很差。对于Windows平台，我想这样的东西执行： shell('cmd.exe python file_name.py') 这挂终端！但如果我使用：shell('cmd.exe ipconfig') 这给出了一个真实的，因此我认为它是工作。

0热度

2回答

如何检查用户推测字符串是否与列表中的字符串匹配？

我想检查用户输入的句子中的单词是否与列表中的至少一个字符串匹配。这是我的。当我输入例如'香蕉车'（它应该）时，我的谓词测试返回false。在swish prolog中，我编写了enterQuery。当提示我写'香蕉车'时。我回来[香蕉，车] [香蕉，苹果]假 enterQuery:- read(X), processQuery(X). processQuery(X):- split_s

1热度

1回答

Java中的Prolog列表与JPL

我是一个prolog-noob，并且在java中有一个prolog-list的问题。的Prolog： event( 'Number1', 54.320021, 13.043840, [sport,hotel,schwimmen,sauna]). event( 'Number2', 54.320678, 13.046984, [eink

0热度

1回答

在RHEL 7 SWI-Prolog的安装

我试图在一个服务器上运行RHEL 7 我按照指示在这里建立SWI-Prolog的安装SWI-Prolog的：http://www.swi-prolog.org/build/Redhat.html。构建完成没有错误;但是，我没有看到应用程序的痕迹。此外，该应用程序似乎无法访问，因为我无法调用swipl开始执行Prolog命令。

2热度

1回答

JPL7，在序言查询

字符串列表我有一个序言查询这就需要数组作为原子： searchEventsOnCategory（类别，事件）分类是字符串的列表。示例输入： searchEventsOnCategory（[ '酒吧'， '迪斯科']，事件）输出：事件= [listOfEvents] searchEventsOnCategory(Categories,Events):- findall([X,V],

1热度

1回答

如何在Linux上使用JPL（双向Java/Prolog接口）？

我有兴趣在Java中嵌入Prolog解释器。一种选择是使用JPL，但JPL站点上的下载链接已损坏，并且安装页面提到了我无法找到的jpl.zip。我下载了似乎包含JPL的SWI-Prolog（它在安装时将其列为组件），但我仍不确定如何将它与Java一起使用。关于如何在Linux上使用JPL的任何想法？是否有另一个图书馆可以用来实现相同的目标？感谢

0热度

1回答

在序言中声明和使用快速，大型的阵列

我在SWI-Prolog中使用仿函数来获取使用arg/3的随机访问数组。我在做什么是从一个样本加载值到一个仿函数我创建并断言该数组以供将来使用。加载后，随机访问确实是O（1），因为我已经使用time/1进行了验证。问题是从断言中加载函数需要很多时间（time/1表明它在数组大小上是线性的）。有没有什么办法可以加快这个速度？使用current_sample/1时，因为谓词的参数是从数据库中拷贝