- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
我现在正在配置 JPL,想使用 java 来处理 swi-prolog。
我下载了最新稳定版的SWI-Prolog,6.2.0,安装在D:\swipl
首先,我在 PATH virable 中添加了以下路径:D:\swipl\bin,其中应该包括所有需要的 dll 文件。
然后,我在CLASSPATH virable中添加了以下路径:D:swipl\lib\jpl.jar,这应该是需要的jar文件。
当我尝试运行提供的版本示例时,出现以下错误:
Exception in thread "main" java.lang.UnsatisfiedLinkError: jpl.fli.Prolog.thread_self()I
at jpl.fli.Prolog.thread_self(Native Method)
at jpl.Query.open(Query.java:286)
at jpl.Util.textToTerm(Util.java:162)
at jpl.Query.Query1(Query.java:183)
at jpl.Query.<init>(Query.java:176)
at Versions.main(Versions.java:11)
在网上搜索后,我发现很多人只是得到 java.lang.UnsatisfiedLinkError: no jpl in java.library.path
这是因为 PATH
的设置> 变量,而不是我在这里得到的错误:java.lang.UnsatisfiedLinkError: jpl.fli.Prolog.thread_self()I
(是的,行尾有一个“I” ).
有没有人遇到过这个错误?我试过几个以前版本的 SWI-Prolog,但也有其他类型的错误。我正在使用 Eclipse IDE 进行 Java 开发——我错过了什么吗?
最佳答案
我已经把问题发到swi-prolog.org提供的官方邮件列表(swi-prolog@lists.iai.uni-bonn.de),幸运的是有人帮我证明在版本 6.2.0。然后我们都尝试了 6.0.2 版本,它运行良好。他提到(我注意到)6.2.0 版本的 bin 文件夹中没有 swipl.dll,这可能会导致问题。
我已经通过Email向工作人员报告了这个问题,至少现在,我建议想要配置JPL的人应该下载6.0.2版本。记住三件事:
在环境变量的系统变量下新增一个变量SWI_HOME_DIR,路径设置为你安装SWI-Prolog的地方(我的是D:\swipl);
将路径 %SWI_HOME_DIR%\bin 添加到您的 PATH 变量中,而不是使用类似“D:\swipl\bin”的路径。 (否则会出现[FATAL ERROR: Could not find system resources])
将路径 %SWI_HOME_DIR%\lib\jpl.jar 添加到您的 PATH 变量中,而不是使用类似“D:\swipl\lib\jpl.jar”的路径。 (否则会出现[FATAL ERROR: Could not find system resources])
如果您使用 Eclipse 进行 Java 开发,您似乎不需要在 IDE 中进行配置。只要按照上述 3 个步骤将正确的 jar 文件添加为外部库就可以了。
我不确定这个临时解决方案是否适用于所有人,但肯定的是,遇到问题的每个人都应该首先尝试此方法。只要解决了6.2.0版本的问题,我会在这里补充一些意见。
顺便说一句,据我所知,到目前为止,遇到此问题的人都在使用 32 位 Windows。
关于java - JPL/SWI Prolog 配置失败,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/12283471/
谁赋予了 SWI-Prolog 幽默感? Welcome to SWI-Prolog (threaded, 64 bits, version 7.3.35) SWI-Prolog comes with
简单的例子: ?- between(1,10,X). X = 1 ; X = 2 ; X = 3 ; X = 4 ; X = 5 ; X = 6 ; X = 7 ; X = 8 ; X = 9 ; X
我有这个字符串: B='Dogs cats birds and fish'. 我需要它以下面的格式出现: Dogs, cats, birds, and fish 有没有可能发生这种情况? 我试过 nl
我正在为 Prolog 查询编写一个部分评估器。我尝试使用 expand_goal/2 扩展查询,但它只是统一了 Input与 Output在这种情况下: :- initialization(main
在 SWI Prolog 终端中如何查看当前工作目录并更改当前工作目录? 我发现: 工作目录(CWD,CWD) 但我不认为这是我需要的 最佳答案 要获取当前工作目录,请使用 working_direc
如何关闭 swi-prolog 中的警告。 Clauses of XXX/AA are not together in the source-file 很烦人。 最佳答案 相反,您可以修复警告。 di
我正在尝试使用此处文档中所谓的内置谓词 split_string/4:http://www.swi-prolog.org/pldoc/man?predicate=split_string/4 但是,当
从https://stackoverflow.com/a/44524628?noredirect=1跟进 :-use_module(library(http/http_client)). :-use_
我在序言SWI与CHR(约束处理规则)创建多个谜题解决者 一切都很好,但是,我喜欢测试哪个求解器是最好的。 因此,我想搞清楚,这解算器使用回溯的最少。 是否有一种聪明的方法可以找出(或打印出)求解器解
我正在尝试开发有关使用 swi-prolog 的常见问题解答(faq)。我将 swi-prolog 用于桌面(AMD64,多线程,版本 8.2.3)。 常见问题解答中的问题和答案以土耳其的母语编写。当
我在 Prolog 中编写了一个快速谓词,尝试使用 CLP(FD) 及其求解方程组的能力。 problem(A, B) :- A-B #= 320, A #= 21*B. 当我在 SW
我对 prolog 很困惑,它与我曾经使用过的任何语言(多种语言)都不同,我如何从以下位置获取 argv[0]: current_prolog_flag(argv, Argv), write(Argv
我正在尝试使用SWI-prolog将规则动态添加到知识库中,其中该规则的主体事先未知。 所需的规则如下所示: rule(a) :- fact(1), fact(2). 通常,您只需声明 assert(
我正在使用 SWI-Prolog 并且我正在尝试打印一个列表,但是如果该列表有 9 个以上的项目 - 它看起来像这样 - [1, 15, 8, 22, 5, 19, 12, 25, 3|...] 有没
我将用户输入重定向到文件see('entradasaida.txt')。很好 虽然,当我尝试从该流输入文件读取时,swi给了我这个错误: ERROR: entradasaida.txt:3:0: Sy
在“序言中的专家系统”一书中,我遇到了一个障碍。书中定义了一个简单的shell如下: solve :- abolish(known, 3), define(known, 3), to
我正在尝试比较 prolog 中的两个 peano 数,但有些结果是错误的。 任何人都可以帮助我,这是我的代码: %Not Equal notequal(0,s(A),X). notequal(s(A
假设我有一个包含以下内容的文件 main.pl /* I tried these one at a time, not all at once... */ [externalFile]. ['exte
append/3是一个非常强大的谓词。假设我想要一个以相同方式工作的谓词,但对于 SWI-Prolog 的字符串。 我看到的最简单的方法是使用 string_codes/2 将这些字符串转换为列表。
我正在努力理解如何正确使用 discontiguous/1 (SWI) Prolog 中的谓词。 让 buumi.pl成为这个伪事实的小文件: discontiguous(buumi/1). buum
我是一名优秀的程序员,十分优秀!