1回答
如何从XPCE中的prolog谓词中读取
swi-prolog、xpce
我有以下简单的prolog谓词：这个想法很清楚，只需在"Out“中返回与" in”中相同的内容。好的，现在我想在XPCE程序中包含这个prolog谓词。我已经创建了一个窗口并添加了一个应该调用这个prolog谓词的按钮，然后在"Out“中显示返回的值。我以为完成这个任务很简单 message(@p
浏览 1提问于2010-12-08得票数 0
1回答
Prolog谓词
prolog、predicates
我目前正在学习Prolog中的谓词逻辑。我在回答有关这个主题的问题时遇到了困难，我想知道使用Prolog谓词解决这样一个问题的步骤。我有一个只能使用两个不同谓词名在Prolog谓词中表示的场景。
浏览 4提问于2013-05-12得票数 1
回答已采纳
1回答
统一SWI Prolog中的动态谓词
c++、swi-prolog
我正在从C++ dll调用SWI Prolog引擎，我希望能够访问所有断言/动态谓词(类似于清单通常所做的事情)。在GNU Prolog中，我会用一个变量调用dynamic/1谓词，Prolog会将它与所有动态谓词指示器统一起来。在下一步中，我将使用变量调用这些谓词，并获得一个完整的列表。不幸的是，我不能在SWI Prolog中做到这一点(错误:参数没有充分实例化)。还有别的办法吗？
浏览 0提问于2012-02-03得票数 2
回答已采纳
1回答
SWI-Prolog中的法拉盛数据库缓存
mysql、swi-prolog
我们正在使用swi-prolog运行我们的测试用例。每当测试开始时，我就打开到MYSQL database的连接，并存储测试帽的名称，然后关闭DB。这些测试连续运行约2天。在另一个prolog文件中有一个谓词，它被调用以将结果更新到MYSQL数据库。代码很简单，我使用odbc库，只需调用odbc_*谓词通过发出直接查询来连接和更新mysql。实际问题是：
如果我试图从同一个Prolog窗口调用谓词(测试刚刚完成)，就会得到一个错误，用于更新到DB服务器。虽然我在连接中没有任何错误。如果我
浏览 0提问于2010-03-20得票数 0
我正在使用SWI Prolog学习Prolog。考虑一下我有一个名为myFile.txt的文件的情况，该文件包含以下内容：line2.readFileSee(InputFile) :- seeing(OldStream),- readFileSee('/home/andrea/Documenti/prol
浏览 0提问于2013-04-19得票数 1
回答已采纳
1回答
带有复合谓词的setof
prolog、prolog-setof
我正在努力解决prolog作业中的一个问题。evaluation('CSI1120', homework(1), ['Prolog', database ], 5).这里我的目标是创建一个谓词listAllMarks/3，比如returnAllMarks(C,
浏览 8提问于2017-03-12得票数 2
回答已采纳
1回答
谓词注释
prolog
将“注解”(元信息)添加到谓词的Prolog方法是什么？来自Java的一个典型示例是： @Transactional
public List<User> findAll() { ... } 将Transactional注释添加到谓词中有哪些Prolog选项：
浏览 10提问于2021-07-24得票数 1
2回答
搜索一个特殊的prolog谓词
list、prolog
我需要一个简单的Prolog谓词，如：在开始自己编写它之前，我想搜索一个内置谓词。我不能说Prolog没有这样的谓词。
你知道吗？
浏览 1提问于2013-08-18得票数 1
回答已采纳
1回答
如果_/3有什么用途？
if-statement、prolog、logical-purity
谓词似乎是堆栈溢出的Prolog部分中为数不多的主要贡献者之一。这个谓词是这样实现的，由@false提供： call(If_1, T),
( T == true -> call(Then_0)但是，我一直无法找到一个清晰、简单、简洁的解释，说明这个谓词的作用，以及它与经典的Prolog if -> then ; else的if-然后-if -> then ; else构造相比有什么用。我发现的大多数链接都直接使用这个
浏览 2提问于2016-10-03得票数 36
回答已采纳
1回答
从Prolog编译Latex
shell、prolog、latex
我写了一个Prolog谓词，生成一个Latex文件，我正在寻找一种方法，能够在Prolog中自动编译这样的文件，以返回相关的PDF文件。我已经找到了外壳谓词()，但我不知道如何正确地使其工作。如果与此相关，我在Mac上使用SWI-Prolog 7.1.33。
提前感谢！
浏览 1提问于2015-05-07得票数 0
1回答
current_predicate在SICStus Prolog中的应用
prolog、iso-prolog、sicstus-prolog
SICStus Prolog提供了当前_谓词/1和当前_谓词/2。将PredSpec与表单名称/一致性的谓词规范统一起来。姓名、术语)
current_谓词/1
浏览 3提问于2020-05-15得票数 3
回答已采纳
1回答
如何检查一个术语是否包含变量？
prolog
我对prolog很陌生。我正在尝试实现谓词occurs(Variable, Term)，如果prolog变量发生在prolog项中，则该谓词会成功，否则会失败。
浏览 1提问于2019-06-30得票数 1
回答已采纳
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回答
如何在SWI-Prolog中跟踪内置append/3？
prolog、swi-prolog
我想在SWI-Prolog中跟踪内置的append/3，但我立即得到了结果，看不到中间发生了什么。 ?- trace .
true.
浏览 1提问于2017-06-03得票数 4
5回答
prolog中的哈希表
data-structures、dictionary、hashtable、prolog
前几天，我正在用prolog解决一个难题，我意识到如果我使用另一种编程语言，我会利用哈希表/字典，但据我所知，这在prolog中是不可能的。所以我的第一个问题是，是否有任何prolog支持具有哈希表性能特征的类似字典的数据结构？其次，我突然想到，由于大多数prolog使用哈希表来存储谓词，因此我可以编写一个包装器谓词来断言和收回事实，从而创建一个利用底层谓词哈希表的字典接口。
浏览 0提问于2009-08-22得票数 29
回答已采纳
1回答
Prolog兼容性层.可用的编程库
prolog、gnu-prolog
在一个Prolog实现中缺少一些谓词，在其他实现中是可用的。您知道Prolog的"Prolog兼容性层“(特别是GNU)吗？“实现为”--您可能希望使用的prolog实现
“附加信息”-评论，要求，限制等。
浏览 4提问于2011-08-22得票数 5
回答已采纳
2回答
在纯Prolog中通过CLP(FD)求逆函数
while-loop、prolog、enumerate、clpfd
b) if a > b else return a /* one while iteration */1, 2
/* two while iterations*
浏览 2提问于2021-02-03得票数 1
1回答
内置谓词的时间复杂度
prolog
我一直在用prolog做一个小项目。我一直注意到，当删除内置谓词(如append(?List1, ?List2, ?List1AndList2)和subtract(+Set, +Delete, -Result) )时，倾向于其他选择(处理列表和单个元素时的[Head | List2]，编写自己的减法谓词，等等)。我想知道在prolog中如何优化内置的谓词？是否建议编写自己的谓词而不是使用现有的谓词？我最近刚开始使用prolog，所以我还不太有经验。
浏览 2提问于2017-09-29得票数 1
回答已采纳
3回答
跨几个模块定义谓词的部分
module、prolog、swi-prolog
我试图编写一个谓词move/3，它处理几种术语，每种术语都定义在一个单独的文件中。我试图为此使用模块，因为这些文件包含其他谓词，这些谓词应该适当地使用名称空间。同样适用于dog.prolog。和main.prolog，包括：:- use_module(['dog.prolog'], [move/3]).- ['
浏览 2提问于2014-02-11得票数 4
回答已采纳
云服务器
ICP备案
对象存储
云点播
即时通信 IM
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号