在前面的一个问题：中给出了Prolog实例化模式的全面列表。有人知道这种模式的意义吗？
浏览 2提问于2015-04-14得票数 1
回答已采纳
我正在学习prolog，想知道是否有人给我关于如何做这个问题的指导，这是这个领域中的第一个，知道如何做这个问题真的会帮助我进步。提前谢谢你。使用Prolog定义一个谓词mapof(K，M，V)，这样，当使用K实例化到一个键，而M实例化到一个映射来调用时，mapof会将变量V实例化为与映射M中的K相关联的值(或其中一个值)。如果K在映射M中
浏览 2提问于2015-03-27得票数 5
我正在为我的研究编写Prolog程序，我遇到了一些问题。首先，我所有的代码都在下面。
%% Lines are without period(.)我想得到“冷”的分数是0，"severe_cold“的分数是50，BarGraph的结果.但是发生了什么？我找不到。*编辑*我发现这个问题与局部变量有关(Line1，..( Line10)但是我该如何处理呢？如果我能把所有的变量，Line1，.，Line10作为全局变量，那么我认为这个问题是可以解决
浏览 1提问于2013-12-11得票数 1
回答已采纳
我正在从C++ dll调用SWI Prolog引擎，我希望能够访问所有断言/动态谓词(类似于清单通常所做的事情)。在GNU Prolog中，我会用一个变量调用dynamic/1谓词，Prolog会将它与所有动态谓词指示器统一起来。在下一步中，我将使用变量调用这些谓词，并获得一个完整的列表。不幸的是，我不能在SWI Prolog中</em
浏览 0提问于2012-02-03得票数 2
回答已采纳
我们正在使用swi-prolog运行我们的测试用例。每当测试开始时，我就打开到MYSQL database的连接，并存储测试帽的名称，然后关闭DB。这些测试连续运行约2天。测试完成后，结果基本上存储在服务器的文件夹中。在另一个prolog文件中有一个谓词，它被调用以将结果更新到MYSQL数据库。实际问题是：
如果我试图从同一个Prolog窗口调用谓词(测试刚刚完成)，就会得到一个错误，用于更新到DB
浏览 0提问于2010-03-20得票数 0
3回答
在visual prolog中，prolog程序中有“域”部分，您可以在其中定义类型。swi-prolog中有没有类似的东西？在visual prolog中，类型定义如下：NewType = thing1; thing2
浏览 2提问于2010-10-18得票数 5
回答已采纳
在许多Prolog系统中，很容易为查询文件添加一个新的搜索路径。例如，在Yap中，我知道的谓词是add_to_path(NewPath)。有没有办法在SWI Prolog中做同样的事情？我的问题特别是关于向现有路径添加一个路径，我知道用于声明目录的file_search_ path /2谓词和用于更改当前目录的cd&#
浏览 3提问于2011-06-14得票数 8
回答已采纳
1回答
我想知道是否有一种方法可以在SWI-Prolog中返回JSON对象，这样谓词名称就变成了键，实例化的变量就变成了值。我不知道如何通过使用prolog_to_json/3或其他内置函数来实现这一点。虽然有许多关于将Json读入Prolog的帖子，但我找不到很多相反的方法。如有任何帮助，我们不胜感激！
浏览 17提问于2018-03-02得票数 3
回答已采纳
目前正在阅读“七周中的七种语言”这本书，我坚持要运行第一个prolog示例。这涉及到与this question相同的代码片段；但是我相信我的问题是完全不同的。我使用的是gnu prolog (v1.4.5，在Ubuntu18.10上)，我可以通过| ?- [friends.pl]或| ?']或者使用--consult-file参数调用gprolog来加载gprolog咨询文件：gprolog --consult-file
浏览 28提问于2019-02-03得票数 4
回答已采纳
在Prolog中，我们可以引入一个关于边方向的谓词来表示上面的图：edge(a,b).我们进一步介绍一个关于节点连通性的谓词：connected(X,Y) :- edge(X,Z), connected(Z,Y).现在，我们希望使用谓词path(X,Y,P)进一步扩展我们的程序，它将使用变量P来保存节点列表，这些节点列表构成了从节点X
浏览 4提问于2019-09-22得票数 0
我最近开始学习Prolog，我有一个关于谓词和函数的问题。例如，如何编写一个函数来检查谓词中的对象是否在另一个谓词中：edge(l,k,-1).edge(a,z,-2).
checkEdges(edge(X,
浏览 6提问于2017-11-11得票数 0
回答已采纳
1回答
我目前正在学习Prolog中的谓词逻辑。我在回答有关这个主题的问题时遇到了困难，我想知道使用Prolog谓词解决这样一个问题的步骤。我有一个只能使用两个不同谓词名在Prolog谓词中表示的场景。
浏览 4提问于2013-05-12得票数 1
回答已采纳
Prolog和一阶逻辑的主要区别之一是对谓词中右部分的优先顺序有严格的规定。我想知道是否有任何方法可以在不放弃正常回溯行为的情况下随机化这个优先级。特别是，我正在使用SWI-Prolog，所以它也是一个很好的解决方案，只适用于那个解释器。
浏览 1提问于2017-08-15得票数 2
1回答
我用prolog编写了一个谓词，用来验证给定的矩阵是否是幻方。它可以工作，但我想用C#做一个图形界面。我已经搜索了如何将prolog连接到C#，但没有找到任何关于如何传递变量的信息，或者在我的例子中，从prolog到prolog的整数列表。我想我的问题是:这是可能的吗？如果是这样，我该怎么做呢？这里是我的谓词，
浏览 8提问于2020-06-24得票数 0
我们如何从一个只接受一个参数的prolog函数中返回值？例如。leaf(V)是一个应该返回值V的函数，并且它是从函数树(leav(V)，sum)中调用的。
浏览 3提问于2016-11-27得票数 3
回答已采纳
我试图确定某人访问下列商店的订单，并购买下列物品：1. kingtoots3. sprawlmart项目：2.dress4. slingshot1.Two stops after leaving Try-N-Save, he bought the pacifierpurchase但是，当我在S
浏览 2提问于2015-12-16得票数 0
1回答
我的问题很简单，iI理解我必须做什么，但我似乎不能代表我的理解。如何根据NAND门规则编写谓词来定义门，如XOR或NOR？上面是nand门的真值表。现在，如果我想在Prolog中使用上面的术语来定义XOR门，例如，我需要向Prolog询问关于XOR(X，Y，Z)的问题，它会给我三个可能的答案，我应该如何构建一个谓词来定义它？
谢谢
浏览 1提问于2017-03-22得票数 0
1回答
Prolog内存问题
、、、
我想找到一种方法来分析我用prolog编写的谓词(一个巨大的谓词)的内存使用情况。我目前正在使用和运行它，从这些进程的内存消耗中可以看出，分配了大量的内存。问题是，当谓词终止时，它不会被释放/释放/垃圾收集(我必须停止解释器才能看到它返回)，加上只有在谓词运行时，内存量才会不断增加(wheather )--这是不应该的，因为在每次迭代中
浏览 2提问于2013-04-04得票数 3
回答已采纳
云服务器
ICP备案
实时音视频
对象存储
云直播
腾讯云开发者
