带有复合谓词的setof
是一种在逻辑编程中常用的概念。在Prolog等逻辑编程语言中，setof谓词用于从一个目标集合中获取满足某个条件的元素，并将这些元素组成一个集合返回。
具体来说，带有复合谓词的setof由以下几个部分组成：
- 目标集合：即需要从中获取元素的集合。
- 条件：用于筛选目标集合中满足条件的元素。
- 变量：用于表示目标集合中的元素。
setof谓词的工作流程如下：
- 遍历目标集合，对于每个元素，将其与条件进行匹配。
- 如果匹配成功，则将该元素加入结果集合。
- 继续遍历目标集合，直到所有元素都被处理。
- 返回结果集合。
setof谓词的优势在于可以方便地从一个集合中获取满足特定条件的元素，并将其组成一个新的集合返回。这在逻辑编程中非常有用，可以用于解决各种问题，如数据查询、约束求解等。
在腾讯云的产品中，没有直接对应的setof谓词相关的产品或服务。然而，腾讯云提供了丰富的云计算产品和服务，可以满足各种需求，如云服务器、云数据库、云存储、人工智能等。具体可以参考腾讯云官方网站（https://cloud.tencent.com/）以获取更详细的产品信息和介绍。
相关·内容
我试图用以下事实和规则(简化)来寻找希腊神话缪斯的祖先：
/* parent(A, B) - A is the parent of B */
parent(zeus, calliope).
parent(zeus, clio).
parent(zeus, melpomene).
parent(zeus, euterpe).
parent(zeus, erato).
parent(zeus, terpsichore).
parent(zeus, urania).
parent(zeus, thalia).
parent(zeus, polymnia).
parent(mnemosyne, cal
浏览 5提问于2016-03-11得票数 2
回答已采纳
1回答
我知道Prolog没有内置的绑定器来表示，比如λx (x=1)，但我想知道是否有可能实现它们。在像setof/3这样的一些谓词中，行为非常接近:查询的答案替换中的变量X
?- setof(X, member(X,[a,a,c]), Xs).
Xs = [a, c].
是未绑定的，我们可以根据自己的喜好为其赋值：
?- setof(X, member(X,[a,a,c]), Xs), X = b.
X = b,
Xs = [a, c].
但是如果我们早点实例化X，我们就会失去解决方案：
?- X = b, setof(X, member(X,[a,a,c]), Xs).
false.
我希望发生
浏览 3提问于2017-05-06得票数 6
1回答
我有一个谓词next，它实际上是从列表中删除数字，目的是缩小列表的总体大小。
例如，我有一个列表：
[3,2,1]
next将从列表中删除某些值，因此它将返回如下内容
[3,2] or [3,1] or [3] or [2,1] etc
我正在运行一个脚本来查找所有可能的动作：
findall(T, next([2,3], T), U).
问题在于一个重复值的列表，例如：
L = [1,1,1,1].
打电话
findall(T, next([1,1,1,1], T), U).
将U与[[1,1,1], [1,1,1], [1,1,1], [1,1,1]]统一起来
是否有一种方法可以让P
浏览 3提问于2016-11-28得票数 1
回答已采纳
1回答
我有一个在单个查询中生成多个列表的谓词。 在所有生成的列表中，是否可以找到大小最小的列表并存储/返回该大小的值？例如。 ?- genList(List).
List = [1,2,3,4,5] ;
List = [6,7,8,9,10,11,12,13] ;
List = [14,15,16,17,18,19] ;
List = [20,21] ;
... 这里最小的列表是2大小的[20,21]。 理想情况下，我希望有一个返回值为2的谓词。 任何帮助都是非常感谢的。提前感谢:)
浏览 13提问于2019-12-10得票数 0
1回答
Prolog数据库重复
、、、、
我是Prolog的新手。我的“数据库”由以下规则组成：
teacher(1, 'Benjamin', 'Johnson').
teacher(2, 'Mike', 'Oliver').
teacher(3, 'James', 'Johnson').
school(1, 'School1','Town1').
school(2, 'School2','Town2').
school(3, 'School3','T
浏览 0提问于2017-05-24得票数 0
我正在学习prolog，目前正专注于这个练习。我正在尝试获取安大略省团队的列表，这些团队输出：
从下面的数据库中。
city(ottawa,ontario).
city(guelph,ontario).
city(kingston,ontario).
city(gatineau,quebec).
city(montreal,quebec).
team(ravens,ottawa).
team(ggs,ottawa).
team(gryphons,guelph).
team(queens,kingston).
team(torrents,gatineau).
team(stingers,mon
浏览 0提问于2019-03-22得票数 0
我有一些事实，比如：
motherboard('name', price, 'price range', score).
我需要拿最好的主板按分数，所以我想我应该使用findall，但我不知道如何按分数排序(desc顺序)，并采取第一个！你能帮帮我吗？
编辑-@ EDIT 27815解决方案：
motherboard('Gigabyte B360M Aourus Gaming 3', 86, 'low_range', 3).
motherboard('MSI B350M Mortar', 93, 'low_
浏览 0提问于2018-06-10得票数 0
回答已采纳
我有一个问题，我有一个查询，它有一个多个表，我想创建一个函数，将这个查询作为一个表返回给我。
SELECT mat.codigo as codmatr, mat.codigoalumno as codal, mat.codigoempresa as codemp ,mat.codigopresentacion as codpre,
mat.codigosecretaria as codsec, mat.fecha as fechamat, mat.estado as estadomat,
mat.vigencia as vigmat, p.apellidos as apeAl,
浏览 1提问于2013-04-01得票数 0
我在postgres中有两种形式的相同函数(见下文)，它们都返回相同类型的“表”结果集。定义结果集的方式并不简单(不要重复)，有没有办法只声明一次结果集？
CREATE OR REPLACE FUNCTION validation_report(_accession text)
RETURNS TABLE (
accession VARCHAR,
peptide VARCHAR,
modified_sequence VARCHAR,
var_mod text,
spectrum_title VARCHAR,
confi
浏览 4提问于2016-02-02得票数 0
1回答
我想使用带有两个字段的OR查询CloudKit。但我想不出该怎么做。我所做的是：
NSPredicate *predicate1 = [NSPredicate predicateWithFormat:@"(creatorUserRecordID == %@)", userId];
NSPredicate *predicate2 = [NSPredicate predicateWithFormat:@"(toUser == %@)", userId];
NSCompoundPredicate *compPredicate = [NSCompoundPredicat
浏览 1提问于2015-06-20得票数 6
回答已采纳
1回答
函数是否可以返回一条记录，但如果有空结果集，则返回零条记录。例如：
如果我有一个没有数据的空表.
CREATE TABLE Foo
(
FooID SERIAL CONSTRAINT PK_Foo PRIMARY KEY,
FooValue INTEGER NOT NULL
);
..。还有一个功能..。
CREATE OR REPLACE FUNCTION GET_OneFoo()
RETURNS Foo
AS $$
SELECT
FooID,
FooValue
FROM
Foo
LIMIT 1
$$ L
浏览 2提问于2013-07-23得票数 3
回答已采纳
我有三个事实：male，female和child。
例如：
/* tg and yem are mother and father. rika,kiku and susu are children*/
female(rika).
female(tg).
male(kiku).
male(susu).
male(yem).
child(rika,tg).
child(kiku,tg).
child(susu,tg).
child(rika,yem).
child(kiku,yem).
child(susu,yem).
现在我需要一个查询来提取姐妹关系，比如
sister(Sist
浏览 0提问于2016-09-04得票数 1
我有一个在所有iterations上返回数字的方法，但是现在我只需要返回所有已完成的iterations的最大值。
find_max(X, Y):-
find_number(X, Y).
因此，find_number()只返回一个数字和它旁边的一些文本。因此，例如，如果我运行它，我将得到以下输出：
X = 1, Y = me;
X = 5, Y = you;
X = 6, Y = he;
唯一需要返回的输出是X = 6, Y = he;。
我正在使用SWI-Prolog。
浏览 0提问于2018-11-05得票数 1
回答已采纳
我可以检查X是否是Y的祖先，并且可以计算出X有多少后代，我不知道如何列出所有有给定数量的后代的人。当我把它放在规则中时，计数不起作用。
parent(a,b).
parent(a,d).
parent(b,c).
parent(c,e).
ancestor(X, Y) :- parent(X, Y).
ancestor(X, Y) :- parent(X, Z), ancestor(Z, Y).
?- aggregate_all(count, ancestor(a,_), COUNT). % output: COUNT = 4
?- aggregate_all(count, ancesto
浏览 4提问于2021-06-08得票数 1
回答已采纳
我在使用setof/3时遇到了问题，缺少一些结果。
背景：
我使用SWI load_xml()加载一个xml-文件，以获得一个递归列表元素(参见示例中的test元素)。然后，我想在这个列表中(在xml树中)查找特定的元素。
使用findall/3和sort/2相结合，可以很好地工作。但是如果我使用setof/3，我就错过了一个结果。我认为setof/3由于在askElement/3中递归调用获取/保留元素而有问题吗？有谁知道有其他解决方案可以将元素从递归列表中提取出来吗？
我的测试代码：
testElement([element('recipeml',[version=0.5]
浏览 2提问于2014-08-08得票数 1
回答已采纳
内置谓词setof/3可用于创建无重复的有序列表。
我还可以用它来测试一个列表是否代表一个没有重复的集合吗？是像这样吗？
no_duplicates(L) :- setof(_,_,L).
浏览 2提问于2012-01-26得票数 0
回答已采纳
假设我有以下几点：
parent(alice, charlie).
parent(bob, charlie).
parent(bob, diane).
parent(alice, diane).
parent(bob, eve).
parent(alice, eve).
% people are siblings of each other if they share a parent
% and aren't the same person.
sibling(A, B) :-
parent(X, A),
parent(X, B),
B \= A.
现在，如果我
浏览 2提问于2013-11-23得票数 5
回答已采纳
如何通过特定的条件获得值，接下来，通过这些选定的元素，可以从其他事实中获得值--意料之中？
我有这个密码
%code, date, amount
values1('AAA', date(02, 03, 2020), 1000).
values1('AAA', date(31, 03, 2020), 2000).
values1('BBB', date(02, 04, 2020), 1350).
values1('BBB', date(15, 04, 2020), 1500).
values1('CCC', date
浏览 2提问于2020-11-05得票数 2
回答已采纳
2回答
Prolog中的图表示
、、、、
考虑下面的图表
下面的Prolog术语描述了这个问题：
graph([connected(a,[b,c]), connected(b,[a,c]), connected(c,[a,b,d]), connected(d,[c]) ]).
我想要定义一个谓词，它将上面的连接转换成对应对的列表。换句话说，为上述术语图生成[[a,b],[a,c],[b,c],[c,d]]的谓词。
你能告诉我怎么做吗？
到目前为止，我的尝试如下：
映射2-对的邻接顶点：
map2ne(adjacent(H,[K|T]),Pair) :-
append([H],[K],L),
append([H
浏览 1提问于2021-12-03得票数 1
回答已采纳
1回答
我有一个谓词，它的目的是打印出哪个国家的面积最大(边界最大的国家=最大的区域)。我的谓词是这样的：
/* If I write get_country(X, 'Europe'). then all the countries in Europe
that isn't bordering a sea gets printed out.
However as you can see I am creating a list
with all of the countries and then I want to
take the largest country fro
浏览 5提问于2015-03-03得票数 1
回答已采纳
提供了以下事实：
route(TubeLine, ListOfStations).
route(green, [a,b,c,d,e,f]).
route(blue, [g,b,c,h,i,j]).
...
我必须找到没有任何共同站的所有对管线，产生下列情况：
| ?- disjointed_lines(Ls).
Ls = [(yellow,blue),(yellow,green),(yellow,red),(yellow,silver)] ? ;
no
我想出了以下答案，但它不仅给出了不正确的答案，而且也不适用我的X^条件--即它仍然分别打印每个站点成员的结果：
disjointed_lin
浏览 8提问于2017-01-08得票数 1
回答已采纳
1回答
因此，我试图通过在split中直接使用排序库谓词来摆脱wrapper子句。split所做的就是从一个列表中生成一个数字列表，如下所示: 1:2,3:2,4:6 - split --> 1,2,3,2,4,6。但是生成的列表包含重复项，我不希望这样，所以我使用包装器组合split和sort，然后生成所需的结果: 1,2,3,4,6。
我真的很想摆脱包装器，只在split中使用sort，但是我一直收到"ERROR: sort/2:参数没有充分实例化“的消息。有什么想法吗？谢谢:)
split([],[]).
split([H1:H2|T],[H1,H2|NT]) :-
spl
浏览 0提问于2012-11-16得票数 1
回答已采纳
与使用带有两个子谓词的NSPredicate相比，使用具有类似"Condition1和condition2“的值的单个NSPredicate的优缺点是什么？
即使我动态地构建它，第一种选择似乎对代码更紧凑。
浏览 4提问于2011-10-21得票数 6
回答已采纳
1回答
我输入了我的事实： likesdrinking(tom).
likesdrinking(sally).
likesdrinking(holly).
likespainting(tom).
likespainting(sally).
likespainting(chad).
likespainting(margo).
likesskating(tom).
likesskating(holly).
likesskating(margo).
likesskating(matt).
likesskating(cass). 如果我想找到那些喜欢喝酒、绘画或滑冰的人，我会使用findall方法，即：
浏览 23提问于2021-02-07得票数 3
回答已采纳
这是一个技术性的问题，我想，我正在编写一个程序，可以找到整数1,2，…，N的所有大小为K的子集。
在中，我询问了我正在使用的子集函数。固定版本是：
subs(0,[],X).
subs(N,[A|R1],[A|R2]):-
N>0,
N1 is N-1,
subs(N1,R1,R2).
subs(N,[A|R1],[B|R2]):-
N>0,
subs(N,[A|R1],R2).
后来，我编写了两个函数来帮助我找到一个集合中的最后一个元素和除了最后一个元素之外的所有元素的子集(因为[A|Rest]意味着A是第一个，Rest是从数字2到最后一个，但是我希
浏览 0提问于2015-03-17得票数 1
回答已采纳
我试图用NSPredicate编写一个过滤器，它声明：
如果field_Uid包含47，和field_Target包含202...display，则这些项目
这部分效果很好。然而，我也想显示相反的项目，例如：
如果47...display fieldUid包含202和fieldTarget包含，则这些项目也包括
现在，我有以下代码：
NSString *targetedUser = @"47";
NSString *myID = @"202";
NSPredicate *p1 = [NSPredicate predicateWi
浏览 0提问于2017-09-14得票数 0
3回答
我想从plpgsql函数返回表。
这是我的密码。
CREATE FUNCTION test() RETURNS my_table AS
$BODY$DECLARE
q4 my_table;
BEGIN
q4 := SELECT * FROM my_table;
RETURN q4;
END;$BODY$
LANGUAGE sql;
我收到以下错误：
Error: ERROR: syntax error at or near "SELECT"
LINE 5: q4 := S
浏览 11提问于2015-09-28得票数 7
回答已采纳
我想知道这些术语之间的区别：
事实
函子
谓语
规则
在普罗洛。
如果我写：brother(john, jack).
这是事实吗？还是谓词？
浏览 0提问于2018-11-12得票数 5
回答已采纳
我有一个数据库，其中包含以下术语：
movie(american_beauty, 1999).
director(american_beauty, sam_mendes).
actor(american_beauty, kevin_spacey, lester_burnham).
actress(american_beauty, annette_bening, carolyn_burnham).
actress(american_beauty, thora_birch, jane_burnham).
movie(anna, 1987).
director(anna, yurek_bogayev
浏览 5提问于2020-10-18得票数 0
回答已采纳
1回答
我用谷歌搜索了一下，但是找不到答案，所以给你：
我在prolog中有这个函数：
ing(Lis) :- findall(I,( recipe2(_,ingredients(I,_)) ),Lis).
这个函数搜索并返回一个列表，如下所示：
L = [['wheat flour', egg, salt], ['wheat flour', cheese, olives, tomato, salt, basil], ['wheat flour', potatoes, salt], [milk, egg, sugar]].
我想将列表统一到一个列表中，这
浏览 0提问于2016-10-28得票数 1
这个问题是基于我之前的一个问题。所以你可以看到，我现在能够得到我在问题中输入的每一个键的分数，但现在我需要找到最大的分数，并将它与所有文档的其他分数相加。例如，如果我进行查询，我希望将分数添加到列表中。例如，它可能看起来像这个scores[1,2,3,2,1]，然后我想从这个列表中提取最大值，即3，然后将它添加到列表之和，即1+2+3+2+1 = 9。
我不能让它起作用。据我所知，附加只适用于列表。可以将Acc添加到
score([Tag|Tags], Acc, Count, document(Title,_)) :-
( sub_string(case_insensitive,
浏览 1提问于2014-05-09得票数 1
回答已采纳
我是一个prolog初学者，有以下代码，吐出所有可能的路径从一个给定的节点到另一个。每一条边在本质上都是双向的，这一点值得注意。 nodeLink(1,2,4).
nodeLink(1,3,10).
nodeLink(1,5,2).
nodeLink(2,1,4).
nodeLink(2,5,1).
nodeLink(2,4,6).
nodeLink(2,6,1).
nodeLink(3,1,10).
nodeLink(3,5,2).
nodeLink(3,4,1).
nodeLink(4,3,1).
nodeLink(4,5,8).
nodeLink(4,2,6).
nodeLin
浏览 51提问于2020-01-09得票数 0
回答已采纳
1回答
我试图理解存在主义量化的用法。到目前为止，我所知道的是这种技术被用于setof，findall，bagof。此外，我还找到了一个。但是，我不确定何时以及如何在Prolog中执行Vars^Goal (存在量化)。
举个例子，我的目标是找到两个彼此认识但在不同公司工作的员工，并将结果与L显示的Name1-Name2绑定在一起。
company('Babbling Books', 500, 10000000).
company('Crafty Crafts', 5, 250000).
company('Hatties Hats', 25, 10000)
浏览 5提问于2021-06-10得票数 2
回答已采纳
1回答
我正在尝试用prolog编写一条规则，它要求我递归地构建一个列表。我能够建立这个列表，但问题是我不知道如何停止这个建立列表的过程。因此，我需要编写一条规则，停止进一步构建该列表。
这就是我的规则：
%a few rules that are supplementing the rule popular:
member(H,[H|T]).
member(X,[H|T]) :- member(X,T).
notmember(H,A) :- member(H,A), !, fail.
notmember(H,A).
size([],0).
size([H|T],N) :- size(T,N1)
浏览 2提问于2015-04-11得票数 1
当我从iPhone应用程序中的核心数据数据库中获取数据时，我面临着一个问题。
我正在使用这个代码(第1行)，它工作得很好，这里我从一个日期获取数据：
注意：数据类型date是NSDate，selectedDate也是NSDate类型。
Line1:
[NSPredicate predicateWithFormat:@"date == %@",selectedDate];
当我获取系统的数据时，这个代码(第2行)也运行得很好：
2线：
[NSPredicate predicateWithFormat:[NSString stringWithFormat:@"systemN
浏览 6提问于2015-01-15得票数 1
回答已采纳
此代码按预期工作：
?- bagof(R,member(r(R),[r(a),r(b),r(c),r(d)]),Rs).
Rs = [a, b, c, d].
但是一个类似的电话，我真的想要的，并不是：
?- bagof(R,member(r(_,R),[r(_,a), r(_,b), r(_,c), r(_,d)]),Rs).
Rs = [a]
;给了我更多的答案--但我想要[a,b,c,d]。我的解决办法是什么？
浏览 3提问于2016-07-17得票数 4
回答已采纳
鉴于以下事实：
female(alice).
male(bob).
male(charlie).
lives(alice,oxford).
lives(bob,oxford).
lives(charlie,cambridge).
我想要生成这个集：
[alice,bob,charlie,oxford,cambridge].
对于单个谓词，我知道如何做到这一点：
?- setof(X, male(X), S).
S = [bob, charlie].
但我不知道如何概括这一点。其目的是使用谓词列表查询程序：
f([male/1,female/1,lives/2]).
我试图概括上述“一站式”声明
浏览 4提问于2014-03-03得票数 2
回答已采纳
2回答
对于Prolog来说是新的，它尝试编写一个谓词，给出元素在任何位置都可以插入到列表中的所有选项。例如：
ins(a, [b,c], R).应提供：
R = [a,b,c]
R = [b,a,c]
R = [b,c,a]
这样做了，但随后给出了一个“退出全局堆栈”错误。是否有一种方法可以使这更具有确定性，给出结果并被完成？当它反向运行时.ins(X，Y，a，b，c)它给出了预期的结果，然后说是假的，表示它已经完成。代码：
app([],L,L).
app([H|T],L2,[H|L]) :-
app(T,L2,L).
ins(E, List, R) :-
R = R1,
浏览 4提问于2017-11-19得票数 4
回答已采纳
数据：
%flight(FID, Start, Destination, Company, Seats).
%-------------------------------------------------
flight(1, 'China', 'Germany', 'Lufthansa', 210).
flight(2, 'Germany', 'Dubai', 'Lufthansa', 400).
flight(3, 'China', 'Germany',
浏览 2提问于2016-05-12得票数 0
回答已采纳
我是Prolog和以下程序的新手：
place(Store,2,a).
place(Store,1,b).
place(Store,3,d).
place(Store,4,c).
placeSort(S,List):- findall(L,place(S,N,L),List).
输出：List = [a, b, d, c].
通过使用placeSort(S，List)，我可以找到包含S (Store)的所有元素(a，b，c，d)。
然而，我想在这里实现的是使用N对a，b，c，d的位置进行排序，但是我不知道如何做到这一点，因为使用排序只会按字母顺序进行排序
placeSort(S,NewList
浏览 3提问于2018-11-30得票数 0
1回答
这可能与有关。
使用，我得到了几个类似的警告：
The plain meta argument (Y) is passed as a closure argument
(with 0 suppressed arguments) to the callee.
下面是一个代码示例：
% Prologs set_of is baroque %% RS-140614 130sec runtime vs. 28sec runtime
:- meta_predicate set_of(+,:,+) .
set_of(X,Y,Z):- %%
setof(X,Y^Y,Z),!;
浏览 3提问于2014-06-15得票数 2
回答已采纳
我有一个具体的问题，但我会试着提出一个一般性的问题，以便其他人也能从中受益……
我有一个谓词，它返回许多解决方案，例如
X=5; X=2; X=7
我想要一个谓词，它可以得到每一个解决方案，并将它们断言为Prolog事实，因此在本例中我最终得到了三个事实。
fact(5) fact(2) fact(7)
所以调用fact(5)是正确的，但是调用fact(8)是错误的，因为我们从来没有断言过它，因为它不是一个解决方案。
但我不希望有一个断言，你必须不断要求解决方案来断言每个事实。我想调用一个谓词，让它在后台遍历所有的解决方案，并断言它们，仅此而已。
解决这个问题的一种方法是使用findall将所
浏览 0提问于2010-11-28得票数 3
回答已采纳
1回答
iOS复合谓词
、、
我正在编写一个有照片数据库的应用程序。每一张照片都有几个与其相关的标签，应用程序有一个带有大量切换的搜索页面，允许用户根据他们感兴趣的标签搜索照片。每个标签都存储了整数 ID，因为它们对应于外部数据库的ID，所以我试图通过ID查找它们。所有的ID字段都是索引的。
当我正在编写的谓词变得相当大时，问题就出现了，因为用户可以从许多不同的标记中选择来筛选。这些标签分为3类出版物、品牌和产品，因此我的查询被设置为“或”在一个类别中，和“跨这些类别”。
示例查询谓词最后看起来如下所示：
(parentPublication.publicationId==1 OR parentPublication.pu
浏览 2提问于2013-08-09得票数 9
回答已采纳
我正在用代码创建一个NSPredicateEditor，并试图实现我所希望的相当简单的任务。基本上，我想要显示一个复合NSPredicateEditorRowTemplate (当“所有/任何/没有下列条件为真”时，允许用户选择执行匹配)和它下面的一些相当基本的子行。为此，我构造了NSPredicateEditor并绑定了它的值，以便在用户编辑谓词时保存更改。
我遇到的问题是，无论如何，我都不能默认地将复合NSPredicateEditorRowTemplate显示为只有一个子行的父行。当我最初创建谓词时，我传递了一个虚假的空谓词，如下所示：
filename BEGINSWITH[cd] &
浏览 3提问于2011-05-12得票数 5
回答已采纳
为了使我的代码对核心数据更可重用，我有一个带有谓词的fetchRequest，我总是必须使用这些谓词。然而，有些方法需要更多的条件。我想将这些条件添加到谓词列表中，但是我不确定如何做到这一点。我想要一个方法来返回一个带有基本查询的谓词，然后添加到这些查询中。
let fetchRequest = NSFetchRequest(entityName: "Stop")
var currentTime = NSDate.getTime()
var sort = NSSortDescriptor(key: "time", ascen
浏览 4提问于2015-05-10得票数 2
回答已采纳
我对Prolog很陌生。这些是我的事实。
Part_cost(零件，供应商)
part_cost(top_tube ,cinelli).
part_cost(top_tube ,columbus).
part_cost(down_tube ,columbus).
part_cost(head_tube ,cinelli).
part_cost(head_tube ,columbus).
part_cost(seat_mast ,cinelli).
part_cost(seat_mast ,columbus).
我想找一个供应各种零部件的供应商，实际上是哥伦布。
我不知道如何用Prolog语言说
浏览 4提问于2014-01-20得票数 1
回答已采纳
3回答
我试着用图表中边缘的信息。我想从给出的图中的边创建一个节点列表。例如：
? - graph([edge(1,2),edge(2,3),edge(3,4)],List).
List = [1,2,3,4]
下面是一个基本案例：
graph([edge(X,Y)],[X,Y]).
没有知识库，我不知道该怎么做。为什么这不能独立运作呢？或者类似的东西？
graph([edge(X,Y)], List) :- append(X,Y,List).
我对Prolog非常陌生，非常感谢您的帮助。
浏览 6提问于2014-05-08得票数 0
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
实时音视频
云直播活动推荐
腾讯云开发者
