Prolog是最常用的逻辑编程语言。它通过按时间顺序回溯和通过统一的模式匹配来支持非确定性编程。
我已经玩了几个小时的swi-prolog了，我试图模仿一个简单的多态类型系统，但陷入了死胡同。所以，在我花了太多的时间去尝试之前，让我问一下... ...
使用 await 和 async 使在其他事情之前加载解析 Tau-Prolog。
我的任务是在浏览器中加载和解析Tau-Prolog代码，然后再执行其他的东西。我尝试了这个方法（webProlog.pl包含Tau-Prolog代码）： var session = pl.create(1000); ...
根据prolog中包含索引和原子的另一个列表来改变变量列表。
我有一个变量列表E和一个列表L，我想要一个这样的谓词。E=[A,B,C,D] L=[(1,b),(3,m)] solve(E,L). E=[b,B,m,D] 基本上solve()应该在列表L中运行并改变......。
我有一个关于我的代码的小问题。Free(1,1).free(1,3).free(2,3).free(2,1).free(1,5).free(5,6).free(5,2).free(5,4).busy(5,1,white,pion)......。
Xs], R):- first_big(Xs, T), (X > 100 -> R = X ; R = T). And I want to output false ...
所以我在SWI-Prolog中是这样的：- style_check(-singleton).first_big([NumList], First).first_big([X])
这个程序将使用SWI Prolog进行测试。Family.pl包含了家庭成员的事实，谁和谁结婚了，诸如此类的事情。必须在底部添加规则并提交修改后的文件。...
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 ...
我已经创建了一个鸟类识别系统，它可以根据一些知识库识别鸟类家族。识别过程只发生与用户回答问题的是或否......