prolog谓词，在连续记数法中添加2个数字，并在Z中也以连续记数法获得结果
prolog谓词是一种逻辑编程语言中的基本元素，用于描述事实和规则。在prolog中，谓词由一个或多个参数组成，可以通过查询来获取满足谓词条件的结果。
在连续记数法中添加2个数字，并在Z中以连续记数法获得结果，可以使用prolog编写一个谓词来实现。以下是一个示例的prolog代码：
add(X, Y, Z) :- Z is X + Y.在这个例子中，add是谓词的名称，它接受两个参数X和Y，并将它们相加得到结果Z。通过使用is操作符，我们可以将X + Y的结果赋值给Z。
在prolog中，可以通过查询来使用谓词。例如，如果我们想要将数字3和4相加，并将结果存储在变量Result中，可以执行以下查询：
?- add(3, 4, Result).查询的结果将是：
Result = 7这表明将数字3和4相加的结果是7。
在云计算领域中，prolog谓词可以用于描述和解决各种问题，例如逻辑推理、知识表示和推理、自然语言处理等。它可以应用于各种场景，包括人工智能、专家系统、自然语言处理等。
腾讯云提供了一系列与云计算相关的产品和服务，其中包括云服务器、云数据库、云存储、人工智能等。您可以通过访问腾讯云官方网站（https://cloud.tencent.com/）了解更多关于这些产品和服务的详细信息。
相关·内容
3回答
最近我尝试了“用Prolog构建专家系统”这本书，这本书在上是免费的。
附录中有一个名为native shell的代码，以及一个鸟类识别数据库。问题是，在与shell协商并运行以下命令后：
main。
加载。
解决。
它会问"nostrils:external_tubular?“
如果回答否，则会发生堆栈溢出。问题可能出在blow部分：
prove(true,_) :- !.
prove((Goal,Rest),Hist) :-
prov(Goal,[Goal|Hist]),
prove(Rest,Hist).
prove(Goal,Hist) :-
prov(
浏览 0提问于2012-05-25得票数 1
回答已采纳
3回答
如果可能的话，我希望有人来解释这个过程(从“现在学习prolog”一书中)。它需要两个数字并将它们相加在一起。
add(0,Y,Y).
add(s(X),Y,s(Z)) :- add(X,Y,Z).
原则上我理解，但我有几个问题。假设是我发出的查询
?- add(s(s(0)), s(0), R).
其结果是：
R = s(s(s(0))).
第一步是规则2的匹配，现在X变成s(0)，Y仍然是s(0)。但是，Z(根据这本书)变成了s(_G648)，或s()，其中包含一个未实例化的变量。为什么会这样呢？
在最后一步中，匹配第一条规则，以结束递归。在这里，Y的内容以某种方式在Z的未实例化部分结
浏览 1提问于2013-01-30得票数 4
1回答
我需要简单的功能，在simple，乘以加法。类似于m(X，Y，Z)，例如X=5，Z=3 <==> 5*3，y是结果: Y=5，Y=10，Y=15 stop。我在想这样的事情：
m(X,Y,Z):- Z>0, /*when Z reaches 0 you stop */ I=X+X, W=Z-1, m(I,Y,W).
但它总是返回“假”和不知道为什么。
浏览 3提问于2017-10-12得票数 2
回答已采纳
1回答
我有以下知识基础：
numeral(0).
numeral(s(X)) :- numeral(X).
numeral(X+Y) :- numeral(X), numeral(Y).
add(0,X,X).
add(s(X),Y,s(Z)) :- add(X,Y,Z).
add2(W+X,Y+Z,R) :- add(W,X,A),add(Y,Z,T),add2(A,T,R).
add2(X+Y,Z,R) :- add(X,Y,A),add2(A,Z,R).
add2(X,Y+Z,R) :- add(Y,Z,A),add2(X,A,R).
add2(X,Y,R) :- add(X,Y,R).
浏览 4提问于2017-11-06得票数 1
回答已采纳
1回答
我正在使用SWI Prolog。我希望定义一个add函数：add(X, Y)，它返回X和Y的总和。但是，我不知道如何在Prolog中定义函数。我试着使用谓词这样做：
add(X, Y, Z) :- Z is X+Y.
但是，在执行表单add(2, 3, X)的查询时，会出现一个错误，即：
错误: toplevel:未定义的过程: add/3 (DWIM无法更正目标)
此外，在编写规则时，我无法理解:-和:=之间的区别。我在某些地方读到，:-用于定义谓词，而:=用于定义函数。我不确定这是否正确。我尝试使用:=来定义函数，但它不起作用。
浏览 2提问于2016-11-26得票数 8
1回答
我有两个问题困扰了我好几个小时。connected/2应该用来判断两个人是否有关联，而distance/3则是用来衡量亲属关系的。但是：
对于查询connected(x,y);and，我一直得到true的无穷大值，对于distance(x,y,N)查询，我得到的是无限增长的N。任何suggestions?
以下是我的事实：
male(ted).
male(barney).
male(ranjit).
male(marshall).
male(tony).
male(swarley).
male(steve).
male(chuck).
male(john).
male(devon).
male
浏览 4提问于2012-05-03得票数 4
回答已采纳
1回答
我有一个add2谓词，它的解析方式如下所示，其中s(0)是0的后继者，即1
?- add2(s(0)+s(s(0)), s(s(0)), Z).
Z = s(s(s(s(s(0)))))
?- add2(0, s(0)+s(s(0)), Z).
Z = s(s(s(0)))
?- add2(s(s(0)), s(0)+s(s(0)), Z).
Z = s(s(s(s(s(0)))))
等等。
我正在尝试添加一个前置谓词，它的工作原理如下
?- add2(p(s(0)), s(s(0)), Z).
Z = s(s(0))
?- add2(0, s(p(0)), Z).
Z = 0
?-
浏览 6提问于2019-10-15得票数 0
2回答
我目前正在尝试创建一个简单的函数，在给定第一个和最后一个数字的列表中打印整数。
例如，函数调用: count(3,7，Z)将打印"Z = 3,4,5,6,7“
以下是我迄今为止的尝试：
count(First,Last,Result):-
First <= Last,
append(First,Result,Result),
count(First+1,Last,Result).
我到底做错了什么？其思想是，只要第一个小于或等于最后，序列将继续被追加到结果列表。
提前感谢！我和这事斗争很久了！
浏览 2提问于2012-11-30得票数 0
1回答
我是机器学习的新手，我在谷歌云平台上看到了一些与人工智能相关的服务，我认为这些服务很容易使用。
这是我需要的，我有大约20,000个段落(3或4行)我需要找到最匹配的段落根据用户的问题。用户提出任何问题或键入任何句子，我需要找到与此用户句子最相似的段落，我如何做到这一点。我需要什么服务来实现这一点我想使用谷歌云平台。这在gcloud中是可能的吗?如果是，那么如何实现。
浏览 3提问于2020-11-27得票数 0
1回答
我对我遇到的一个错误提出了一个简短的问题。我是prolog的新手，所以如果这是一个简单的修复，请原谅。
以下是我想做的事：
考虑在问题1中创建的数据库。在实现以下规则时，可以添加其他规则以使实现更容易。
2.1增加一套扩大成员之间家庭关系的规则：(1) parent_of、(2) sibling_of、(3) uncle_of、(4) uncleOrAunt_of、(5) spouse_of和(6) descendant_of
2.2在数据库中添加至少10个事实。这些新的事实应显示家庭成员之间的一致关系，并必须确保(1)不存在冲突事实，(2)没有多余的信息，(3)问题2.1
浏览 0提问于2015-04-27得票数 1
1回答
我正在尝试使用这个规划师。
我想搜索一个有数值的空间。下面你可以看到我的sum的实现是经过测试的，而且看起来很有效。然后是我的两个加法和减号，分别删除value(X)和添加value(Y)，其中Y是X +- 1。
如果我现在咨询规划师(go的最后一条语句)，我不会得到plus()的预期结果，而是false，因为规划者找不到从value(2)到value(3)的方法。
sum(X,Y,Z) :- Z is X+Y.
move(plus(), [value(X)], [del(value(X)), sum(X,1,Y) , add(value(Y))]).
move(minus(), [valu
浏览 1提问于2021-12-09得票数 1
8回答
腾讯智能云为开发者带来哪些便利？
、、、、
腾讯云在云+未来峰会上推出了智能云。使得普通开发者能够快速上手进行开发。能够有效节省自身开发成本，我想知道究竟带来了哪些便利？有哪些服务极大提升了开发效率和用户体验？
浏览 887提问于2018-05-24
我在答案集编程(ASP)中有一个示例问题。当我尝试用Prolog编写等价的代码时，我总是被not阻塞。
下面是ASP代码：
road(berlin,potsdam).
road(potsdam,werder).
road(werder,brandenburg).
road(X,Y) :- road(Y,X).
blocked(werder,brandenburg).
route(X,Y) :- road(X,Y), not blocked(X,Y).
route(X,Y) :- route(X,Z), route(Z,Y).
drive(X) :- route(berlin,X).
#
浏览 17提问于2016-08-24得票数 2
回答已采纳
3回答
我要在prolog中模拟家谱。我也有对称谓词的问题。事实：
parent(x,y).
male(x).
female(y).
age(x, number).
规则：
blood_relation让我头疼。这就是我所做的：
blood_relation(X,Y) :- ancestor(X,Y).
blood_relation(X,Y) :- uncle(X,Y)
; brother(X,Y)
; sister(X,Y)
; (mother(Z,Y),sister(X,Z))
浏览 4提问于2009-04-26得票数 3
回答已采纳
2回答
我有一个返回：[[vincent,vincent],[vincent,marcellus],[marcellus,vincent],[marcellus,marcellus],[pumpkin,pumpkin],[honey_bunny,honey_bunny]]的Prolog代码。
:- initialization main.
loves(vincent, mia).
loves(marcellus, mia).
loves(pumpkin, honey_bunny).
loves(honey_bunny, pumpkin).
jealous(X, Y) :-
loves(X,
浏览 1提问于2015-02-01得票数 1
回答已采纳
我不知道为什么来自给定Prolog代码的以下查询会生成错误Out of local stack。
Prolog代码：
likes(g,c).
likes(c,a).
likes(c,b).
likes(b,a).
likes(b,d).
likes(X,Z) :- likes(X,Y), likes(Y,Z).
查询
?- likes(g,X).
结果：
X = c ;
X = a ;
X = b ;
ERROR: Out of local stack
编辑1这是我认为Prolog应该处理这个查询的方式，
likes(g,c) is a fact, so X={c}
likes(g,b) &
浏览 2提问于2014-01-07得票数 2
我有一个简单的函数，可以将数字相加并相乘。
(defn add-and-multiply [x y z]
(let [add (+ x y z)
mult (* x y z)]
(println "Add: " add)
(println "Mult: " mult)))
(add-and-multiply 1 1 2)
Add: 4
Mult: 2
nil
如果x参数现在是add (4)的结果，y参数是mult (2)的结果，z参数是相同的(2)，我该如何再次调用add-and-multiply呢？
我怎么能重复
浏览 2提问于2017-04-28得票数 2
1回答
下面是我的简单Prolog程序：
friend(X,Y):-
knows(X,Y).
friend(X,Z):-
friend(X,Y),
friend(Y,Z).
knows(brian,tom).
knows(tom,peter).
如果我输入以下查询
friend(brian,peter).
Prolog将给出以下输出：
?- friend(brian,peter).
true
如果进一步键入分号，Prolog将说：
ERROR: Out of local stack
我在这里做错了什么？
浏览 2提问于2014-02-13得票数 2
回答已采纳
1回答
嗨，我是prolog的新手，我试图创建一个基本的家谱，所以我有这样的想法：
/* Database for family. It consists of facts and rules. */
/* Facts */
female(ella).
female(jodi).
female(sonya).
male(arnold).
male(chris).
male(louis).
male(mark).
father_of(arnold, chris). /* arnold is the father of chris */
father_of(louis, mark).
father_o
浏览 4提问于2015-04-27得票数 1
TL;DR: sibling(a,X)成功地回答了X = a，但sibling(a,a)失败了。
我有以下Prolog文件：
children(a, c).
children(a, d).
children(b, c).
children(b, d).
sibling(X, Y) :-
X \== Y, A \== B,
children(X, A), children(X, B),
children(Y, A), children(Y, B).
在我看来，很明显，如果父母是一样的，两个人就是兄弟姐妹。另外，一个人不是他们自己的兄弟姐妹。
但是，当我试图在GNU Prol
浏览 6提问于2015-10-31得票数 5
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
实时音视频
即时通信 IM
对象存储活动推荐
腾讯云开发者
