2回答
关于匿名变量在给定一组程序规则的Prolog查询的解析过程中所扮演的角色的快速而简单的问题。统一两个给定项的方法是，取一个由两个项组成的差集，并查看变量是否可以替代项，这样差异就消失了，您可以通过以下方法来做到这一点:先取最左边的单差，然后检查其中一个变量是否是一个没有出现在另一个项中的变量，
浏览 1提问于2020-03-05得票数 2
回答已采纳
我的程序应该返回City = phoenixCity = laweather(phoenix,summer,hot).
weather(我遵循了2014年的一个教程，也许从那以后发生了什么变化？
浏览 1提问于2016-09-14得票数 0
1回答
Prolog编译错误？
、、、
我对prolog非常陌生。尝试在尽可能少的时间内尽可能多地学习它。任何帮助都是非常感谢的。顺便说一下，我用的是MacOS Sierra。nextto(_A,_B).当我使用prolog命令窗口并执行以下命令进行测试时：它不是应该返回false吗？?
浏览 2提问于2016-09-21得票数 1
回答已采纳
是否有一种方法可以强制prolog CLI使用我感兴趣的变量返回查询结果？一个简单的例子是：它返回所有M、F和C1的绑定。在这个简单的例子中，它并不坏，但是对于带有许多助手变量的更长的查询，它更令人烦恼。
是否有一种简单的方法可以通过查询来表达这一点；我的意思是
浏览 11提问于2017-04-03得票数 4
回答已采纳
想象一下，我有以下的知识库，为每个人提供他的名字和年龄。person(john, 24).如何在Prolog中，更具体地在SWI中这样做？?Prolog将给出X和Y的值，我不想要Y。
浏览 3提问于2016-01-20得票数 5
回答已采纳
我正在尝试用Prolog编写一个合流检查器来完成一个任务。代码的这一部分负责创建关键对，并且在我看来工作正常。问题是，每当我们调用主函数“叠加”时，我们得到的是变量的内部名称(以_G开头)，而不是X、Y、Z等。例如：我设法通过以下命令获得了更好的输出：
superpose( RuleN, RuleM
浏览 0提问于2014-09-12得票数 2
为什么cityinCountry(_City, germany).返回True，而cityinCountry(City, germany).返回berlin; munich
对变量的定义是，它们由以大写字母或下划线(_)开头的标识符表示。然而，我的两个例子表现得不一样。谁能解释一下吗？
浏览 1提问于2019-02-27得票数 2
回答已采纳
1回答
当我们谈论匿名变量时，我遇到了一个小问题。例如，当我们制作以下内容时：Y=[2].
但是我的问题是关于变量X的，它有'_‘吗？
浏览 3提问于2014-05-18得票数 1
回答已采纳
在以_开头的文字(如_Peter )中，我遇到了很多问题。那么，在以下几个方面究竟有什么区别：和谢谢你回答我的问题！
浏览 2提问于2015-06-12得票数 6
回答已采纳
但当我咨询的时候，就像...上面写着类似这样的东西和winhugs只是冻结。那个_(number)是什么?为什么它会冻结？
浏览 0提问于2017-02-18得票数 1
第一个谓词的目的是，如果任何单词列表都可以与Var统一，则返回true。?问题是，这个谓词显示的是统一变量，而不是给出true。?至于我的第二个问题，我有一个名为espacos_uni( Ls，LP)的谓词，其中Ls是包含变量的列表，例如[[P11, P21, P31, P41, P51], [P13, P23, P33, P43, P53]]和LP是包含单词的列表，比如[[d,a,y],[n,i,g,h,t]]。这个谓词的
浏览 2提问于2020-04-20得票数 1
回答已采纳
梅利什，Clocksin在Prolog (2003)中阅读时出现了问题。例如，在使用跟踪时：alter([is, very, cool], ????tail of Z
似乎新的</em
浏览 1提问于2017-01-03得票数 1
回答已采纳
2回答
我有一个包含整数和匿名变量的列表，我试图找到一个特殊值的索引。问题是，只要我使用nth1/3查找索引，Prolog就会将值赋值给匿名变量，因此我也找到了索引。示例：List = [1,\_,1]，在这里，我希望从nth1(X,List,1)获得结果X = 1, X = 3，但正如在获得X = 1, X = 2, X = 3之前所说的那样。
浏览 3提问于2017-05-15得票数 8
回答已采纳
这是我导师的问题。用您自己的话说，当prolog为查询返回失败时，可以得出什么可能的结论？
我从来没有遇到过prolog返回失败的情况。我只能假设当通过回溯遇到错误时，它可能会返回fail？
浏览 2提问于2013-04-26得票数 0
1回答
我在prolog中有一系列包含匿名变量_的事实。fact(b, _).f([H | T]) :- H == fact(a, _), .
然而，这是不起作用的。是否存在用于相等的不同运算符？
浏览 0提问于2012-10-11得票数 1
回答已采纳
因此，在该教程中，它包含： adjacent(X,Y), color(Y,Color我没理解错吧，颜色是一个变量，在第一次调用color之后被设置为一个值，然后在第二次调用color时使用该值
浏览 0提问于2012-01-27得票数 2
回答已采纳
2回答
我用prolog写了这个谓词：list([X|L]) :- list(L).它工作得很好，但我得到了这样的警告： Singleton variables: [X]** %
我能做些什么来避免它呢
浏览 0提问于2011-01-21得票数 8
我已经用Prolog写了一个程序，我想用python访问它的结果。我曾尝试使用pyDatalog编写代码，但遇到了一个我无法解决的问题。现在我尝试使用PySwip，因为它允许我查阅我已经创建的数据库。现在，在python中，我使用PySwip来
浏览 1提问于2019-07-26得票数 1
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
腾讯会议
云直播活动推荐
腾讯云开发者
