Prolog是最常用的逻辑编程语言。它通过按时间顺序回溯和通过统一的模式匹配来支持非确定性编程。
寻找库以对隐藏在文本中的类比进行操作 - 在思想层面（？）[关闭]
是否有任何库支持类比操作（算法类比推理）以支持逻辑编程语言（或至少用于某些功能语言）？ 还没试过，我只是
编写 Prolog 谓词的一些最佳实践是什么，以便它以指定参数的不同方式工作
我正在尝试实现一些简单的谓词，比如 my_length 或 my_append。 如果我们事先知道我们想要找到列表的长度，或者我们想要
我必须找到多个事实集（数据库）的逻辑一致的子集。是否有一种具有内置功能的逻辑编程语言可以做到这一点？如果没有，是否有逻辑编程语言...
我是新来的，我想知道是否可以把一个列表作为一个事实，这样我就可以用if，and，then来使用它。例如：list(a,b,c,d).fact(x).fact(y).if x and y then list(a,b,c,d).
如果twol则为twolegs.如果twoh则为twohands.如果tenf则为tenfingers.如果twof则为twofeets.如果smallh则为smallhair.如果fourlegs和nohands和nofingers和fourfeets和doghair则为dog.如果 ...
为什么这个递归的Prolog谓词会在列表中增加一些"_1508 "一样的数字？
我的任务是将一个给定的排序列表(LSorted)分割成几个其他的列表，其中第一个列表将包含来自LSorted的小于第一个质数的值(1不考虑......)。
我有一个变量列表L1,一个变量列表L2,和一个变量列表L3 其中的元素是L1的子列表 与L2共享一个变量。我有一个谓词...
我已经玩了几个小时的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 是一个包含每个单词中所有共同元素的列表......