2回答
我正在尝试从终端运行prolog。我已经安装了7.2.2版，并使用以下命令将其添加到我的环境路径中：
PATH=$PATH:/Applications/SWI-Prolog.app/Contents/MacOS
然后为了开始，我输入
swipl
但是返回的是这个错误：
Illegal instruction: 4
我是个新手，请帮帮我。我知道我可以通过双击应用程序来运行它，但我在终端上工作更舒服。
我的Mac版本是Mac OS X Lion 10.7.5 (11G63)
浏览 21提问于2015-07-01得票数 3
回答已采纳
我正在尝试在服务器中托管XSB。我写了以下代码：
:- module(server, [server/0, server/1]).
:- import http_server/2 from library(http/thread_httpd).
:- import http_dispatch/1 from library(http/http_dispatch).
:- use_module(swish, []).
server :-
server(localhost:3050).
server(Port) :-
http_server(http_dispatch,
浏览 12提问于2016-11-18得票数 1
3回答
我已经按照下面的说明在我的linux机器上设置并安装了interprolog和swi prolog :
我已经将unixVariables.sh编辑为包含机器上的java和swi-prolog(pl)可执行文件的路径，并且我的unixVariables.sh如下所示：
# This is a typical environment for Linux, see elsewhere for Mac OS X
JAVA_BIN=/usr/lib/jvm/java-6-sun-1.6.0.16/bin
XSB_BIN_DIRECTORY=/home/YOUR_NAME/XSB271/config
浏览 2提问于2010-02-09得票数 2
回答已采纳
1回答
SWI-Prolog，版本6.6.6。
考虑以下事实：
p(a, a).
p(a, b).
它会得到以下答案：
?- p(a, a).
true ;
false.
但是如果我稍微改变一下数据：
p(a, a).
p(b, a).
我得到的答案略有不同...
?- p(a, a).
true.
似乎在第二种情况下没有发生回溯，因为问题中谓词的第一个参数与其他从句不一致。
然而，对于每种情况，人们都希望得到true ; false.的答案:引擎将尝试第一个谓词子句(结果为true)，然后回溯并查找同一谓词的其他子句(结果为false)。在第二种情况下，这是一种捷径吗？
这是(某种)标准行为吗?也就
浏览 0提问于2015-10-27得票数 3
2回答
我试着在macOS高山上使用喷气推进语言和SWI-Prolog，但我遇到了麻烦。实际上，一开始没有找到libjpl.dylib，所以我通过以下方式将它的路径添加到java.library.path
java -Djava.library.path=/Applications/SWI-Prolog.app/Contents/swipl/lib/x86_64-darwin15.6.0/
现在找到了库，但我得到了另一个错误：
java.lang.UnsatisfiedLinkError: /Applications/SWI-Prolog.app/Contents/swipl/lib/x86_64-d
浏览 5提问于2018-09-23得票数 3
我想在SWI-Prolog中跟踪内置的append/3，但我立即得到了结果，看不到中间发生了什么。
是否需要执行某些操作才能启用append的跟踪功能？
?- trace .
true.
[trace] ?- append([a,b,c], [[],[2,3], b], X).
X = [a, b, c, [], [2, 3], b].
浏览 1提问于2017-06-03得票数 4
1回答
我已经用swi-prolog开发了一个prolog程序，我用普通的java和JPL.jar为它附加了一个接口，运行良好。
现在我想用android移动界面代替java桌面界面来做同样的事情。所以我创建了一个android应用程序，添加JPL作为外部jar，并像前面一样调用prolog文件。代码中未显示错误。
但当我将其作为安卓应用程序运行时，系统显示无法找到jpl.query$1。
这是logcat
08-21 17:36:35.782: D/dalvikvm(659): DexOpt: unable to opt direct call 0x0cd8 at 0x08 in Ljpl/Quer
浏览 2提问于2013-08-21得票数 4
6回答
我在我的Mac上运行SWI-prolog时遇到了最大的麻烦。
当我键入时：
/opt/bin/local/swipl
我收到一个错误，说：
/opt/local/bin/swipl: No such file or directory
当我输入"swipl“时，我得到的结果是：
swipl: command not found
我已经在终端和XQuartz上都尝试过了。我甚至进入了
/Applications/SWI-Prolog.app/Contents/MacOS
看看这样做是否有用，但是prolog中的"Welcome“文本从未出现过。很可能是在我在MacOS文件夹中输入
浏览 5提问于2014-02-06得票数 31
在用Prolog语言完成平方方法求解f(x)=-3x^2+5x-4不等式问题时，如何在不取浮点值的情况下将两个分数(例如：4/3 - 25/36)按原样相减。答案应该是分数。
浏览 0提问于2014-08-17得票数 1
我正在尝试运行SWI-Prolog的simplex库文档中给出的coins示例，但是我得到了这个错误消息：
$ rlwrap swipl coins.pl
Warning: /home/vitorferraz/junk/coins.pl:1:
Unknown message: simlpex(bounded)
Welcome to SWI-Prolog (threaded, 64 bits, version 7.6.4)
SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software.
Please run ?- lice
浏览 3提问于2018-05-22得票数 3
我想自动调用一个文件中的查询列表：
file queries.txt
consult(uwr).
submit_emit_timers(1).
activate_game(1,detroit,3,berlin,1).
submit_emit_timers(1).
start_game(1).
sleep(5).
submit_emit_timers(1).
sleep(5).
stop_game(1).
submit_emit_timers(1).
sleep(5).
start_timeout(1,blue).
start_game(1).
stop_game(1).
timepenalty
浏览 0提问于2019-04-20得票数 0
我想将这个简单的东西加载到我的编辑器中：
Write:-repeat,write("hi"),nl,fail.
以便印上“嗨”。
我该怎么办？
我现在正在尝试做File->New
并保存一个名为写到E:\Program Files\pl\xpce\prolog\lib的文件
执行查询时：
？-写。
这是印刷：
1 ?- Write.
% ... 1,000,000 ............ 10,000,000 years later
%
% >> 42 << (last release gives the question)
为什么
浏览 4提问于2010-03-31得票数 12
回答已采纳
2回答
我完全是Prolog的菜鸟。我希望在ubuntu中安装turbo prolog。我该怎么做呢。我用谷歌搜索了一下，但都是徒劳的。对于ubuntu的turbo prolog，有没有其他的选择？
浏览 8提问于2012-08-07得票数 2
2回答
有没有办法将prolog或lisp编程与基于web的应用程序集成起来？实际上，我想在我的网站上提供一些智慧。
浏览 0提问于2013-03-14得票数 3
回答已采纳
2回答
大家好，
在prolog中有没有测试或谓词可以用来验证某个给定的字符是按字母顺序排列的？现在，我要做的是：
非法字符列表：\n -> 10，空格-> 32，!->33，. -> 46，，->44，:->58，；->59%%63->？，45 -> -，34->"，39-> %
\+member(Ch,[10, 32, 33, 34, 39, 44, 45, 46, 58, 59, 63 ]), %Checking for line return (\n), space, punctuations
浏览 0提问于2009-09-27得票数 2
回答已采纳
我有以下数据库： vegetarian(jose).
vegetarian(james).
vegetable(carrot).
vegetable(egg_plant).
likes(jose,X):-vegetable(X).
loves(Who,egg_plant):-vegetarian(Who). 当我查询vegetarian(_).时，我希望得到的是_ = jose; _ = james.，但我得到的却是true; true. 如果我做vegetarian(X).，那么我会得到预期的答案X = jose; X = james.为什么会有这种不同？
浏览 23提问于2021-01-02得票数 0
回答已采纳
所以，我现在有一个使用Prolog的大学项目，我不是第一个处理代码的人，所以它已经相当庞大了，但我必须让它在Prolog图形界面上工作，所以我的问题是:有没有Prolog图形界面，不需要我修改已经编写的代码？
浏览 1提问于2019-01-31得票数 1
我想使用PceEmacs编辑器，但是每当我使用命令emacs.时，我都会遇到错误代码ERROR: Undefined procedure: emacs/0 (DWIM could not correct goal)。普通的内置命令似乎可以正常工作，所以我不知道我是否只是错误地使用了emacs命令。
浏览 31提问于2019-06-24得票数 2
回答已采纳
我有一个问题，我有一个转义字符串，例如"\u0026“，我需要将它转换为unicode字符'\u0026‘。
像string_concat('\'，S，“u0026”)，write(S)这样的技巧。没有帮助，因为它将删除\不仅是转义。所以基本上我的问题是，如何从字符串中删除转义字符。
编辑:哦，我刚刚注意到，stackoverflow也可以使用escape。
write_canonical/1给我"\u0026"，如何将其转换为单个'&‘字符？
浏览 1提问于2016-10-07得票数 1
我正在用SWI Prolog编写SWI服务。其中，我将把查询作为GET参数发送，服务将以JSON格式返回结果。
这是我的代码：
handle_query(Request) :-
http_parameters(Request, [ query(Query, []) ]), % Query to execute
查询示例：
father(Father, raghav), wife(Mother, Father).
我怎么才能实现这样的事情呢？
制作and服务并通过HTTP进行通信的原因是没有任何良好的接口可用于Python。SWI Prolog有一个很棒的http库，所以我想我还是用它吧。
浏览 0提问于2015-11-23得票数 2
由于某些原因，我不得不在我的MacBook专业版(OSX10.9)上卸载/重新安装自制软件。我想通过自制软件重新安装swi-prolog (就像我第一次做的那样)。安装过程工作正常，没有任何明显的问题，但现在每次想在我的终端中运行swi-prolog时，都会出现以下消息："Abort trap: 6“我不知道这是什么意思。在互联网上有很多关于这条信息的东西，但我不能把它们和我的问题联系起来。你能帮我一下吗？
浏览 2提问于2013-10-25得票数 5
我正在尝试创建一个prolog独立的可执行文件，遵循上显示的简约示例。
一切似乎都很正常，但是如果我试图在另一台没有安装swi-prolog的mac上执行，我会得到以下错误：
dyld: Library not loaded: /usr/local/Cellar/swi-prolog/7.2.3_2/libexec/lib/swipl-7.2.3/lib/x86_64-darwin15.6.0/libswipl.dylib
我运行的命令及其输出：
pl_test|⇒ swipl --goal=hello --stand_alone=true -o hello -c hello.pl
% a
浏览 0提问于2016-12-20得票数 1
1回答
我习惯于使用Oracle PL/SQL，其中从命令行界面假脱机到文件是一项常见的任务。SWI-Prolog中是否存在这样的特性？
例如，如果我以这种方式与命令行SWI-Prolog交互：
- cd prolog
- pl
?- [likes]
%likes compiled 0.00 sec, 4,792 bytes
true.
?- SPOOL_ON_COMMAND C:\temp.txt
true.
?- likes(sam, spaghetti).
true
?- likes(sam, italian).
false
?- SPOOL_OFF_COMMAND
true.
EOF: hal
浏览 2提问于2013-04-26得票数 1
1回答
我正在构建一个C++库(windows，DLL)，我想嵌入swi-prolog来实现一些功能。
我要做的是：
#include <Windows.h>
#include <SWI-Prolog.h>
BOOL WINAPI DllMain(
HINSTANCE hinstDLL, // DLL モジュールのハンドル
DWORD fdwReason, // 関数を呼び出す理由
LPVOID lpvReserved // 予約済み
)
{
BOOL result = TRUE;
switch(fdwReason)
浏览 2提问于2012-12-09得票数 2
回答已采纳
4回答
我有一些.pl文件，我想从python脚本调用其中声明的谓词。我该怎么做呢？
例如，test.pl
rD( [], Ans, Ans ).
rD( [X|Xs], Ans, Acc ) :-
member( X, Acc ),
rD( Xs, Ans, Acc ), !.
rD( [X|Xs], Ans, Acc ) :-
\+member( X, Acc ),
append( Acc, [X], AccNew ),
rD( Xs, Ans, AccNew ), !.
工作方式
?- rD( [1,2,3,4,5,4], X ).
X = [1, 2,
浏览 40提问于2011-05-24得票数 5
回答已采纳
当我使用SWI prolog程序并运行下面的代码时，结果与GNU console不同，如SWI prolog中的show：atom([]). false，而GNU console prolog中的atom([]).为true。
浏览 20提问于2019-11-28得票数 2
1回答
我想使用JPL为我的项目创建一个图形界面，所以我搜索了一个代码示例来开始工作，我下载了代码，但当我运行它时，它显示了以下消息：
ERROR: c:/program files/swipl/library/jpl.pl:4243:
'$open_shared_object'/3: Não foi possível encontrar o módulo especificado (this stands for "it wasn't possible to find the especified module)".
ERROR: c:/pr
浏览 3提问于2019-02-07得票数 2
这是我的密码：
functor1(Action,[Action|_]) :-
functor2(container(Action)).
functor1(Action,[_|OtherActions]) :-
functor1(Action,OtherActions).
functor2(container([Abc,Def])):-
append([Abc],[Def],Z),write(Z).
现在，当我试图询问，
functor1(X,[[first, sign],[second, sign]]).
对于这个查询，我期望的是，首先X应该读取X = [fir
浏览 2提问于2015-06-02得票数 1
回答已采纳
当我使用pyswip (mac)时，我得到了错误libpl (shared) not found.(详见下文)。我知道几年前有一个关于它的问题，但它没有得到解决。我用homebrew安装了swiprolog(>7.0.0)，并为pyswip运行了2to3。帮帮我。
附言:我正在学习逻辑编程，我需要它。
找不到库(共享)。可能的原因: 1) SWI-Prolog未作为共享库安装。安装SWI-Prolog (5.6.34工作正常)发生异常，请使用%tb查看完整的回溯。
错误在这里抛出。
# UNIX-like
try:
_lib = CDLL("libpl.dylib
浏览 90提问于2018-04-09得票数 1
我正在尝试用以下数据格式读取csv文件: NO、ID、Name、HW1、HW2、HW3、期中，最后1,410021001、Alan、90、84.5、117、60、66、410021002、Bob、85、49、80、57、64.这是我的密码：
%This is a prolog version of _410921334_hw2.py
% read data from file HW2data.csv and calculate the score of each student
% read data from file HW2data.csv row by row
% first row i
浏览 5提问于2022-06-09得票数 0
回答已采纳
4回答
我正在尝试从java运行swi prolog。
我正在使用eclipse，并且我已经在项目中插入了jpl.jar (属性->库->添加外部jar)，并且当我试图运行一个程序时(它是一个jpl示例，所以它应该可以工作。)我收到一个错误：
Exception in thread "main" java.lang.UnsatisfiedLinkError: no jpl in java.library.path
at java.lang.ClassLoader.loadLibrary(ClassLoader.java:1758)
at java.lang.
浏览 6提问于2012-10-22得票数 4
2回答
我正在尝试测试安装软件包如何与SWI一起工作，但得到了以下结果：
?- pack_install('https://github.com/propack/app/archive/app-0.0.1.zip').
% library(ssl) compiled into ssl 0.00 sec, 43 clauses
% library(rbtrees) compiled into rbtrees 0.01 sec, 190 clauses
% library(thread_pool) compiled into thread_pool 0.01 sec, 238
浏览 3提问于2014-08-26得票数 2
回答已采纳
我有一个简单的prolog程序：
write_manual:-
write('------------------------------'),
write('USAGE MANUAL'),
write('find_course. - List all the available courses'),
write('------------------------------').
% execute this and output this right away when I open the pr
浏览 2提问于2020-02-13得票数 1
回答已采纳
我是prolog的新手，我只是想掌握它的诀窍。但是，我知道您可以按tab键来运行给定呼叫的多个应答。例如兄弟(john，X)。如果john根据陈述的事实有两个兄弟，它应该在SWI-Prolog中显示第一个兄弟，然后一旦你点击tab，它就会显示第二个兄弟。我已经在windows上运行了我的程序，虽然很简单，但它是有效的。我可以跳转到下一项。
然而，在我的个人电脑(运行Mavericks的Mac)上，我无法“tab”浏览剩下的可能答案。取而代之的是，tab似乎打开了某种类型的框，允许我执行其他过程，例如中止。
我希望这是一个简单的问题，但我怎么才能在SWI-Prolog中简单地使用TAB查看结果呢
浏览 1提问于2015-04-30得票数 1
我在MySQL里有两张桌子。第一个表已经有了值。现在我想获取最后一行的值并将它们插入到第二个表中，但是我不知道如何编写Prolog代码来获取最后插入的id。你能帮帮我吗?我试过这样的方法，但不起作用。
connect :- odbc_connect('connect', _,
[ user(root),
alias(test1911),
password(''),
open(once)
]).
fetch(Options) :-
connect,
odbc_prepare(test191
浏览 1提问于2015-12-04得票数 0
1回答
我在j-prolog编辑器的括号中遇到了一些问题，当我试图放入()或[]时，编辑器只识别右边的符号，左边的符号编辑器放入类似‘或|的东西。我用的是macbook...
浏览 2提问于2013-09-03得票数 0
1回答
我如何为这个Prolog规则写一个测试？
rule(5,jasmine_tea):- symptom(high_cholesterol),symptom(delicate_fragrance).
高性能标记--这就是我所得到的。
FACTS:
question('Do you suffer from anxiety?',anxiety).
symptom(anxiety).
reply(chamomile_tea,'Drink 3 cups of Chamomile tea everyday for a week.').
RULES:
rule(1,chamo
浏览 4提问于2015-02-27得票数 0
1回答
我对以下结果感到困惑。我正在使用SWI-Prolog。
?- bagof(Q, (Q=A, (A=[a,_] ; A=[_,b])), X).
A = [_G16898, b],
X = [[_G16898, b]] ;
A = [a, _G16892],
X = [[a, _G16892]].
请注意，[a,_]和[_,b]并不统一，无法生成应答A = [a,b], X=[[a,b],[a,b]]。
现在，让我们对算术约束进行同样的尝试：
?- bagof(Q, (Q=A, (A in 1..5 ; A in 3..8)), X).
X = [A, A],
A in 3..5.
奇怪的是，这
浏览 2提问于2019-03-02得票数 3
1回答
我有两个列表，例如：
L1=[1,0,1,0,1,1]
L2=[2,3,4,2,1,1]
我想检查一下像这样的东西
if (L1[k]==0)
sum=L2(k)
有没有办法用prolog做到这一点呢？
浏览 0提问于2013-03-16得票数 0
回答已采纳
4回答
我正在用Prolog做一个学术项目。我想知道Prolog是否有办法与其他编程语言交互。我想要的是一个简单的输入/输出重定向的Prolog问题和答案。
我知道在某些Prolog实现中，Prolog可以调用C函数。即SWI Prolog。
我需要的是一个简单的输入/输出重定向的Prolog问题和用户提供的答案。
任何帮助都将不胜感激。
浏览 1提问于2012-05-17得票数 7
回答已采纳
我试图理解如何将C代码与SWI连接起来，但我遇到了一些困难。当我编译以下代码并加载它时，它在OS上工作得很好，但是当我将完全相同的代码移到Ubuntu12.04时，它就不能工作了。我知道错误了
ERROR: Exported procedure choose:choose/3 is not defined
当然还有。我不能再打电话给choose了。当我试图在一台全新的虚拟机上安装它时，它确实适用于SWI-Prolog5.10.4，但是当我升级到时，它又开始失败了。如果我使用使用5.10.4编译它时的旧.so文件，它仍然可以工作。但是，我无法使用swipl ld编译新.so文件并将其与swipl
浏览 3提问于2014-04-02得票数 0
回答已采纳
1回答
我正在尝试解析我正在创建的语言的“函数调用”，但我得到了：
:30:0 Syntax error: Operator expected
下面的第一行是我出错的地方：
Fun(FXs) --> name(F),
ws,
[0'(],
ws,
args(Xs),
ws,
[0')],
{FXs =.. [F, Xs]}.
name(N) -->
浏览 2提问于2011-11-22得票数 0
回答已采纳
如果长计算返回中的某些谓词失败，如何查找？有没有可能使用像debug模式这样的方式呢？我在谷歌上搜索了一下，但是没有结果。
浏览 0提问于2016-05-28得票数 1
我必须在文件中搜索一个字符串，如果该术语存在，我将断言一个事实。
例如
我的档案：
title"Fast and furious"
year"2013"
actor"Vin Diesel"
assert(title(Fast and furious)),
assert(year(2013)),
assert(actor(Vin Diesel)).
我该怎么做呢？
编辑：
是否可以提取字符串的一部分？
<title>Fast and Furious</title>
我只会得到“速度与激情”，然后我会断言(标题(
浏览 0提问于2013-06-25得票数 1
1回答
我正在尝试使用Prolog在一个文件中找到短语，如果找到了，只需重新设置为真。问题是我不知道如何使用这个短语_from_file/2。我做了一些类似的东西。
search(Smthing):-
phrase_from_file(Smthing,'b.txt');
false.
正在执行:搜索(‘myphrase’)。
b.txt文件：
(fs1111myphrase111asd)
aaaamyphrase
有谁能告诉我如何实现它吗？
浏览 3提问于2018-04-01得票数 1
1回答
我用C#编写了一个用于用户界面和获取用户输入的程序。然后我想集成一个prolog代码，将数据作为输入输入到prolog程序中，并计算答案，然后在c#界面中显示答案。
我使用的是SWI prolog和visual studio 2013。
请给我一些想法来做我的项目。
浏览 3提问于2014-09-18得票数 1
有没有用Prolog写的或解析器？
(第二个链接指向PostScript文件)
浏览 0提问于2011-03-30得票数 3
回答已采纳
1回答
我有个问题。我好几个星期都找不出这个问题。例如：
parent(john,paul).
parent(paul,tom).
parent(tom,mary).
ancestor(X,Y) :- parent(X,Y).
ancestor(X,Y) :- parent(X,Z),
ancestor(Z,Y).
查询是：
swipl -s /home/alikoyuncu/pl/ples.pl -g "ancestor(X,'tom')" -t halt.
产出：
% library(swi_hooks) compile
浏览 0提问于2012-09-08得票数 0
回答已采纳
1回答
Prolog错误参数
、、、、
我想知道如何在Prolog中添加错误检查。例如，我有一个程序，它可以知道一个列表有多长：
listlen([],0).
listlen([_|T],N) :-
listlen(T,X),
N is X+1.
当发生“第一个参数必须是一个列表”这样的错误时，我该如何输出呢？
浏览 3提问于2015-11-13得票数 6
云服务器
ICP备案
实时音视频
对象存储
即时通信 IM
腾讯云开发者
