Prolog:识别两个functor是否相同*但没有*变量绑定 - 腾讯云开发者社区

文章/答案/技术大牛

发布

1回答

Prolog:识别两个functor是否相同但没有变量绑定

prolog

所以我有两个列表：和我想把这些加在一起，而不是添加相同的术语。(D)] %Package B doesn't get repeated 我可以编写自己的remove_duplicates，但它会将location(A)标识为匹配的location(C)，我需要这两个该规则包含变量，因此可以将不同的状态/情况与指定的位置、包裹和卡车相匹配。我的学习算法在搜索正确的前提条件集时将前提条件

浏览 10提问于2019-03-08得票数 2

回答已采纳

2回答

如何使用像Prolog中的变量那样的函子名称？

variables、prolog、functor、meta-predicate

我们的Prolog课程有这个作业。经过两个月的每周一个小时的Prolog，它仍然是一个谜对我来说，我的想法似乎无法适应程序语言--目前为止。有一个知识库，其中包含具有相同名称和位置1、2和3的谓词/函子。 S = functor_name(argument);S = <

浏览 4提问于2014-06-10得票数 1

回答已采纳

2回答

在Prolog中，construction s()代表什么？

prolog

我在Prolog中有一段示例代码。我想知道谓词/规则/函子s()在Prolog中意味着什么？(以breadth_search).开头的在线在示例代码中，我没有看到这个构造的任何声明。

浏览 1提问于2021-04-02得票数 0

回答已采纳

2回答

这个版本的functor(Prolog)有什么问题？

prolog

我试着用Prolog编写内置的functor。functor1(Term,F,N) :- Term =.. [F|Args] , lenlist(Args,N).?- functor(Term,f,6).Term = f(_G247, _G248, _G249, _G250, _G251, _G252)?- functor1(Term,f,6)

浏览 1提问于2009-12-05得票数 3

回答已采纳

7回答

Prolog =:=运算符

math、prolog、operators、equality、arithmetic-expressions

在Prolog中有一些特殊的运算符，其中之一是is，然而，最近我遇到了=:=运算符，我对它的工作原理一无所知。有人能解释一下这个运算符是做什么的吗?

浏览 2提问于2009-09-13得票数 35

回答已采纳

3回答

在Prolog中从列表中获取特定元素

list、prolog

我一直在读这篇关于Prolog列表的教程，以及如何从列表中获取特定元素，我遇到了这个例子： Y = [] 我不明白的是，他们从哪里得到变量Z的值_9593？

浏览 1提问于2013-03-21得票数 1

1回答

如何在prolog中将相同的变量绑定在一起

prolog

所以，我对prolog比较陌生，我想知道是否有可能将两个变量绑定在一个矩阵中，并且它们会同时更新。X = [[_,_], [_,_]].但是，我想知道有没有可能这样做，几乎统一矩阵中的对角元素X = [[_23838, _23844], [_23856, _23838]].假设上面的情况是可能的，如果稍后绑定了_23838，那么它们会是相同的值吗？X = [[5,_], [_,

浏览 0提问于2021-04-15得票数 1

1回答

用Prolog证明定理

prolog、logic、proof、theorem-proving、theorem

如何用Prolog编写定理证明？

浏览 4提问于2012-04-17得票数 6

1回答

lambda演算中“自由变量”与“变量的自由发生”的区别

substitution、lambda-calculus、free-variable、bound-variable

在lambda演算的上下文中，自由变量和变量的自由出现之间有什么区别吗？如果是，请举例说明。

浏览 5提问于2016-03-07得票数 0

回答已采纳

1回答

考虑使用Prolog编写的以下示例程序： p(0). T = tri(X, Y, Z), p(X), p(Y), c(T), !, p(Z).SWI Prolog为某些查询提供了一些有趣的答案：\ ?- b1(tri(0, Y, Z)).Y = 0, Z = 1.请注意，它确实在第二个答案中打破了行，但在第一个答案中没有。这让我想知道，换行的确切规则是什么？SWI Prolog什么时候会打破常规，什么时候不会呢？这依赖于什么？

浏览 21提问于2019-06-22得票数 1

2回答

原子/1或流/1等是否有Prolog名称()？

prolog、swi-prolog

SWI-Prolog允许除/* atom as functor */?- current_input(X), Y =.. [X, bar].我想知道是否有什么名字是允许作为函子，告诉我名字是什么，它说它需要一个原子：

浏览 1提问于2021-09-10得票数 2

回答已采纳

1回答

在Prolog中评估术语并写出它

prolog、output、stdout、evaluation

嗨，我正在学习prolog (在Mac上使用swi 7)，但是我找不到足够的文档/教程来解释如何打印一个术语评估的结果。我尝试了下面的代码，但它总是打印出任何参数的ERROR: prolog/test.pl:2: user:main: false。 #!

浏览 1提问于2020-03-13得票数 2

回答已采纳

1回答

处理二维数组和未绑定变量的Prolog

prolog

我熟悉java语言，但我很难理解prolog语言。我想要创建一个函数矩阵(N，M)，只有当M是N的2D数组时才能返回true &M中的每个单元格都包含一个无界变量。而且，我也不知道什么是未绑定变量&如果我希望每个单元格包含一个特定的序列，我的方法会有什么不同。任何帮助都将不胜感激。

浏览 1提问于2019-02-22得票数 0

回答已采纳

1回答

如何在Prolog中检查多个表的相等性

prolog

我已经创建了一个子句，用于检查对函数func的两次调用是否返回相同的输出，如果输出相同，则返回true，如果输出不相等，则返回false。因此，来自相同/3的期望输出将是：false true 任何帮助都将不胜感激。

浏览 0提问于2021-03-03得票数 0

1回答

使用适当的括号格式化输出- Prolog (不使用！和--> )

prolog

我有与formatting the output with proper paranthesis - Prolog相同的问题，但是解决方案不应该使用!和-->。来自链接的接受答案包含这两个运算符。特别是，我正在寻找一种在规则参数上使用Prolog模式匹配的解决方案。为了方便起见，我在这里重写这个问题。这个问题与first order logic creating terms for arithmetic expressions using prolog直接相关。我一直在尝试在format/

浏览 12提问于2020-11-02得票数 0

回答已采纳

1回答

匿名变量- prolog -几个查询

prolog、prolog-anonymous-variable

和一些额外的查询(与匿名变量无关)：我知道上述问题的答案，但我想了解prolog是如何找到这些答案的:) 谢谢!

浏览 0提问于2018-07-28得票数 0

2回答

使用管道时列表中的统一顺序

prolog、prolog-toplevel

我有以下查询：X = I,Y = like.然而，我所期待的是：Y = like,Prolog是否有统一术语的具体顺序？

浏览 4提问于2021-01-24得票数 4

回答已采纳

1回答

让Prolog返回一个适用的规则

prolog、context-free-grammar、dcg

类似地，我们将满足目标的参数指定为变量，我想将函子本身指定为变量，例如T。具体来说，我希望函子T([a,b,c])返回：T = abc1.，但最终需要递归的东西：[abc1, abc2(ab)]。我正在考虑创建一个顶级规则，它将在其主体中枚举所有语法规则头，并可能以某种方式返回可以由那些与输入匹配的规则构造的树T，但是这个枚举看起来很愚蠢，因为Prolog无论如何都会枚举幕后的规则头，我仍然不确定我是否能让这个解决方案工作除此之外，我还想到了prolog的lambda包，但是看了一眼，

浏览 1提问于2016-02-17得票数 0

回答已采纳

1回答