我有一个快速的问题.在prolog中使用setof的存在性限定符(即^). 使用SICStus似乎(尽管许多网站声称),S确实似乎在下面的代码中量化(使用沼泽标准,事实的母亲/事实的孩子,我没有包括在这里)： child…

pred(Args). pred(Args) :- goalA, goalB, !, pred(Args). pred(Args) :- goalC, goalD, !, pred(Args). 通常我会编写一个递归谓词…

例如,假设我有这个程序(仅在swi-prolog中测试过)： :- use_module(library(clpfd)). :- use_module(library(lists)). % Sorted has the …

我想通过Prolog中的 corecursion解决以下动态编程 problem.但我仍然坚持做一个广泛的第一次搜索,我想以一种纠正的方式实现： There is a building of n floors with …

对于SWI-Prolog的CLP(B)库, 我想实现 sat_count/2的加权版本 sat_count(Sat0, N) :- catch((parse_sat(Sat0, Sat), sat_bdd(Sat, BD…

我在Gerrit中创建了一个自定义标签. [label "Code-Quality"] function = NoOp value = 0 No score value = +1 Horror value = +2 No…

我正在寻找替代视点来解决使用约束编程的数独问题. 经典观点是使用可以从1到9取值的有限域(行,列)变量.这是一个很好的观点,并且很容易为它定义约束.例如：(1,2)变量值为4表示4表示第2列第1行. 但是很难提出其他观点…

我是Prolog编程的初学者.我写了这个程序,用累加器对深度列表的原子求和. deep_sum(Xs, N) :- deep_sum(Xs, 0, N). deep_sum([], N, N). deep_sum([X|…

我正在尝试实现一个prolog progarm,实现深度优先搜索和广度优先搜索解决了以下问题 Rowena has three unmarked glasses of different sizes: 3 ounces,…

我一直在努力尝试在Prolog中编辑Eliza聊天机器人.每次我尝试编辑某些内容时,都会显示一个新错误.它受到任何编辑的保护吗？ 我使用SWI-prolog编辑器编辑.问题是我试图在不完全理解代码的情况下最小化代码.我正…

我想从列表列表中删除包含[[‘One’,_],_]的所有列表.我创建了以下子句delete_all,它总是有效,除了我的情况： delete_all(_,[],[]) :- !. delete_all(X,[X|Tail…

在 my previous answer 到最近的问题“ Prolog binary search tree test – unwanted parents’ parent node comparison”,我建议混合使…