Prolog -我能找到所有可以使谓词为真的情况吗？
Prolog是一种逻辑编程语言，它基于一阶逻辑和形式化推理。在Prolog中，程序由一系列谓词和规则组成，通过查询这些谓词的真值来解决问题。
Prolog的特点是可以通过回溯和非确定性搜索来找到所有可以使谓词为真的情况。当我们查询一个谓词时，Prolog会尝试匹配规则中的谓词，并根据规则的定义递归地搜索满足条件的解。如果存在多个解，Prolog会通过回溯的方式找到所有的解。
Prolog的应用场景包括自然语言处理、人工智能、专家系统、知识图谱等。在这些领域中，Prolog可以用于推理、搜索和解决复杂的逻辑问题。
腾讯云提供了云服务器CVM、云数据库MySQL、云函数SCF等产品，可以用于支持Prolog的开发和部署。您可以通过以下链接了解更多关于腾讯云相关产品的信息：
- 云服务器CVM：提供高性能、可扩展的云服务器实例，适用于各种规模的应用和工作负载。
- 云数据库MySQL：提供稳定可靠的云数据库服务，支持高可用、高性能的MySQL数据库。
- 云函数SCF：无服务器计算服务，可以根据事件触发自动运行代码，适用于处理实时数据和事件驱动的应用。
以上是关于Prolog的概念、分类、优势、应用场景以及腾讯云相关产品的介绍。希望对您有所帮助！
相关·内容
1回答
我是Prolog的新手，对此我有些怀疑。
我需要写一个函数form_equiv(A，B)，它告诉我们如果B等价于A，其中A和B应该是命题。
我知道两个命题是等价的
重言式(A当且仅当B) =真
但是，当公式是重言式时，我怎样才能建立一个函数来检查它。
顺便说一句，我不能使用内置的函数和，或和不。
到目前为止，这就是我所拥有的：
and(P,Q) :- P, Q, !.
or(P,Q) :- (P; Q), !.
impl(P,Q) :- or(not(P),Q).
syss(P,Q) :- and(impl(P,Q),impl(Q,P)).
t.
f :- fail.
t(_).
f(_)
浏览 2提问于2022-01-25得票数 2
回答已采纳
我正在学习prolog，想知道是否有人给我关于如何做这个问题的指导，这是这个领域中的第一个，知道如何做这个问题真的会帮助我进步。提前谢谢你。
使用Prolog定义一个谓词mapof(K，M，V)，这样，当使用K实例化到一个键，而M实例化到一个映射来调用时，mapof会将变量V实例化为与映射M中的K相关联的值(或其中一个值)。如果K在映射M中不作为键出现，则谓词应该失败。
浏览 2提问于2015-03-27得票数 5
1回答
关于Prolog的一个小问题。假设我使用了内置谓词findall/3来获取列表，并使用变量X作为输出。
我想知道如何在另一个谓词(如last/2 )中使用这个列表来找到这个列表的最后一个元素。如果你也能包括一个小的例子，那会有很大帮助。
浏览 1提问于2016-02-28得票数 0
回答已采纳
1回答
我在用prolog实现代码时遇到了一些问题，因为我觉得很难理解它，因为我习惯于正常编码：
我必须对整数列表进行排序，但它必须保留重复的值。我试着想出一个解决方案，我会用气泡排序，但我不知道如何用prolog来写它。如果有人能一步一步地解释代码并启发我，我真的很感激.
是的，我的另一个问题是排序一个由整数和数字列表组成的列表.我不知道怎么开始这个..。例如：[1、2、4、1、4、3、6、7、10、1、3、9、5、1、1、1、1、7]需要输出[1、2、1、4、4、3、6、1、3、7、9、10、5、1、1、1、1、7]。
我试着写了一些代码但是它根本不起作用，我放弃了.我从网上抄袭了第一个问题，但这
浏览 5提问于2022-03-30得票数 0
回答已采纳
1回答
我应该用SWI Prolog写一个规则，它接受一个字符列表作为输入，然后用一个概率为0.01的随机字符替换每个字母。
示例：
?- mutate([a,b,c,d,e,f,g],MutatedList).
MutatedList = [a,b,c,a,e,f,g].
有人能告诉我这是如何实现的吗？到目前为止，我完全不知道这是如何在Prolog中实现的。
感谢任何能提供帮助的人！^^
浏览 0提问于2020-05-15得票数 0
1回答
Existence error in user:nth1/3
! procedure user:nth1/3 does not exist
我已经包含了列表的模块：:- use_module(库(列表))。但是仍然得到这个错误..
有人能帮帮忙吗？
浏览 0提问于2010-11-18得票数 0
回答已采纳
1回答
我正在用真值表和prolog程序在形式逻辑中进行分解证明，我的实验结果是不同的，我想知道为什么。
简单地说，问题是: 1.如果有人看着斗士的眼睛，他会生气的。2.如果拳击手生气了，他就会出拳。
如果拳击手拳打脚踢，有没有人看着拳击手的眼睛？
“拳击”是结论，我们知道当结论为真时，前提可能是假的，也可能是真的，因此我们无法回答这个问题。
但是，以下SWI prolog程序返回true：
eyes:-angry.
angry:-punch.
punch.
?-eyes.
True
也是
aggregate_all(count, (eyes), Count)
1
有人能解释一下吗？
浏览 0提问于2015-07-25得票数 2
1回答
prolog正确使用post参数
、、、、
我想要创建一个动态的问题网站，一些滚动，检查，和任何框。在用户发送表单后，我想使用这些信息，动态地创建一个答案。我试了很多次，但没能正常工作。希望你能帮上忙。
get_event( 'Event_1', 1 ).
get_event( 'Event_2', 5).
get_component( 'Type_1', 'Component_1' ).
get_component( 'Type_2', 'Component_2' ).
get_incident( 'Incident_1'
浏览 4提问于2014-07-13得票数 0
回答已采纳
2回答
我正在为即将到来的prolog考试复习一些过去的试题。
以下是一个问题：
(a)编写一个谓词insert(Xs, Y, Zs)，当Zs是通过将Y插入到list Xs中获得的列表时，该谓词Xs仍然有效。查询，如：
？-插入(1、2、3、4、Z)。
应该成功四次，并给出以下答案：
Zs = [4, 1, 2, 3]
Zs = [1, 4, 2, 3]
Zs = [1, 2, 4, 3]
Zs = [1, 2, 3, 4].
我有点担心，因为我不知道从哪里开始。是否有人能帮助我，因为我需要的例子解决方案，为我的考试练习。
会很感激你在这方面的帮助。
浏览 0提问于2016-04-14得票数 0
回答已采纳
3回答
所以我有几次返回true的谓词。
% true returns several times and i need to press ';'
?- get_all_transformed_moves.
true ;
true ;
true.
swi prolog有没有一些方法可以帮助我在不键入‘；’的情况下运行这个谓词？
% Wished version
?- get_all_transformed_moves.
true.
浏览 0提问于2011-09-19得票数 0
回答已采纳
1回答
我首先要说的是，我对Prolog非常陌生，我仍然很难想出一个解决方案，而不是以过程性或函数性的方式来思考它。
问题的上下文如下:我必须从初始位置(0,0)开始向四个方向移动。当我向上移动时，我将位置更新为(0,1)，向下更新为(0，-1)，向左更新为(-1,0)，向右更新为(1，0)。在某种程度上，我必须回到我最初的位置。
我已经解决了这个问题，通过记住我做到某一点的所有动作，然后做相反的动作。所以如果我做的动作是向下的，向左走，我就往上走，向西走。这个解决方案是可行的，但是效率非常低，而且很愚蠢。
所以我想做的事情是做一个过程，它采用当前位置(X，Y)，如果通过更新位置我更接近(0,0)，则
浏览 0提问于2014-05-17得票数 0
2回答
我对Prolog非常陌生，但我试图让这个程序给我第一组孪生素数，要么出现在N.
twins(M) :-
M2 is M + 2,
twin_prime(M, M2),
write(M),
write(' '),
write(M2).
M3 is M + 1,
twins(M3).
然而，我不完全确定如何让它循环并重复，直到它是真的。我尝试过使用repeat/0谓词，但我只是陷入了一个无限循环中。有人有什么我可以
浏览 1提问于2014-05-02得票数 1
回答已采纳
如果我有两条这样的规则：
hasproperty(X, wet) :- hasproperty(X, was_in_rain).
hasproperty(X, wet) :- hasproperty(X, washed).
我怎么能问--X可能有哪些属性，这样它就是湿的。在这个例子中，我想要得到的是: was_in_rain和washed。
9月12日澄清:我对寻找所有具有湿性质的X不感兴趣。假设没有进一步定义规则或事实。我感兴趣的是:在hasproperty(X，Y)中给出可能的Y，通过prolog规则，你可以推断出hasproperty(X，wet)。给定示例中的结果将是Y=was_in_
浏览 13提问于2018-09-08得票数 1
4回答
我使用Prolog获得了两个表达式来列出所有位的列表：
bit(0).
bit(1).
bitlist1([]).
bitlist1([B|Bs]) :-
bit(B),
bitlist1(Bs).
bitlist2([]).
bitlist2([B|Bs]) :-
bitlist2(Bs),
bit(B).
我不太清楚它们在逻辑上是否等价，甚至它们是否真的列出了所有的位表。
当我使用SWI-Prolog时，我得到了以下输出：
?- bitlist1(Bs).
Bs = [] ;
Bs = [0] ;
Bs = [0, 0] ;
Bs = [0, 0, 0]
浏览 1提问于2013-05-23得票数 3
回答已采纳
2回答
需要帮助创建递归子句是一条规则:只有当存在Y时，当将Y添加到Y时，结果是X，而Y是prolog中的2的幂，则X是2的幂
我们将递归地定义这个谓词。以下是判断数字是否等于2的事实和规则：
·基本子句是事实:1是2的幂(因为1=20)；
·递归子句是这样一条规则:x是2的幂，只有当Y加到Y时，结果是X，Y是2的幂。
例如，以下说明了如何执行查询：
(powerOf2(succ(0)是真的？
是
?- powerOf2(succ(0)不是
第一个查询显示4是2的幂；第二个查询显示3不是。
不能使用内置is/2谓词执行算术。
浏览 5提问于2022-04-20得票数 0
我是prolog的新手，我必须编写一个否定命题表达式的程序。
例如:p意味着(q和not( r) )应该是p和(not(q)或r)。
如果有人能帮我，那就太好了。
浏览 1提问于2016-11-12得票数 0
2回答
我在Prolog中做了一个函数：
mean(L, M) :-
sum(L, S),
length(L, N),
M is S/N.
sum([],0).
sum([H|T],Y):-
sum(T,X),
Y is X + H.
variance([],0).
variance([H|T], M, VO):-
variance(T,M,Y),
VO is( Y + ((H-M)*(H-M))).
statsList(L, M, V1) :-
sum(L, S),
length(L, N),
M is S/N,
浏览 2提问于2011-03-02得票数 2
回答已采纳
Prolog和一阶逻辑的主要区别之一是对谓词中右部分的优先顺序有严格的规定。我想知道是否有任何方法可以在不放弃正常回溯行为的情况下随机化这个优先级。特别是，我正在使用SWI-Prolog，所以它也是一个很好的解决方案，只适用于那个解释器。
浏览 1提问于2017-08-15得票数 2
我是Prolog的初学者，真的需要用Prolog最简单的语法来解决这个问题。
我在Prolog中有类似的两个表，其中有不同的产品信息，如下所示：
product(id,company,value).
prod(prodid,date,color).
知识库是这样的：
表1：
product(aa11zx, alfa, 1230).
product(bb22yz, beta, 5890).
product(cc11zx, alfa, 600).
product(dd22kx, beta, 730).
product(aa22vx, delta, 800).
表2：
prod(aa11, 1-2-
浏览 3提问于2015-09-14得票数 0
回答已采纳
1回答
嗨，有人可以分解这个递归代码，这样我就可以完全理解它给出的输出。我真的很困惑它是如何工作的：
listcomb([],[]).
listcomb([X|Y], [X|Z]) :-
listcomb(Y,Z).
listcomb([_|Y],Z) :-
listcomb(Y,Z).
?- listcomb([1,2,3], X).
X = [1, 2, 3] ;
X = [1, 2] ;
X = [1, 3] ;
X = [1] ;
X = [2, 3] ;
X = [2] ;
浏览 3提问于2014-04-05得票数 1
1回答
你能帮我写咖啡菜单吗？
这是我尝试过的。
go :- hypothesize(Coffee),
write('Your order is : '),
write(Coffee),
write('and the price for your order = : ')
nl,
undo.
/* hypotheses to be tested */
hypothesize(moca) :- moca, !.
hypothesize(hotChocolate) :- hotChocolate, !.
hypot
浏览 2提问于2018-11-19得票数 1
如何在Prolog中实现这些简单语句？
A(泛型)数字是偶数XOR，a(泛型)数字是奇数。
X不是偶数。
那么，如果我查询"x是奇怪的“，我应该是真的。
请补充一些解释，因为我发现Prolog令人惊讶的困难。
注：我正在使用
编辑：--我尝试了以下操作，但是它带来了一些错误：
number(x). /*x is a number*/
odd(K) :- number(K) ; not(even(K)). /*if a number is not even => is odd*/
even(K) :- number(
浏览 1提问于2020-08-05得票数 1
我正在尝试将一个数学函数转换成prolog，但是我总是出错。有人能告诉我我的错误在哪里吗？
我想转换f (x) =xˆ2+f(x-1)。因此，我假设这是一个递归过程。以下是我迄今所做的工作。
function(0,0) :- !.
function(1,1) :- !.
function(X,Y) :-
X1 is ((X * X) + (X - 1)),
function(X1, Y).
我也试过
function(0,0) :- !.
function(1,1) :- !.
function(X,Y) :-
X1 is (X * X), X2 is (X - 1),
浏览 1提问于2015-07-16得票数 3
回答已采纳
很抱歉标题很生硬，但我不能真正概括这个问题。希望有Prolog经验的人能帮到我。所以我有一个数据库，它基本上列出了大学及其排名，即:牛津(1)，沃里克(2)等。这个问题要求我编写一个规则，返回具有相同排名的所有大学的名称。提前谢谢。
浏览 0提问于2011-01-06得票数 1
2回答
我当时正在读，我对他们使用逻辑感到困惑，我希望有人能澄清规则中论点的模糊性。
例如，在上，它们引用以下规则：
loves(vincent,mia).
然后，他们提供了一个查询：
loves(marsellus,X), woman(X).
然后用英文声明：
“现在，请记住,的意思是" and "，所以这个问题是这样的：Marsellus喜欢X，而X是女人吗?”
关键是，Marsellus loves X。
这句话的措辞让我觉得有一些“逻辑”与论点的排列有关，比如，
loves(vincent,mia).“Logical”的意思是：
文森特爱米娅？
但是是假的吗
浏览 2提问于2016-12-04得票数 0
回答已采纳
在Prolog中有可能有一个“变量性质谓词”吗？
我的意思是这样的：
my_predicate( [a,b,c], [a,c], [a], [a,b,c,d], N, RESULT)
初始列表的数量在一开始是未知的？
使用univ运算符( =..)可以将它与一个术语列表统一起来，并像其他列表一样遍历它。但是如何写出目标呢？
my_predicate(??) =.. [??]
我真的不知道这是否可能..
浏览 0提问于2011-11-29得票数 3
回答已采纳
1回答
我有一个让我发疯的问题！我想根据一些学生的id来计算他们的平均成绩。我写了下面的代码，但它在第一次计算后堆叠起来：
list_sum([], 0).
list_sum([Head | Tail], TotalSum) :-
list_sum(Tail, Sum1),TotalSum is Head + Sum1.
find_student_avg(Student,Year,Avg):-
findall(X, grades(_,student(id(Student),_,_,_,_,_),year(Year),normal(X)), L),
%% not(resit
浏览 0提问于2011-03-23得票数 1
回答已采纳
我正在尝试理解如何用Prolog编写递归函数。我带了一个下面的代码：
reduceBy1(Input,Output) :-
(Input > 0 -> Output is Input - 1).
调用reduceBy1(10，输出)。结果是9。到目前为止，一切顺利。但是如何将输出传递回reducyBy1\2？
浏览 0提问于2020-11-15得票数 0
3回答
好了我的最后一个开场白问题。这是常见的遗传学问题。
我想要获取一个事实列表，并有一个名为descendant的函数，该函数将返回一个包含所有子代的列表。例如：
给定规则：
parent('Bob', 'Tim').
parent('Joe', 'Bob').
函数调用：
descendant('Joe', X).
应返回：
X = ['Bob', 'Tim'].
我可以让它返回'Joe‘的直接后代，但不能返回整个行。这就是我所拥有的。
% Recur
浏览 0提问于2010-03-05得票数 0
1回答
我发现Prolog中的一些“函数”返回一些值，如min/2和max/2等，尽管大多数函数只返回true或false。它们的名称或分组是否与布尔类不同？此外，除了查看每个函数的文档之外，如何才能识别返回的值。我能在某个函数的某个地方找到一个返回某些值的列表吗？
浏览 1提问于2016-07-14得票数 1
回答已采纳
我要做的是创建一个Prolog实例的副本，并使用JPL ( Java-Prolog接口)加载该副本。我可以想到几种可能的方法来做到这一点，但没有一个是完全解决的，这就是我来这里的原因。
首先，我知道我可以使用qsave_program/2保存状态的副本。这会创建一个我可以运行的exe文件。但是，我需要使用JPL从Java查询这个保存的实例。我试着寻找关于这方面的文档，但是我找不到任何文档(可能不是一个常见的问题)。有没有办法运行一个用qsave_program/2保存的实例并从JPL中查询它？
第二个想法是查询所有动态断言的子句的原始实例。然而，我不知道断言是什么，所以我不能直接要求这些东西，
浏览 3提问于2016-11-29得票数 1
1回答
是否可以通过使用preicate isInData(Predicate，Atom)遍历数据库并检查是否存在任何形式的谓词( Atom)？
浏览 2提问于2015-03-01得票数 0
好的，我有这个
edu_less(hs,college).
edu_less(college,masters).
edu_less(masters,phd).
我需要编写一个函数来判断某物是否小于另一物。谓词是
edu_le.
所以如果我放入edu_le(hs,phd).，它应该返回yes。我想出了这个。
edu_le(A,B) :- A = B.
edu_le(A,B) :- edu_less(A,B).
edu_le(A,B) :- edu_less(A,C), edu_le(C,B).
我真的不希望它遍历所有的东西并返回多个答案。
如果它发现它实际上小于或等于第二个参数，是否可以只返回y
浏览 0提问于2010-10-18得票数 4
回答已采纳
我是Prolog的新手，所以如果这很简单的话，很抱歉，但它把我难倒了。假设我有： setFlag(Value, Flag) :-
Value =\= 1.
setFlag(Value, Flag) :-
Value =:= 1,
Flag is true. 现在，在得到这些结果后，我想检查Flag是否为1。我觉得最好的方法是这样做： CheckFlag(UnrelatedInput1, UnlrelatedInput2) :-
setFlag(Value, Flag),
Flag =:= true. 我面临的问题是，当我在上面说一些像Flag is
浏览 20提问于2021-05-02得票数 0
回答已采纳
我想实现一个谓词(vecLine2BitLine)，它执行以下操作:获取两个列表和一个数字，第一个列表是块的长度(块的元素是'$')，第二个列表包含这些块应该放置的索引，这意味着：
vecLine2BitLine([1,2,1],[2,5,9],12,BitLine).
BitLine=[' ','$',' ',' ','$','$',' ',' ','$',' ',' ',' '].
浏览 2提问于2013-06-06得票数 0
removeAll(X, [ X | T], [ H1 | T1 ] ):-
( member ( X , T )
-> removeAll ( X , T , [ H1 | T1 ] )
;[ H1 | T1 ] is T
).
removeAll ( X , [ H | T ] , L ):-
removeAll ( X , T , L2 ), append ( [ H ] , L2 , L ).
如果我传递"removeAll(2,[1,1,2],L)."，
它会给出错误"ERROR: is/2: Ty
浏览 0提问于2016-02-21得票数 3
3回答
用prolog进行大型程序设计
、、、、
我正在尝试保持我的Prolog代码模块化，我想知道是否有人有任何关于如何做到这一点的建议。我用简单的consults做这件事的方式，但随着我的文件数量增加并屈从于命名冲突，这变得越来越麻烦。是否有类似于“典型”导入的构造，例如
%-------------------------------------------------------------------- compiler.pl
[ scanner, parser, codegen ] .
%-------------------------------------------------------------------- c
浏览 1提问于2011-07-14得票数 17
回答已采纳
3回答
我有一个充满事实的数据库，如下所示：
overground(newcrossgate,brockley,2).
overground(brockley,honoroakpark,3).
overground(honoroakpark,foresthill,3).
overground(foresthill,sydenham,2).
overground(sydenham,pengewest,3).
overground(pengewest,anerley,2).
overground(anerley,norwoodjunction,3).
overground(norwoodjunction,
浏览 2提问于2012-01-14得票数 0
1回答
你好，我是Prolog的新手，有基本的问题。我想知道为什么这些Prolog谓词daughter_of/2和son_of/2不能像我希望的那样工作。例如，如果我问
16 ?- daughter_of(alice, X).
true.
(为什么是真的？我需要什么谓词才能得到维多利亚和阿尔伯特？)
谢谢。
male(albert).
male(edward).
female(alice).
female(victoria).
parents(edward, victoria, albert).
parents(alice, victoria, albert).
sister_of(X,Y):-
浏览 1提问于2014-04-30得票数 1
回答已采纳
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
回答已采纳
我刚刚开始Prolog，我真的想知道为什么以下几行代码，特别是'is‘部分，总是产生false：
highest(L) :-
path(_,_,Z),
Z >= L,
L is Z.
highestWrap :-
highest(0).
调用highestWrap。
提前感谢，祝你有一个美好的一天！
浏览 55提问于2019-02-22得票数 1
我正在学习prolog，我正在读一本名为《人工智能编程Prolog》的书。作为练习，我想学习如何扩展本书中的一个示例。有人能帮帮忙吗？
假设你有这些事实：
parent(pam, bob). %pam is a parent of bob
parent(george, bob). %george is a parent of bob
我该如何写一个prolog谓词来给我一个bobs父母的列表？例如：
list_parents(bob, L).
L = [pam, george] ;
L = [george, pam] ;
true.
浏览 1提问于2010-11-16得票数 10
7回答
在Prolog中，你对打高尔夫球有什么一般的建议？我正在寻找的想法，可以应用于代码高尔夫问题，在一般情况下，至少是特定于Prolog (例如，一个字母变量不是特定于Prolog，以减少程序的大小)。
请在您的技巧中说明它是否特定于Prolog的实现(例如SWI-Prolog特定的内置)
请在每个答案中只张贴一条提示，或者列出与同一主题密切相关的提示列表。
浏览 0提问于2015-12-18得票数 22
我有以下事实和规则：
flight(sea,msp).
flight(msp,jfk).
route(A,B) :- flight(A,B).
route(B,A) :- flight(A,B).
route(A,C) :- flight(A,B) , flight(B,C).
当查询route(sea,jfk)时，我得到一个结果true，但我希望得到的是解释：
通过这种方式，我不仅可以看出这是真的，而且还能看出它是真的。
浏览 3提问于2015-06-04得票数 5
回答已采纳
简而言之，这就是问题所在: 16名儿童将坐在4x4排的椅子上。这些儿童有8名女孩(编号1.8)和8名男孩(编号9.16)。1,3,5,8认为男孩是令人讨厌的9,10,11,14女孩是粗俗的--这些人是敌人：[1,2，4,6，4,7，4，9，11，12，14，14,16]
查找两个子级不是敌人的谓词定义为：
not_enemy(A, B) :-
NotA #\= A #\/ NotB #\= B,
tuples_in([[NotA, NotB]],
[[1,2], [4,6], [4,7], [4, 9],[9,11], [12, 14], [14,1
浏览 12提问于2015-07-03得票数 5
回答已采纳
我正在尝试编写一个如下所示的谓词：
predicate(List1,List2,Variable1,Variable2)
当List1在List2包含Variable2的位置上包含Variable2时，我希望是真的。示例：?- predicate([1,2,2,3,4,5], [a,a,b,c,d,e], 4, d) true.
请不要误解我的意思，我不想要完整的密码来解决问题。我只是在寻找一个人，也许会把我推向正确的方向，思考如何解决这个问题。
编辑:关于下面的答案，考虑到第一个语句，我尝试创建一个规则。但这不起作用，我犯了很多错误。
predicate([],[],Var
浏览 1提问于2014-09-23得票数 1
回答已采纳
示例：
firstlast([1,2,3,4,1]).
true;
firstlast([1,2,3,4]).
false;
firstlast([5,10,4,3]).
false;
exc...
问题是im只允许使用带有谓词"firstlast“的递归。？我真的试图打破这一点，但我似乎不能检查/比较最后一个元素和第一个元素。
有什么提示吗？
浏览 0提问于2012-10-11得票数 5
回答已采纳
所以我对prolog比较陌生，我在互联网上遇到了一些代码，这些代码可以用来表示和/或节点。
% a is an or node with successors b,c,d.
or(a,[b,c,d]).
% c is an and node with successor d,e,f.
and(c,[d,e,f]).
% d is a terminal (solvable) node.
goal(d).
对于如何使用这些谓词来查找可解节点，我感到困惑。如果能把我引向正确的方向，那就太棒了
浏览 1提问于2017-01-07得票数 1
回答已采纳
我找到了制作系谱树的代码，并设置了一些关系，如父亲、母亲、儿子等，但我想再添加一个计算某人所有后代数量的函数。
有没有人能帮我一下？
我完全不知道该怎么开始。
mother(teresa,ireneusz).
mother(teresa,beata).
sex(teresa,k).
son(X,Y) :-
sex(X,m),
father(Y,X),
X\=Y.
son(X,Y) :-
sex(X,m),
mother(Y,X),
X\=Y.
daughter(X,Y) :-
sex(X,k),
father(Y,X),
X\=Y.
da
浏览 0提问于2018-12-24得票数 0
2回答
我预先道歉，因为我怀疑这是一个基本的prolog问题。我有下面的知识库来定义一个家族树
male(james1).
male(james2).
male(charles1).
male(charles2).
male(george1).
female(catherine).
female(elizabeth).
female(sophia).
parent(charles1, james1).
parent(elizabeth, james1).
parent(charles2, charles1).
parent(catherine, charles1).
parent(james2,
浏览 1提问于2021-09-27得票数 0
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
实时音视频
对象存储
即时通信 IM活动推荐
腾讯云开发者
