回答情况：
提问时间：
问题标签：
我正在尝试使用“emacs”在mac上运行带有SWI-prolog的emacs。命令。然而，当我这样做的时候，在我有机会阅读SWI-Prolog上显示的错误消息之前，它立即崩溃了。
有人能帮我吗？
浏览 13修改于2016-08-30得票数 0
1回答
请帮助，如何在没有安装SWI的机器上使用SWI-prolog？我想创建一些使用SWI的C#应用程序，它应该可以在没有安装SWI的机器上工作。我该怎么做呢？
浏览 2提问于2013-09-10得票数 1
1回答
我正在使用Debian软件管理器中的SWI-Prolog (swipl)，如果这有任何帮助的话，尽管我怀疑这会有多大的不同。
浏览 1修改于2014-02-04得票数 7
回答已采纳
1回答
任务:将源文件中包含指定字符串的所有行作为片段写入新文件，该片段是从键盘输入的。 我不知道如何将Prolog中来自文件的行逐行与我从键盘输入的片段进行比较，并将匹配的行输出到新文件中。我将很高兴收到任何建议或指导。我不能在开场白中直接思考。 f:- read(SOURFILE), open(SOURFILE,read,FROM),
read_line_to_string(FROM,X),write
浏览 15修改于2021-03-30得票数 0
回答已采纳
1回答
我对prolog非常陌生，我的教授似乎忘了教它的基本用途。他给了我们编写谓词stmt和stmts的任务，第一个谓词如下所示：stmt([declare,N|X], X) :- atom(N).然后通过测试代码stmt(使用，x，某事，其他东西，其他东西，其他)。
定义一个stmts谓词，以便如果{stmts(List1, List2)}从与(stmts)非终端原子匹配的原子开始，然后继续List2中的原子，那么(List1)是可证明的。例如，下面的查询应该生成true：st
浏览 6修改于2017-05-12得票数 0
是谁给了SWI-Prolog幽默感？Welcome to SWI-Prolog (threaded, 64 bits, version 7.3.35)
SWI-Prolog comes with ABSOLUTELY NO WARRANTY
浏览 8修改于2017-07-26得票数 2
回答已采纳
1回答
我的规则是将第一个参数与列表中的第三个元素统一起来。该列表是规则中的第二个参数。如果没有第三个元素，这应该会失败。third(X,[_|T]):- (Y,X).我仍然对“统一”这些元素的代码感到困惑
浏览 0修改于2014-02-03得票数 0
回答已采纳
我正在使用SWI-Prolog，并试图打印一个列表，但如果该列表包含9个以上的项目-它看起来是这样的-
[1, 15, 8, 22, 5, 19, 12, 25, 3|...]
浏览 2修改于2020-12-27得票数 28
回答已采纳
我创建了一个VS-Package应用程序(.vsix)，其中使用了SWI-Prolog。我的问题是:如何在不要求用户运行SWI-Prolog安装程序的情况下部署我的VS-Package应用程序(VS 2012)？我是否可以只在客户端计算机上创建一个文件夹，然后将一些SWI-Prolog库复制到其中？
谢谢
浏览 0提问于2013-02-12得票数 0
我必须在SWI中申明这类中电(FD)规则：但我知道这个错误： ERROR: asserta(schedule(A,B) :- V = [S0,S1,S2],V ERROR: ins 0..sup) .
浏览 1修改于2013-09-02得票数 1
回答已采纳
我想它可能不是用来做这件事的，但我可能会问。swipl -f test.pl -g test(X)ERROR: -g test(X): Arguments are not sufficiently instantiated我想它可能不是用来做这件事的，但我可能会问。
浏览 5提问于2021-11-30得票数 0
回答已采纳
所以我有一个坚持不变的练习：tru变量(V)当且仅当V是原子。有暗示，也有否定。表单看起来很相似。例如。true
sub(or([variable(a),v
浏览 1修改于2015-04-12得票数 1
我正在尝试在运行HEL7的服务器上安装SWI-Prolog。
我已经按照说明在这里构建了SWI-Prolog：。构建在没有错误的情况下完成；但是，我没有看到应用程序的踪迹。
浏览 3提问于2016-09-25得票数 1
我已经按照下面的说明在我的linux机器上设置并安装了interprolog和swi prolog :
我已经将unixVariables.sh编辑为包含机器上的java和swi-prolog(pl)可执行文件的路径
浏览 2修改于2014-05-29得票数 2
回答已采纳
因此，我必须实现一个ADT，在本例中是SWI-Prolog中的Stack。我需要帮助，因为我是这个编程语言的新手，不知道如何开始。我认为这不仅仅是为了在SWI-Prolog中定义一个列表，请帮助。
浏览 29修改于2020-05-09得票数 0
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号