2回答
Prolog:有列出所有内置谓词的命令吗？
prolog
在Sicstus Prolog中是否有一个命令可以将内置谓词的列表打印到控制台窗口？或者有类似行为的东西？下面的链接建议可以使用谓词apropos基于关键字来建议预测，但这是针对SWI-Prolog的，而不是Sicstus。
浏览 3提问于2016-05-17得票数 1
3回答
SWI-prolog -如何使用键盘快捷键或全局谓词清除终端屏幕？
prolog、swi-prolog
我想使用键盘快捷键或命令清除SWI-prolog控制台中的屏幕(我猜在Prolog中您称之为“谓词”)。是一个类似的问题，我在哪里找到了我需要的东西--有一个谓词对我有效：有没有更好(更简单)的清除屏幕的方法？
浏览 0提问于2018-11-12得票数 2
2回答
Prolog中的谓词控制
prolog、predicate
对Prolog谓词控制有好奇心。f(A,X):- a,b,c, g(X).
g(B):- true.如果c返回false，我如何继续计算谓词f(A,X)中的g(X)？
浏览 0提问于2010-11-07得票数 10
回答已采纳
1回答
如何从XPCE中的prolog谓词中读取
swi-prolog、xpce
我有以下简单的prolog谓词：这个想法很清楚，只需在"Out“中返回与" in”中相同的内容。好的，现在我想在XPCE程序中包含这个prolog谓词。我已经创建了一个窗口并添加了一个应该调用这个prolog谓词的按钮，然后在"Out“中显示返回的</em
浏览 1提问于2010-12-08得票数 0
1回答
在Java中将JPL输出转换为字符串
java、prolog、swi-prolog、jpl
我通过JPL在java中使用Prolog，我有一些带有格式谓词的谓词：在java中使用JPL在java中使用格式输出到控制台输出中，如何在java中将此结果检索到字符串变量中？
浏览 3提问于2012-07-24得票数 0
1回答
统一SWI Prolog中的动态谓词
c++、swi-prolog
我正在从C++ dll调用SWI Prolog引擎，我希望能够访问所有断言/动态谓词(类似于清单通常所做的事情)。在GNU Prolog中，我会用一个变量调用dynamic/1谓词，Prolog会将它与所有动态谓词指示器统一起来。在下一步中，我将使用变量调用这些谓词，并获得一个完整的列表。不幸的是，我不能在SWI Prolog中</em
浏览 0提问于2012-02-03得票数 2
回答已采纳
2回答
Prolog没有操作数谓词
prolog
我正在研究一个Prolog示例，作为一个教程。在本例中，我有一个带有Zero操作数的谓词，如下所示： findall(_,print_solution,_).我如何在控制台中调用print_all_solution？当我在Prolog控制台中问这个问题时，我什么也没有得到：也没有答复： ?- goal(state
浏览 5提问于2014-01-24得票数 1
回答已采纳
2回答
prolog中谓词的不同行为
prolog
我试图理解规则内外谓词的不同行为。当我写到：在控制台中，我得到了“谓词未找到”。但当我写
S=[test(1,2,3)],member(test(1,A,B),S).尽管谓词测试仍未定义，但prolog仍会回答。那是为什么？
浏览 1提问于2019-08-16得票数 3
回答已采纳
1回答
Prolog谓词
prolog、predicates
我目前正在学习Prolog中的谓词逻辑。我在回答有关这个主题的问题时遇到了困难，我想知道使用Prolog谓词解决这样一个问题的步骤。我有一个只能使用两个不同谓词名在Prolog谓词中表示的场景。
浏览 4提问于2013-05-12得票数 1
回答已采纳
1回答
SWI-Prolog中的法拉盛数据库缓存
mysql、swi-prolog
我们正在使用swi-prolog运行我们的测试用例。每当测试开始时，我就打开到MYSQL database的连接，并存储测试帽的名称，然后关闭DB。这些测试连续运行约2天。测试完成后，结果基本上存储在服务器的文件夹中。在另一个prolog文件中有一个谓词，它被调用以将结果更新到MYSQL数据库。实际问题是：
如果我试图从同一个Prolog窗口调用谓词(测试刚刚完成)，就会得到一个错误，用于更新到DB服务器。虽然我在连
浏览 0提问于2010-03-20得票数 0
我正在使用SWI Prolog学习Prolog。考虑一下我有一个名为myFile.txt的文件的情况，该文件包含以下内容：line2.readFileSee(InputFile) :- seeing(OldStream),- readFileSee('/home/andrea&#
浏览 0提问于2013-04-19得票数 1
回答已采纳
1回答
如何在SWI-Prolog中跟踪内置append/3？
prolog、swi-prolog
我想在SWI-Prolog中跟踪内置的append/3，但我立即得到了结果，看不到中间发生了什么。 ?- trace .
true.
浏览 1提问于2017-06-03得票数 4
3回答
swi-prolog中的Prolog类型定义
types、prolog、definition、visual-prolog
在visual prolog中，prolog程序中有“域”部分，您可以在其中定义类型。swi-prolog中有没有类似的东西？在visual prolog中，类型定义如下：NewType = thing1; thing2
浏览 2提问于2010-10-18得票数 5
回答已采纳
1回答
如果_/3有什么用途？
if-statement、prolog、logical-purity
谓词似乎是堆栈溢出的Prolog部分中为数不多的主要贡献者之一。这个谓词是这样实现的，由@false提供： call(If_1, T),
( T == true -> call(Then_0)但是，我一直无法找到一个清晰、简单、简洁的解释，说明这个谓词的作用，以及它与经典的Prolog if ->
浏览 2提问于2016-10-03得票数 36
回答已采纳
2回答
SWI-Prolog:如何从转义字符串中获取unicode字符？
unicode、prolog、swi-prolog
像string_concat('\'，S，“u0026”)，write(S)这样的技巧。没有帮助，因为它将删除\不仅是转义。所以基本上我的问题是，如何从字符串中删除转义字符。
浏览 1提问于2016-10-07得票数 1
1回答
带有复合谓词的setof
prolog、prolog-setof
我正在努力解决prolog作业中的一个问题。evaluation('CSI1120', homework(1), ['Prolog', database ], 5).这里我的目标是创建一个谓词listAllMarks/3，比如
?- returnAllMarks('CSI1120',homework(1),L).为了解决这个问题，我考虑使用prolog setof/3，所以我使用了以下<em
浏览 8提问于2017-03-12得票数 2
回答已采纳
1回答
用谓词停止Prolog程序
prolog
我正在寻找类似谓词halt/0或abort/0的东西。我不想使用abort/0，因为控制台上有% Execution aborted消息，也不想使用halt/0，因为它终止了Sicstus Prolog程序。
还有其他谓词可以用来停止程序执行吗？我已经检查了这个主题的文档，似乎找不到我想看到的结果。
浏览 2提问于2015-12-02得票数 0
回答已采纳
1回答
从Prolog编译Latex
shell、prolog、latex
我写了一个Prolog谓词，生成一个Latex文件，我正在寻找一种方法，能够在Prolog中自动编译这样的文件，以返回相关的PDF文件。我已经找到了外壳谓词()，但我不知道如何正确地使其工作。如果与此相关，我在Mac上使用SWI-Prolog 7.1.33。
提前感谢！
浏览 1提问于2015-05-07得票数 0
云服务器
ICP备案
对象存储
云点播
即时通信 IM
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号