1回答
我有以下程序：adjacent((Xs, Ys), (Right, Ys)) :- Right is Xs + 1.adjacent((Xs, Ys), (Xs, Up)) :- Up is Ys + 1.当我做了
?- adjace
浏览 4提问于2016-08-12得票数 0
1回答
在Prolog -人工智能编程中，Bratko在第58页上写道。
“Prolog中的匹配对应于逻辑上的统一。然而，我们避免使用统一这个词，因为在大多数Prolog系统中，出于效率原因，匹配的实现方式与统一并不完全一致。正确的统一需要所谓的发生检查:给定变量是否发生在给定的项中?我的</
浏览 3提问于2015-11-17得票数 6
2回答
我很难弄清楚统一的顺序是什么。我有以下查询：X = I,Y = like.然而，我所期待的是：Y = like,Prolog是否有统一术语的具体顺序？编辑：我觉得对an atom with a variable
浏览 4提问于2021-01-24得票数 4
回答已采纳
TL;DR: datime/2 (由SICStus Prolog和SWI提供)与包含年份、月、日、小时、分钟和秒的记录有关。对于一些角落的情况，我得到了奇怪的答案，这让我怀疑:在这些情况下，符合ISO标准的Prolog系统应该引起哪些错误？datime(-Datime)将Datime与当前日期和时间统一为表单datime(Year,Month,Day,Hour,Min,Sec)的datime/6记录。所有字段都是整
浏览 2提问于2021-04-19得票数 3
回答已采纳
我在一个文件test.pl中存储了一些事实。memory(0, 1, 0).| ?/home/cib/projects/prolog/test.pl compiled, 3 lines read - 501 bytes written, 5 ms
但它会奇怪地对待真实的事实;
就像它试图列出一些统一
浏览 0提问于2013-10-08得票数 1
回答已采纳
我的问题是：一旦prolog将X与1统一，如果我输入;，prolog如何获得其他可能的统一？难道不会回溯Prolog，然后从上到下重新读取包含成员定义的文件，并再次计算member(X,[X|R]).，这将再次将X与1统一起来吗？
浏览 0提问于2020-10-11得票数 3
3回答
什么是统一算法？
、、、、
我知道这听起来可能有点奇怪，但我的问题是：“什么是统一算法”。嗯，我正在尝试用F#开发一个类似Prolog的应用程序。它应该接受一系列事实，并在进行查询时对其进行处理。有人建议我开始实现一个好的统一算法，但我对此一无所知。非常感谢，祝您圣诞快乐。
浏览 0提问于2010-12-18得票数 5
回答已采纳
2回答
我正试图把我的头放在Prolog上，而且我在数据结构方面有点挣扎。
我想取一个point(X,Y)，然后沿着“对角线”X=Y来反映它，所以point(-5,8)变成了point(8,-5)。
浏览 1提问于2015-08-23得票数 1
回答已采纳
1回答
此时，我可以解析PHP代码文件，构建相应的规则集，并开始针对这些规则运行统一算法。而不是重新发明车轮，我想我应该使用现有的统一算法，而AFIAK，Prolog是最健壮的统一算法之一。现在，如果我传递一个可验证的正确输入，Prolog将返回“true”。如果我传递了一些不正确的东西，它会返回“假”。但是，在这个场景中，我真正想要的是获得一条错误消息，说明类型没有统一的</em
浏览 2提问于2013-03-29得票数 1
回答已采纳
2回答
我知道Prolog (逻辑编程)是关于返回true和false的，函数是返回从列表、数字到布尔值的任何东西。最初，Prolog似乎没有函数的概念，而是依赖于统一，但是您可以这样做：如果它真的只是语法糖，那么如果我想定义一个像log2这样的数学“函数”，我会怎么做呢？当然，我可以使用统一：
log2(X,Result) :- Result is log(X)/
浏览 3提问于2013-08-24得票数 8
回答已采纳
Prolog使用的是大多数通用的统一词，而不是仅仅的unifier，为什么会这样呢？如果我没有错，那么我认为，既然Prolog是基于回溯的，如果我们不使用大多数通用的整体词，那么我们就错过了变量统一的某些组合？
浏览 2提问于2018-01-07得票数 3
回答已采纳
3回答
在Prolog中：P = [1, _G1091],B = [_G1091]A = 1,
突然之间，它没有兴趣向我展示B是未实例化的，但仍然是一个准备与任何东西统一的变量。怎么会这样?(有时我喜欢关注奇怪的细节:)
浏览 5提问于2012-12-12得票数 1
回答已采纳
在Prolog中，我输入了以下查询以检查它们是否匹配：Prolog的答复如下：X = father(father(father(father(father(father(...)))))))))).
为什么会发生这种情况？
浏览 6提问于2015-04-24得票数 3
回答已采纳
这是我的程序tran('father','chichiwe').tran('mother','hahawe我在带有空格的单词中有一个错误
我该如何解决这个问题？
浏览 0提问于2010-11-05得票数 0
回答已采纳
4回答
Prolog和Haskell中的模式匹配有什么不同？eg ?- [a,b] = [a,X]现在我不确定如何在Haskell中显示模式匹配。我知道上面在Prolog<
浏览 1提问于2012-03-20得票数 36
回答已采纳
2回答
我正在转换AST，需要的不仅仅是简单的模式匹配，因此需要统一算法。虽然这是针对.NET项目的，并且我知道我可以与.NET PROLOG实现进行互操作，但我只需要嵌入统一算法；所以PROLOG是多余的。如果我能得到“蒙大拿州马尔泰利:一种高效的统一算法”，那将是完美的，但我会满足于任何函数式语言，包括F#和翻译到F#。
浏览 1提问于2012-03-02得票数 2
回答已采纳
我开始在一书之后学习Prolog。在语言简介的第7页，他们断言：“在Prolog中，答案no被用来表示没有任何东西与问题统一。重要的是要记住，no与false不一样。”那么为什么SWI-Prolog使用false和true语句而不是yes或no呢？
浏览 1提问于2015-07-01得票数 7
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
腾讯会议
云直播活动推荐
腾讯云开发者
