过滤Prolog规则结果
是指在Prolog编程中，根据特定条件筛选出满足要求的规则结果。在Prolog中，规则通常由事实和规则组成，通过逻辑推理和匹配来得出结果。
过滤Prolog规则结果的方法有多种，可以使用内置的谓词（predicate）或自定义谓词来实现。以下是一些常用的过滤方法：
- 使用内置谓词：Prolog提供了一些内置谓词用于过滤规则结果，如
findall/3、bagof/3和setof/3。这些谓词可以根据指定的条件将规则结果收集到一个列表或集合中。 - 自定义谓词：可以根据具体需求编写自定义谓词来过滤规则结果。自定义谓词可以使用逻辑运算符（如逻辑与、逻辑或）和比较运算符（如等于、大于、小于）来定义过滤条件。
过滤Prolog规则结果的应用场景包括但不限于：
- 数据库查询：在数据库查询中，可以使用Prolog来过滤查询结果，以获取符合特定条件的数据。
- 知识推理：Prolog常用于知识推理领域，可以通过过滤规则结果来得出特定的结论或推理链。
- 专家系统：在专家系统中，可以使用Prolog来过滤规则结果，以提供符合用户需求的专业建议或解决方案。
腾讯云提供了一系列与云计算相关的产品，以下是其中一些与Prolog规则结果过滤相关的产品：
- 云数据库 TencentDB：腾讯云的云数据库产品提供了高性能、可扩展的数据库服务，可以用于存储和查询规则结果。
- 人工智能平台 AI Lab：腾讯云的人工智能平台提供了丰富的人工智能服务，可以用于知识推理和专家系统的开发。
- 云函数 SCF：腾讯云的云函数产品可以用于编写和运行自定义的Prolog谓词，以实现规则结果的过滤和处理。
更多关于腾讯云产品的详细信息和介绍，请访问腾讯云官方网站：腾讯云。
相关·内容
1回答
我正在尝试理解Prolog中的递归，但它肯定与PHP、Java和C等其他语言中的递归不同。我一直在阅读有关它的所有教程，但我仍然没有得到具体的、相当复杂的案例。
例如，为了获取列表中元素出现的次数，我们有：
occurrence([], _, 0).
occurrence([H | T], H, N) :- !, occurrence(T, H, N1), N is N1 + 1.
occurrence([_ | T], H, N) :- occurrence(T, H, N).
它可以使用以下方法调用：
occurrence([1,4,9,1,2],1,R).
其结果应该是：
?- R=2
浏览 2提问于2014-04-29得票数 0
回答已采纳
1回答
我有一个问题，我需要像这样压缩一个派生结果：
0*x*x + 2*(1*x + x*1) =====> example: 0+2*(2*x) =====> 0+2*4*x====>8*x
有可能吗？谢谢你的帮助。
向您致敬，Volter
浏览 0提问于2011-11-15得票数 0
回答已采纳
2回答
我对Prolog很感兴趣。我正在尝试编写一个zip函数。问题是这样的。
zip(L1, L2, X)：列表X是通过“压缩”前两个参数形成的。
结果应该是这样：
?- zip([a, b, c], [x, y, z], X).
L = [a, x, b, y, c, z]
?- zip([a, b], [x, y, z], X).
false
?- zip([a, b, c, d], X, [a, p, b, q, c, r, d, s]).
X = [p, q, r, s]
到目前为止，我已经这样做了。我可以得到第一，第三，但不是第二的结果。有人能帮我解决第二个问题吗？谢谢
zip([X],[
浏览 4提问于2014-04-04得票数 3
回答已采纳
2回答
我对prolog还不熟悉，我就是搞不懂。
我试图构建一个简单的程序，该程序接收谓词列表，搜索列表中的特定谓词，并将函数应用于该谓词的参数。
类似于这样的东西：
?- program([pred1(a,b,p), pred2(d,b,p), pred2 (a,c,p)]).
program (list1) :-
search(pred2(X,Y,p),list1).
doSomething (X,Y) % with the X and Y returned from search function, both of them.
基本上，我希望使用从目标search(pred2(X,Y,p)
浏览 0提问于2010-06-04得票数 2
回答已采纳
2回答
你好，我试着写像一样倒计时的递归
prolog语言
我试着像这样做一些代码：
down(Y,X):- Y>0,K is Y-1,down(K,X).
但它的返回值是“false”。我不知道为什么它返回布尔结果...它需要将K值插入到X中。和一般如何做一个递归，一直返回某个数字…
我需要做什么？
tnx很多
浏览 1提问于2015-12-22得票数 3
1回答
考虑到下列规则：
example(A, [A|As], As).
example(A, [B|Bs], [B|Cs]) :- what(A, Bs, Cs).
而问题是：
example(c, [a, b, c, a], X).
结果：
X = [ a, b, a ]
有人能帮我追踪它是怎么做到的吗？我不知道它首先进入了什么例子，我相信我能从那里找出答案。
浏览 3提问于2014-11-30得票数 0
回答已采纳
1回答
我有一项声明：
friends(Nancy,richard,_,Nancy,michael)
这个问题是：
friends(simon, Nancy, Friend, Richard, Friend).
我得到的结果是：
Nancy = richard
Friend = Michael
Richard = Simon
有人能向我解释这些结果是如何产生的吗？
浏览 1提问于2013-12-10得票数 1
回答已采纳
1回答
我目前正在为一次考试练习Prolog，当我研究旧的考试时，我遇到了一个问题，在这个问题中，必须定义一个谓词，它返回一个列表的长度。(示例：lengthof([a,b,c,d,e,f],Length).计算结果为Length=6.)
我的做法如下：
lengthof([],0).
lengthof(List,LengthNew) :- lengthof([_|List],Length),LengthNew is Length-1.
但是它总是抛出堆栈溢出错误。我不知道我可能做错了什么，所以我仔细研究了解决方案。解决这一问题的办法如下：
lengthof([],0).
lengthof([_|Li
浏览 1提问于2015-04-04得票数 1
回答已采纳
2回答
为了更好地理解prolog、列表和递归，我正在努力完成分配给自己的各种简单任务。其中包括从列表中删除重复条目。
我定义了一个规则：
is_on(Item, [Ah|At]) :- Ah = Item; is_on(Item, At).
这将检查“Item”是否在列表X上。所以我想我可以扩展它来定义一个filter_double谓词：
filter_doubles([Ah|At], Result) :-
(not(is_on(Ah, At)) ->
Result = [Ah|Result]
;
filter_doubles(At, Resul
浏览 0提问于2011-03-07得票数 2
回答已采纳
我是Prolog的新手，我用"car“语句创建了一个小小的基础。
car(ford, mondeo, 125600, 31000).
car(ford, mondeo, 111232, 35000).
car(renault, megane, 82000, 28000).
car(renault, laguna, 102000, 35000).
car(renault, laguna, 82000, 42000).
car(www, pasat, 82000, 42000).
car(renault, aaa, 82000, 428900).
我怎么能找到所有有>10000第三次
浏览 2提问于2018-05-25得票数 1
回答已采纳
1回答
当推理马达被激活以进行必要的推断时，就会产生无限循环。
规则和事实是根据我使用的元解释器的特定语法定义的。
规则是一个五元组，其中第二个字段是规则的结果，而第三个字段是激活规则的条件。
这个循环是由通过术语nextID更新id (I1)引起的，我用它来确保每个断言id都是递增的这是我的知识库：
规则：
rule(1,[gn(Name,Surname,I1),retract(nextID(I)),nextID(I1)],
and([person(Name,Surname),nextID(I),call_p(I1 is I+1),Name=='john']),1,1).
事实：
f
浏览 6提问于2019-01-30得票数 0
1回答
我正在尝试对以下每个结果执行求和运算：
combination(0,_,[]).
combination(K,L,[X|Xs]) :-
K > 0,
el(X,L,R),
K1 is K-1,
combination(K1,R,Xs).
el(X,[X|L],L).
el(X,[_|L],R) :- el(X,L,R).
例如，用户将输入is_sum_equal_10 (1,2,3,4,5,6,7)，如果任意排列的和等于10，则结果为真。
我正在努力把它们放在一起，有人能帮我定义对每个排列使用组合规则的is_sum_equal_10规则吗？
浏览 0提问于2009-12-13得票数 1
回答已采纳
1回答
我用prolog写了这几行代码 extend([],[]).
extend([(N,L)|T], [NewList|NewListT]):-
fill((N,L),NewList),
extend(T,NewListT).
fill((N,L),List) :-
length(List, N),
maplist(=(L), List). 我正在尝试做的事情是为给定的list=[(0, a), (0, b), (1, c)]创建一个list=[[c]]。我的问题是，当我运行代码时，我得到了这个结果L = [[], [], [c]]。
浏览 20提问于2021-04-29得票数 0
1回答
在prolog中如何处理这样的null情况？
代码如下：
var_name([], []).
var_name([_|[X|_]], X).
我想要的结果是，
?- var_name([1,[2,x]],X).
X = [2,x].
和
?- var_name([3],X).
X = [].
但是当我运行代码时，我遇到了第二个result.It失败并返回false的问题。我似乎不明白我哪里出错了。我提供了一个谓词，当var_name为null时返回null。
浏览 1提问于2015-02-28得票数 1
1回答
理解Prolog列表和递归
、、、、
reverse([], X, X).
reverse([H|Original], Result, Reverse) :-
reverse(Original, Result, [H|Reverse]).
?- reverse([1,2,3], X, []).
X = [3,2,1].
因此，上面是一个相当简单的Prolog程序来逆转一个列表。我只是想找人向我解释一下反向规则中的Reverse变量是如何得到结果的。根据我的想法，我将原始列表的头添加到一个新列表Reverse的头上，从而逆转列表。我在任何地方都没有与变量结果交互，那么它为什么会保存任何东西呢？
我已经被困在这件事上好几天了
浏览 1提问于2015-11-01得票数 2
回答已采纳
我在Prolog中看到了各种家族树的实现，但我还没有找到一个实现我想要做的事情，即通过相互引用来定义子和父。我之所以想这样做，是因为有时我有这样一个事实:某人是某人的孩子，而另一些时候，我有这样的事实:某人是某人的父母。从这两类事实中，我想问一下谁是父母，谁是孩子。
我的编码尝试是:-
parent(mary, fred).
child(john, peter).
child(paul, peter).
parent(P, C).
parent(P, C) :- child(C, P).
child (C, P).
child(C, P) :- parent(P, C).
这似乎是可行的，但
浏览 2提问于2017-06-04得票数 3
回答已采纳
1回答
我正在试图计算'Peano数‘(Recursive definition of natural numbers represented as s(0), s(s(0)) etc.)的差异，但我有点陷入了一个问题。
减法的定义如下：
s(X) - 0 = s(X)
s(X) - s(s(X)) = 0
s(X) - s(X) = 0
s(s(X)) - s(X) = s(0)
0 - s(X) = 0
这是我目前的代码：
nat(0).
nat(s(X)) :- nat(X).
% sub/3
% Subtracts right operand from left operand
浏览 3提问于2020-04-16得票数 1
回答已采纳
这可能是返回Prolog中列表长度的函数的最简单的实现。
count([], 0).
count([_|B], T) :- count(B, U), T is U + 1.
关于Prolog，我仍然无法理解的一点是使用变量作为参数的灵活性。
例如，我可以运行count([a, b, c], 3).并获得true。我还可以运行count([a, b], X).并得到一个答案X = 2.。奇怪的是(至少对我来说)我还可以运行count(X, 3).并得到至少一个结果，在解释器消失为无限循环之前，这个结果看起来类似于X = [_G4337877, _G4337880, _G4337883] ;。我甚
浏览 12提问于2016-03-26得票数 6
回答已采纳
当[X2,Y2]是[X1,Y1]的邻居时，我有一个is_adjacent([X1,Y1], [X2,Y2])子句，它是真的。如果我问is_adjacent([2,2], [X,Y])，我会得到所有可能的结果(四个)，在本例中：
is_adjacent([2,2],[X,Y]).
X = 2,
Y = 3 ;
X = 3,
Y = 2 ;
X = 2,
Y = 1 ;
X = 1,
Y = 2.
我想在另一个子句中使用此行为：
anotherClause :-
is_adjacent([2,2],[X,Y]),
[to be continued...].
现在，我如何能自动处理所
浏览 0提问于2013-04-18得票数 0
2回答
假设我有两个任意列表，它们表示3-place谓词的前两项：
[anna,berta,charlotte],[charles,bob,andy]
我希望将第三个列表中的每一项(3位谓词的第三项)匹配如下：
[[anna,andy],[berta,bob],[charlotte,charles]]
基本上，这些项目是以顺序相反的方式匹配的。为了按顺序匹配项，我设计了以下代码：
match([],[],[]).
match([A|At],[C|Ct],[[A,C]|Dt]):-match(At,Ct,Dt).
但这将给我以下几点：
match([anna,berta,charlotte],[char
浏览 0提问于2015-11-24得票数 5
回答已采纳
2回答
我有以下代码，working，它移动两个列表：
shuffle([], [], []).
shuffle([X|Xs], Ys, [X|Zs]):-
shuffle(Xs, Ys, Zs).
shuffle(Xs, [Y|Ys], [Y|Zs]):-
shuffle(Xs, Ys, Zs).
我分别理解每个部分。第一个子句接收两个列表，一个带有X，即头，Xs是尾。结果，我们“拿走”了第一张名单的头。第二个子句也是如此--我们不把Xs作为结果，而是Y的头。
Prolog递归地分离列表，然后统一它们。
我不明白的是它是怎么工作的？在“删除”完所有的Xs之后，
浏览 0提问于2018-09-06得票数 3
回答已采纳
考虑以下代码：
a(X) :- b(X),!,c(X),fail.
a(X) :- d(X).
b(1).
b(4).
c(1).
c(3).
d(4).
查询a(X).生成
1 ?- a(X).
false.
2 ?-
但是使用下面的代码
a(X) :- b(X),!,c(X).
a(X) :- d(X).
b(1).
b(4).
c(1).
c(3).
d(4).
查询a(X).的结果是：
1 ?- a(X).
X = 1.
所以我的问题是，为什么fail/1会产生false？它应该是强制回溯的，对吧？然后检查b(1)和c(1).，我想，为什么它会失败呢？
浏览 4提问于2013-02-28得票数 7
回答已采纳
我得到了一份名单，根据谁拥有什么，我想把它分成两个不同的名单。我调试了我的代码，它似乎可以工作，但控制台总是返回true，true，true…… 预期结果: LA = jean，julie，marc，LB = jean，julie。我猜我的停止状态不能正常工作，但我不确定原因。 变量基本上是: Head-Now(HN)，Rest-Now(RN)，List-Automobile(LA)，List-Bicycle(LB) owns(julie, car, red).
owns(jean, car, red).
owns(jean, car, green).
owns(marc, car, red
浏览 17提问于2020-10-21得票数 1
回答已采纳
2回答
我在Prolog.The中需要写的作业是写一段做二进制加法的代码，比如：
?- add([1,0,1],[1,1],X).
X = [0,0,0,1]
所以，这是我想出来的代码：
add([],[], _).
add([],Y, Z) :- append([], Y, Z).
add(X,[], Z) :- append(X,[],Z).
add([HX|TX],[HY|TY], Z) :-
HX = 1,
HY = 1,
add(TX,TY, Z1),
add([1],Z1, Z2),
append([0],Z2,Z),!.
add([HX|TX],[
浏览 2提问于2012-09-23得票数 6
回答已采纳
我有一个用户事实列表，定义为：
user(@michael).
user(@ana).
user(@bob).
user(@george).
user(@john).
诸若此类。此外，我有一套事实：
follows(@michael,@ana).
follows(@ana,@bob).
follows(@bob,@michael).
我试图写一个间接关系( user1，user1)，它将告诉我user1是否间接地跟随user2。然而，我无法消除循环关系。
与给定的示例一样，michael -> ana -> bob -> michael将导致一个循环。
从间接结果(user1
浏览 2提问于2014-12-02得票数 2
回答已采纳
与中的答案一样，我定义了以下程序：
should(X, go_to(X, toilet)) :- full_bladder(X).
?- assert(full_bladder(bob)).
true.
?- should(bob, Action).
Action = go_to(bob, toilet)
我现在补充事实：
?- assert(lastlocation(bob, floor)).
true.
?- assert(currentlocation(bob, toilet)).
true.
?- assert(empty_bladder(bob)).
true.
我现在如何定义以下
浏览 2提问于2017-03-22得票数 0
回答已采纳
我正一头扎进prolog的世界，但我似乎碰到了浅水区！
关于本教程，我正在研究prolog中的数据库操作：
它说明我可以通过输入listing来查看我的数据库
所以我尝试了一下，它基本上应该输出我的.P文件中的所有内容(事实、规则)，但这就是我得到的结果，以下是我的命令序列：
? consult('D:\Prolog\testfile.P').
[testfile.P loaded]
? listing.
library_directory(C:blahblahpathtoXSB)
library_directory(C:blahblahXSBpath)
{this is
浏览 1提问于2010-03-11得票数 1
回答已采纳
我想在prolog中定义以下规则：
当X渴的时候，X应该去酒吧。
之后，我会问prolog thirsty(X)和prolog应该还回去(吧)
我试过以下方法：
go(Y).
thirsty(X) :- go(bar).
但当我用
thirsty(bob).
结果只会是true。有人能帮我做些什么才能得到go(bar)吗？
浏览 2提问于2017-03-05得票数 1
回答已采纳
2回答
我在prolog中有下面的代码来生成一个从一个节点到另一个节点的路径，但是我无法在屏幕上看到我的结果。我只是得到了真的答案。最后一个变量名不绑定到结果：
edge(a,b).
edge(b,d).
edge(b,c).
edge(c,d).
path(A,B,P):-
path_1(A,B,[A],P).
path_1(A,B,P,Path):- last_element(P,S),S=B.
path_1(A,B,P,Path):-
edge(A,X),\+member(X,P),append(P,[X],NewP),
浏览 3提问于2012-01-17得票数 1
我试着在Prolog中做一个平均谓词，但是我面临一些问题，
它叫做平均(N，X)，N是一个数，X是从1到N的平均值的结果。
我试过这样做，但它并不总是很好：
average(1,1).
average(N,X) :- K is N-1 ,K>1 , average(K,S1) , X is /(+(S1,N),N).
average(N,X) :- K is N-1 ,K=:=1 , average(K,S1) , X is +(S1,N).
有人帮忙吗？
浏览 1提问于2017-06-09得票数 2
回答已采纳
您好，我正在尝试这样做，我可以调用调用: running_list(1，4，-5，5，-2，R)，结果应该是:R= 1，5，0，5，3 我遇到了一个我似乎无法理解的循环。 running_list([], []).
running_list([First], [First]).
running_list([First, Second], Total) :-
Total is First + Second.
running_list([First, Second|Tail], [First|Total]) :-
Current is First + Second,
runni
浏览 19提问于2019-12-16得票数 0
回答已采纳
我正在做一个Prolog项目，下面是我的代码。
:- dynamic yes/1,no/1.
:- dynamic n_angle/1.
go :- hypothesize(Shape),
write('Yes I know the shape you talking about is a '),
write(Shape),
write('!!!!'),
undo.
hypothesize(circle) :- circle,!.
circle :- not(verify(width)),
verify(rad
浏览 0提问于2012-08-26得票数 1
回答已采纳
1回答
我是prolog新手，必须完成这项任务。我对如何与我所拥有的事实和我自己得出的结论建立关系感到非常困惑。在此问题的代码部分，您将找到给定信息的列表和我从数据中得出的结论。如果我能被引导到正确的方向来完成我的任务，我将不胜感激。提前谢谢你！
%There are three people: John, Jim, and Mary and each has two jobs.
%The jobs are gardener, veterinarian's assistant, dishwasher, nurse,
%high school math teacher, an
浏览 2提问于2016-07-20得票数 1
1回答
请帮帮我!我不理解SWI-Prolog
从列表L1到列表L2，另一个元素等于列表L1中接下来的三个项目的算术平均值。如果L1元素的数量不能被3整除，则通过将一个或两个最近项目列表L1的和除以3来获得列表L2中的最后一个项目。提示屏引入List L1。因此，程序应该输出输入L1和L2结果列表。
列表项可根据要求提供。
浏览 3提问于2012-11-15得票数 1
回答已采纳
1回答
我需要编写include_assoc /3谓词，它用给定的谓词(第一个参数)过滤关联数组(第二个参数)，并将结果写入第三个参数。谓词的工作方式应该类似于include / 3。过滤器谓词应该使用键值对作为参数。
在过滤之前，我无法将表更改为列表。我该怎么做呢？
我的代码
include_assoc(_,X,_):-
empty_assoc(X),!.
include_assoc(Filtr,Tab,Result):-
min_assoc(Tab,Key,Value),
del_min_assoc(Tab,_,_,Tab1),
(call(Filtr,Key-Va
浏览 1提问于2019-11-26得票数 2
1回答
我很难在Prolog中找到关于否定的明确答案，所以如果这是一个显而易见的问题，我道歉：
我正在试着写一个简单的代码，逻辑上说“如果X喜欢Y并且只有Y，那么X和Y彼此相爱。”我的.pl代码如下所示：
likes(mary,john).
likes(mary,chad).
likes(john,mary).
loves(X,Y):- likes(X,Y), \+likes(X,Z).
然后，我运行我的程序并简单地问：
?- loves(X,Y).
但结果总是错的。根据我的逻辑，它应该返回到'X=john，Y=mary‘。
我尝试了几种组合，用切分来分隔否定，尝试用多行来定义“爱”……我可
浏览 1提问于2012-11-15得票数 7
回答已采纳
我试图创建一个循环遍历列表的函数，如果元素与事实相匹配，就替换它。
我能够实现一个简单的替换，替换列表中的每个元素。
replace([X|T], Y, [Y|T2]) :- replace(T,Y,T2).
replace([],X,[X]).
因此，这只是将X中的每个列表项替换为Y。
现在，我想用这样的事实替换X中的每个列表项：
replace([1,2,3], [ rule(1, [one]), rule(2, [two]) ], Result)
因此，如果列表是[1,2,3]，则结果将是[one, two, 3]
我该怎么做？
浏览 4提问于2013-12-05得票数 1
回答已采纳
3回答
Prolog新手，他想知道为什么这些规则不能独立存在，如果我想知道某件事是否是一个列表的成员。
member(X, [X|_]).
member(X, [_|Y]) :- member(X,Y).
如果我就上述规则问以下几点：
member(will, [anna, eddie, pat, will, marjorie, donna]).
但是，如果我删除：
member(X, [X|_]).
离开第二条规则，我就错了。如果第二条规则规定“如果X是列表尾部的成员，则X是列表的成员”，为什么会这样？
“威尔”是这个列表尾部的成员之一。
还有，为什么
member(X, [X|_]).
站起来告
浏览 0提问于2014-05-05得票数 1
回答已采纳
1回答
我对序言相当陌生，我的第一批任务之一是在Prolog中转换一个矩阵，意思是:如果我有一个矩阵
A=[[1,2,3],[4,5,6],[7,8,9]]
我应该再找一个矩阵
S=[[1,4,7],[2,5,8],[3,6,9]].
我已经为它编写了代码，但是结果是，我得到了如下内容：
S=[[1,4,7],[2,5,8],[3,6,9], []].
(它的末尾有一个空的列表)。我该怎么纠正这种事？我的代码完全错了吗？我不应该使用任何非标准的工具(如SWI)。
trans([],[]).
trans([S|R], [L|L1]) :-
trans(S, R, L, M),
trans
浏览 4提问于2014-05-22得票数 0
回答已采纳
我对prolog很陌生。我正试图颠倒名单的顺序，并附上它们。
例如：
修改(1，2，3,4，X)给我的结果如下：
X= 3,4,1,2
我写的代码：
revappend([],List,List).
revappend(InputListB,[Head|InputListA], [Head|OutputList]):-
revappend( InputListA, InputListB, OutputList).
给我的结果是：
X= 15、11、16、12、13、14
有人能告诉我怎么做吗？
浏览 1提问于2014-12-03得票数 0
回答已采纳
2回答
lookup([(X,A)|_],X,A).
lookup([_|L],X,A) :- lookup(L,X,A).
hi(_,t,bool).
hi(_,f,bool).
hi(g,var(X),Y) :- lookup(g,X,Y).
hi(_,in(X),int).
hi(_,fl(X),real_exp).
hi(g,plus(A,B),int) :- hi(g,A,int),hi(g,B,int),!.
我在Prolog中有上面的代码行，它基本上是检查加法操作的类型。
因此，当我在终端上有以下查询时：
hi([],plus(in(1),in(2)),T)
浏览 4提问于2011-05-05得票数 0
回答已采纳
1回答
我的老师给了我以下在prolog中实现逻辑not的规则：
not( X ) :- X, !, fail.
not( _ ).
不过，我真的很难理解。我有点理解!的意思是剪切，但对于这在这个场景中是如何工作的，以及第二行试图实现的目标，我感到很困惑。有人能帮我理解一下吗？
浏览 1提问于2018-03-18得票数 1
回答已采纳
我在prolog中读取了一个递归函数，该函数返回列表中所有元素的和，如下所示：
sum([ ], 0).
sum( [Elem | Tail], S):- sum(Tail, S1),
S is S1 + Elem.
我不明白两个问题：
1:在“：”的左边，我们有的目标。这意味着所有的计算都将在":-“的右侧进行，然后我们可以使用目标作为正常函数。这意味着我们给出了我们的论点和变量，结果将被放在它们上，而右边则负责计算。
但是在这个代码中的目标，本身就是计算头和尾。我的意思是，在我看来，代码应该是这样的(但是它不起作用！)：
sum(T
浏览 0提问于2015-05-25得票数 2
回答已采纳
我必须在我的prolog程序中写出苹果暗示红色或绿色的语句。下面是我实现的代码示例：
:-dynamic(red/1).
:-dynamic(green/1).
apple(a).
apple(b).
apple(A):-red(A);green(A).
我的问题是?- red(a)和?-green(a)应该返回false，因为这不是一个给定的事实，我把它们作为动态的，现在?-red(a)和?-green(a)返回false。但是，red(A);green(A).应该返回true，因为苹果要么是红色，要么是绿色
感谢您的回复:然而，我的整个问题是?-red(a)和green(a)
浏览 0提问于2012-01-25得票数 0
1回答
我对Prolog有一个问题，因为cut没有做(我相信)它应该做的事情：
% line-column handlers
checkVallEle(_, _, 6, _):- write('FAIL'), !, fail.
checkVallEle(TABULEIRO, VALUE, LINE, COLUMN):- COLUMN>5, NL is LINE+1, checkVallEle(TABULEIRO, VALUE, NL, 0).
% if this fails, it goes to the next
checkVallEle(TABULEIRO, VALUE,
浏览 0提问于2013-11-07得票数 1
回答已采纳
我写这个程序是为了得到这个结果："X=john“"Y=jane”
likes(john,mary).
likes(mary,jane).
likes(l,k).
likes(X,Y) :- likes(X,Z), likes(Z,Y).
但是如果运行这个程序，结果是:我认为程序陷入了循环！我想在得到真实答案后停下来！
1 ?- likes(X,Y).
X = john,
Y = mary ;
X = mary,
Y = jane ;
X = l,
Y = k ;
X = john,
Y = jane ;
ERROR: Out of local stack
我有错误！如何解决这
浏览 0提问于2013-04-11得票数 3
回答已采纳
1回答
好的，我正在编写一些代码，通过Prolog中的相互递归来检查每个值。到目前为止，这是我的代码：
semestersok(SP) :-
[Prior|Tail] = SP,
sem1ok(SP).
%% sem1ok(SP) :- checks semester 1 of SP is ok
sem1ok(SP) :-
[Sem1|Tail] = SP,
sem2ok(Tail).
%% sem2ok(SP) :-
sem2ok(SP) :-
[Sem2|Tail] = SP,
sem1ok(Tail).
我还没有将任何代码放在与检查有关的代
浏览 4提问于2014-06-19得票数 1
回答已采纳
3回答
我正在尝试格式化来自程序的结果，但遇到了困难。
作为结果，我想给出这样的东西：
Res = do(paint(x) do(clean(a), do(repair(b) , initialState)))
基本上，我想要将连续的项连接到initialState原子，但它不适用于atom_concat，因为要连接的其他项不是原子，而且我还想在每次传递"do“函数时添加)。
所以应该是这样的: Res = initialState。
当调用do函数时，我会有一个如下所示的函数
concatenateTerm(Pred, Res, Res).
例如，Pred蜂群修复(B)，并获得结果：res
浏览 0提问于2010-06-11得票数 0
回答已采纳
1回答
我已经尝试解决以下问题一段时间了，但似乎找不到正确的解决办法。
假设有一个函数测试(X，Y，Z)，使得X是一对数字，Y是对的列表，Z是传递对的结果列表。
例如：
test((1,5), [(7,3),(5,2),(5,9)], Z).
Z = [(1,2),(1,9)]
(因传递性1->5->2及1->5->9)
到目前为止，我已经成功地创建了以下代码：
test(_,[],_):- false.
test((X1,C),[(C,Y2)|_],(X1,Y2)).
test((X1,X2),[_|YT],Result) :- test((X1,X2),YT,Result
浏览 0提问于2013-10-28得票数 0
回答已采纳
假设表达式中可以使用四个运算符，它们是+、-、*和/。所有这些运算符都是二元的，即它们应用于以下格式的表达式中: operator、operand1、operand2，其中“operator”可以是+、-、*或/，每个操作数可以是单个数字，也可以是另一个表达式。例如，以下都是合法输入：
[+, 1, 2]
[-, 6, [/, 7, 0.5]]
[*, [/, 78, [-, 67, 3.5]], [+, 4, 9.0]]
但以下情况并非如此：
[+, 1] ; missing operand
[6, -, 7] ; every expression must start with an op
浏览 1提问于2014-04-03得票数 0
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
实时音视频
对象存储
云直播活动推荐
腾讯云开发者
