Prolog是最常用的逻辑编程语言。它通过按时间顺序回溯和通过统一的模式匹配来支持非确定性编程。
E], X, N) :- N is (X**E)*C. eval_poly([],[]) :- !. eval_poly([[H
下面是我想做的 %polynomials eval_term([C2运算符在右边的操作数中引入了一个子语言（算术表达式评价），而
我有一个叫做stop_when_equal的谓词，它的工作原理是这样的：stop_when_equal(L1, L2):- Pred1(L1, L2),L1==L2, !; Pred1(L1, L2),stop_when_equal(L2,_)。基本上它一直把Pred1应用于......。
我有一个函数，可以生成这样的子列表，?- f([1,2,3,#,5,6,7,8,#,10,11,12],L)。L = [1,2,3]; L=[5,6,7,8]; L=[10,11,12]; false。当我用变量而不是常量来调用它时，它们......。
我有以下代码： move(state(on(X, NewX), OldY, Z), state(NewX, on(X, OldY), Z)). move(state(on(X, NewX), Y, OldZ), state(NewX, Y, on(X, OldZ))). move(state(OldX, on(Y, NewY), Z), state(on(......)
所以我有一个谓词 letras_comuns(Lst_Pals, Letras_comuns)，其中 Lst_Pals 是一个类似 [[a,t,o],[a,c,o],[a,n,o]] 的列表，Letras_comuns 是一个包含每个单词中所有共同元素的列表......
我有一个谓词letras_comuns(Lst,Common_ltrs) 其中Lst是一个单词列表，比如[[a,n,o],[a,c,o],[a,t,o]]，Commons_ltrs是所有这些单词的共同字母的结果... ...
我有这样一个谓词spaces_uni(Spc,LstWords)，Spc是一个变量列表，如[X,Y,Z]或[a,Y,Z]，LstWords是一个单词列表，如[[o,r,a,n,g,e],[a,p,p,l,e],[b,a,n,a,a]]。这个目的...
我试图创建一个谓词，在保持列表相对顺序的同时，从列表中删除重复的内容。例如，一个列表是[1,2,2,3,4,5,5,2]，应该返回[1,2,3,4,5]。然而，我的代码是...
我试图用prolog实现一个增量，并写了以下代码：coordinate(X,Y,Z):- X是1，Y是1，Z是1，coordinate(X1,Y1,Z1)， ...
如果一个谓词有2个参数，可以这样调用：maplist(member(#),List_of_lists,New)。但是，如果我想以另一种方式调用它，在一个值的列表中迭代，看看是否......。
Prolog标准ISOIEC 13211-1:1995Cor.2:2012的特点是compare3：8.4.2 compare3--三向比较8.4.2.1描述compare(Order, X, Y)为真iff Order统一于R ...
我已经创建了一个鸟类识别系统，它可以根据一些知识库识别鸟类家族。识别过程只发生与用户回答问题的是或否......
我试图创建一个exist(X)查询，如果X在prolog数据库中存在，则返回true。Prolog数据库store(best_smoothies,[alan,john,mary],[ smoothie(berry,[orange,blueberry,...)]。
我是新的prolog。我的项目的想法是说 "如果没有人是X的客人，那么X的房间是免费的，如果有家庭住在X里，那么X就被占用了"。我使用了一个谓词guest(FamilySurname,RoomTaken)，所以这 ...
我试图创建一个查询average(X,A)，如果X存在于prolog数据库中，并且如果A是商店内物品的平均价格，则返回true 样本输出 ?- average(best_smoothies,A)。A =...
我是计算机工程专业的学生，但我这辈子都没编过程序(我只学过物理、化学、控制系统等)。由于我对数学的了解比编程语言多得多，而且 ...