Prolog回溯位置
是指在Prolog编程语言中，当一个查询或规则无法满足时，程序会回溯到先前的选择点并尝试其他可能的解决方案。
Prolog是一种基于逻辑的编程语言，用于解决复杂的逻辑问题。其特点是通过逻辑规则和事实之间的关系进行推理和查询。当执行查询或规则时，Prolog会尝试匹配规则中的条件，如果匹配失败，它会回溯到上一个选择点，重新尝试其他可能的解决方案。
回溯位置在Prolog编程中非常重要，因为它允许程序在找到所有可能解决方案之前进行多次尝试。这使得Prolog成为一个非常灵活和强大的工具，特别适合于解决那些具有多个可能解的问题，例如逻辑推理、自然语言处理和专家系统等领域。
在使用Prolog进行开发时，合理利用回溯位置可以提高程序的效率和性能。通过优化规则的顺序和使用剪枝等技术，可以减少回溯的次数，从而加快程序的执行速度。
腾讯云并没有提供特定与Prolog回溯位置相关的产品或服务。然而，腾讯云提供了多种云计算产品和服务，可以满足开发人员在各个领域的需求。例如，腾讯云提供的云服务器、云函数、容器服务等产品都可以用于开发和部署Prolog应用程序。此外，腾讯云还提供了弹性负载均衡、云数据库、CDN加速等服务，用于增强应用程序的性能和可靠性。
您可以访问腾讯云官方网站（https://cloud.tencent.com/）了解更多关于腾讯云产品和服务的详细信息。
相关·内容
1回答
假设有以下情况： R(p):-
a(p),
b(p),
c(p). 当c失败时，它将回溯到b并解除绑定b。但是，我希望它从a回溯，并解除b以及a的绑定。有可能做到这一点吗？
浏览 12提问于2021-05-04得票数 0
我用CHR (约束处理规则)在Prolog SWI中创建了几个解谜器
一切都很好，但是，我喜欢测试哪个求解者是最好的。因此，我喜欢找出，哪个求解者使用最少的回溯量。
有没有一个聪明的方法来找出(或打印出来)，解决者需要的回溯量来解决一个特定的谜题？
从逻辑上讲，计数是有帮助的，但它不会->回溯！<--。另外，由于SWI的GUI，在屏幕上打印新行是无效的。您不能打印超过+/- 50行，并且不能正确选择
浏览 3提问于2014-05-30得票数 4
1回答
展示Swi-prolog回溯？
、、、、
我想它可能不是用来做这件事的，但我可能会问。
我想运行一个简单的cli应用程序，并让它在出现错误时显示回溯。
swipl -f test.pl -g test(X)
这将在程序中运行目标测试。
ERROR: -g test(X): Arguments are not sufficiently instantiated
然而，它并没有显示完整的回溯。我需要做的是每一次，打开GUI，键入吉他手，跟踪，运行它等。这表明程序可以保持一个回溯。
我想它可能不是用来做这件事的，但我可能会问。
浏览 5提问于2021-11-30得票数 0
回答已采纳
我有一个Prolog的列表和一个谓词check_lower( N1，N2)，它确定哪些数字N1小于N2。现在，因为列表是按如下所示的顺序排列的，所以我创建了谓词来迭代列表，直到它遇到相同的数字。一旦它遇到相同的数字，它就会终止。
我现在遇到的问题是，它在找到相同的数字后会回溯，并显示列表的其余部分。有没有办法在失败后终止。
numbers([one,two, three, four, five]).
number(X) :- numbers(N), member(X, N).
check_lower(N1,N2) :- number(N1), N1\=N2.
这是我的查询：?- check_l
浏览 0提问于2018-02-22得票数 0
回答已采纳
1回答
SWI-Prolog，版本6.6.6。
考虑以下事实：
p(a, a).
p(a, b).
它会得到以下答案：
?- p(a, a).
true ;
false.
但是如果我稍微改变一下数据：
p(a, a).
p(b, a).
我得到的答案略有不同...
?- p(a, a).
true.
似乎在第二种情况下没有发生回溯，因为问题中谓词的第一个参数与其他从句不一致。
然而，对于每种情况，人们都希望得到true ; false.的答案:引擎将尝试第一个谓词子句(结果为true)，然后回溯并查找同一谓词的其他子句(结果为false)。在第二种情况下，这是一种捷径吗？
这是(某种)标准行为吗?也就
浏览 0提问于2015-10-27得票数 3
3回答
我发现Prolog的回溯相当有趣，并想知道是否有人有任何可能的想法，如何可以模仿Prolog的回溯在球拍，作为一个可能的夏季项目的想法。另外，为什么球拍宏如此强大？
浏览 17提问于2015-04-02得票数 1
回答已采纳
我在下列任务上遇到了一些困难：
平面上有N个点(通过它们的坐标)。使用Prolog中的回溯确定所有共线点子集。
我不知道如何在Prolog中检查三个或更多的点是共线的，也不知道如何使用回溯。
浏览 3提问于2015-11-30得票数 0
2回答
在我的课堂上，我被教过Prolog回溯算法和Rete算法，但我也被告知Rete可以用来做反向支持。
这是如何工作的呢？它在哪些方面与Prolog回溯类似/不同？
例如，这是我得到的练习之一：
(R1) 24fingers and antennas => origin(mars)
(R2) shy and 5feet => origin(mars)
(R3) shy and 4arms => origin(venus)
(R4) looksDownWhenTalking => shy
(R5) fleesWhenSeen => shy
目标是提供以下事实，找出该外
浏览 1提问于2018-01-28得票数 11
回答已采纳
2回答
这可能是个简单的问题，但是……假设我有这样的想法：
.... step1, step2, step3, ...
我希望每次step3失败回溯时跳过step2，转而去step1，但是在前进的路上要遵循正常的..step1，step2，step3。序列。
.... step1, (step2, step3), ...
好像没那么做，或者我做错了什么。
它需要更多的测试，但到目前为止似乎是可行的：
.... step1, (step2 -> (step3; true)), ...
也许这是swi的特性，需要的是真实的。
浏览 0提问于2018-02-21得票数 2
是否有任何支持可伸缩数据库的Prolog实现？我的意思是，当prolog引擎回溯这个谓词调用时，数据库会自动收回assert()谓词调用插入的事实吗？换句话说，我想要一个“自动”的隐式回溯。
类似的内容可以表示为
my_assert(Fact):- assert(Fact).
my_assert(Fact):- retract(Fact), fail.
但是当回溯到剪切(!)时，这不会正常工作。
或者，这个目标可以通过使用Prolog的“表”风格以某种方式实现？
浏览 1提问于2013-03-15得票数 4
我正在试着用prolog写一个程序，用来确定是否有一种从一个地方到另一个地方的方法。以下是关系：
road(ny,florida).
road(washington,florida).
road(washington,texas).
road(vegas,california).
我想写：there_is_way(X,Y)，它决定是否有一种方法。例如：
?- road(florida,ny).
no
?-there_is_way(florida,ny).
yes
这是我的代码：
there_is_way(X,Y):- road(X,Y);
roa
浏览 0提问于2015-07-14得票数 2
1回答
我正在学习Prolog，最近我发现了一段音符：-
示例: nth/3
例如，要找到列表的第n个元素，我们可以使用
nth([X|_],0,X).
nth([_|L],N,X) :- N1 is N - 1, nth(L,N1,X).
列表的第0元素是列表的首(第一个子句)，否则我们使用列表尾部的第一个元素(第二个子句)。
一旦我们找到了第n个元素，我们就无法通过回溯找到更多的元素。
nth([X|_],0,X).
nth([_|L],N,X) :- N1 is N - 1, !, nth(L,N1,X).
增加
浏览 0提问于2014-02-27得票数 1
回答已采纳
我一直试图了解如何从回溯的Prolog谓词中生成一系列值。内置谓词between/3将在回溯时一次生成一个范围内的所有整数，因此如何编写该谓词的示例可以帮助我完成任务。
我在现有的Prolog系统中寻找一个实现，但是GNU的between/3实现是一个C函数，其中的诀窍是它调用另一个C函数"Pl_Create_Choice_Point“，它允许它在回溯时产生额外的值。
浏览 2提问于2013-08-20得票数 14
回答已采纳
1回答
我想用Prolog创建一个专家系统。主要要求是使用SWI.我已经为我的服务创建了一些页面。我想使用回溯来生成问题，但是在Prolog中，用户需要输入分号才能完成查询。我想知道如何在使用SWI创建的网站上使用回溯。
浏览 2提问于2015-01-10得票数 0
回答已采纳
1回答
我需要帮助解决prolog问题。
问题的文本是:编写一个名为Labyrinth(Lab，From，To)的谓词Prolog，在输入中接收迷宫、初始位置和结束位置，并打印可能的移动列表(上、右、下、左)。迷宫是一个7x7矩阵，包含行列表和列列表。每个单元格包含'w‘如果是一个墙，否则'e’如果是空的。开始和结束位置使用/2中的一个函数来描述，该函数对于参数有行和列。
这是矩阵的一个例子(索引从0开始)
Labyrinth([
[e,e,w,w,w,w,w],
[w,e,w,e,w,e,w],
[w,e,w,e,w,e,w],
浏览 8提问于2020-06-14得票数 0
回答已采纳
1回答
我有以下Prolog规则：
p(X,Y):- q(Y,X), r(Y), s(Y), t(X).
众所周知，r(Y)和s(Y)只有一个解决方案，而q(X,Y)和p(X,Y)有几个解决方案。
任务是使用辅助谓词优化规则。
我的猜测是在s(Y)和t(X)之间划一段线，以防止无用的回溯。
一个人可以写什么样的辅助谓词来优化这个规则？
浏览 1提问于2021-03-04得票数 2
回答已采纳
1回答
我遇到了这个，有人可以生成一系列从低到高的数字。
我对prolog非常陌生，所以我很难理解这个解决方案是如何工作的。所以我想知道是否有人会仔细看看它是如何为我工作的。
更具体地说，我很难理解回溯以及Prolog解释器是如何获得解决方案的。
我还想知道如何创建一个谓词，如范围(上，K) .
所以当我打电话的时候
范围(5，K)K= 1；K= 2；。K= 5；
为澄清而编辑。
浏览 4提问于2014-12-07得票数 1
回答已采纳
我试图在目标上触发回溯，但如果可能的话，以一种动态的方式。为了更好地举例说明我的问题，假设我们有以下PROLOG代码：
num(1).
num(2).
num(3).
num(4).
num(5).
然后我转到SWI-Prolog并调用：num(X)。通过键入;，这将触发回溯以查找所有解决方案。
我想要的是删除这些事实(num(1)，num(2)等)，并用动态生成这些事实的东西替换这些代码。我有什么方法可以做到这一点吗？诸如此类的事情，也许吧？
num(X):- for X in 1..5
产生与上述代码相同的解决方案？
据我所知，findall谓词返回一个列表，这不是我要找的。我想回溯所有的
浏览 3提问于2017-12-07得票数 1
回答已采纳
1回答
我使用了以下失败驱动循环来列出所有内容，而不使用分号。
happiness(fred,5).
happiness(john,3).
happiness(grace,2).
someGoal(X) :-
happiness(X,Y), write(Y), tab(4), fail.
在查询模式下，我会得到预期的结果
?- someGoal(_).
5 3 2
如何将这些数字插入到列表中，而不是写入屏幕？我不能在someGoal中处理这个问题，因为回溯似乎是隐含的。
浏览 1提问于2012-10-25得票数 6
回答已采纳
1回答
我在SWI-Prolog中遇到了一些回溯问题
在我的谓词中，我有两个列表作为输入，结果是第三个列表。
我从L1中获取nth0/3的每个元素，然后使用另一个我需要的谓词，因此我将第二个和元素追加到第三个列表中，如果other_pred为真。我使用了fail来强制使用nth0回溯，但显然mypred每次都会失败，并且我无法获得我想要的最终列表。
我还尝试将nth0与索引I一起使用，增加了它，但这也会使谓词失败。如果我在每次迭代中检查i是否小于L1长度，也会出现同样的问题。
mypred(L1, L2, Result) :-
nth0(_, L1, X),
other_pred(X
浏览 6提问于2019-02-13得票数 1
通常的普通解释器使用Prolog回溯自身来存档回溯。我想这就是为什么它被称为“香草”的原因：
solve(true).
solve((A,B)) :- solve(A), solve(B).
solve(H) :- clause(H, B), solve(B).
不如一个“辣椒”解释器，它不使用任何Prolog回溯。基本上，谓词首先/？获得第一解，谓词next/?获得进一步的解。
如何才能在Prolog中实现这样的解释器呢？解决方案不需要纯粹，也可以使用findall和裁剪。虽然一个更纯粹的解决方案也可以说明。
浏览 0提问于2019-04-13得票数 2
回答已采纳
1回答
我试图找到路径的最小成本，同时在回溯过程中保留变量Min。下面的代码不起作用，但是它给了我一个关于我想要的东西的一点想法。
Min是保存当前最小值的变量，与新的Total相比，如果Total较小，则NewMin应为总计。这是可能的，我把NewMin作为Min 向前发送。但是，由于我依赖于回溯，强制之前的子句会失败，因此存储的所有值都会丢失。
calculate_cost(Start, [], CostList, Min, NewMin):-
sum_list(CostList, Total),
Total < Min,
NewMin is Total.
calculate_
浏览 3提问于2013-07-18得票数 1
回答已采纳
这是我导师的问题。用您自己的话说，当prolog为查询返回失败时，可以得出什么可能的结论？
我从来没有遇到过prolog返回失败的情况。我只能假设当通过回溯遇到错误时，它可能会返回fail？
浏览 2提问于2013-04-26得票数 0
1回答
我使用C++接口编写Prolog (SWI-cpp.h的类和方法)。约翰喜欢玛丽、艾玛和萨拉的简单回溯：
likes(john, mary).
likes(john, emma).
likes(john, ashley).
我可以这样做：
{
PlFrame fr;
PlTermv av(2);
av[0] = PlCompound("john");
PlQuery q("likes", av);
while (q.next_solution())
{
cout << (char*)av[1] << endl
浏览 1提问于2010-04-22得票数 1
4回答
我正在学习使用SWI Prolog，我正在学习使用列表。一个小练习是检查元素是否在列表中。我得到的是：
member(X,[X|_]).
member(X,[_|T]):-member[X|T].
第一种情况如下：
?- member(a,[b,a]).
true.
但第二种情况并非如此，因为似乎出现了一些回溯：
?- member(a,[a,b]).
true ;
false.
我如何才能防止这种情况发生，即使Prolog只将我返回为true？(我不想忽视假的。)
浏览 5提问于2017-03-15得票数 1
回答已采纳
我希望这段代码输出字母a、b和c的排列(重复)。
letter('a').
letter('b').
letter('c').
f(0,L,L).
f(N,L0,L):-
append(L0,[X],L1),
letter(X),
N1 is N-1,
f(N1,L1,L).
f(N,L):-
f(N,[],L).
当我像这样执行时
?- f(3,L).
L = [a, a, a] ;
第一个答案是正确的，但是当我试图回溯更多的答案时，我会收到错误：
ERROR: Out of global stack
我可以看到，错误
浏览 3提问于2014-04-11得票数 0
回答已采纳
在SWI-Prolog中有没有内置的断言总是会失败并阻止机器回溯--它会立即停止程序的执行(这不是fail/0所做的)？我可以使用裁剪，但我不喜欢它们。
做像!, fail这样的事情对我来说不是问题，但为了实现我想要的，我必须在更多的地方使用cuts，这是我不喜欢的。
浏览 1提问于2010-05-23得票数 4
回答已采纳
1回答
我开始学习prolog，想把整件事弄得更清楚。我读过“绿色剪裁不会改变程序的声明意义，而红色剪裁会改变程序的声明意义”。但是，程序的意义并不是真正纯粹的声明性的(仅仅是因为prolog实际上对所有选项都进行了回溯)。
下面是一个示例：
p(1).
p(2) :- !.
p(3).
有人说这是绿色切割。但如果我负责这个：
p(X), X =:= 3.
我会在没有割伤的情况下得到“真”，而用一个伤口得到“假”。那么，我错过了什么？
提前谢谢。
浏览 12提问于2014-09-21得票数 19
你好，我是Prolog的新手，这里有一个谓词，它接受行和列的未实例化值。
Call: (20) project: inside_square(position(_8924, _8926), shape(square, 2)) ? creep
我希望Prolog知道并记住每个位于平方维(回溯)范围内的值，并使用这些值来解决更大的问题。我使用的是member/2，但这里的问题是，它只需要范围的第一个值，1，然后继续他的回溯(我在trace.中注意到)。
我不知道我是否足够清楚，当我不能给出一个完整的上下文时，很难做到，但告诉我如果我没有。
有人能用人的话向我解释一下发生了什么吗。
Inside_s
浏览 3提问于2019-12-05得票数 0
回答已采纳
3回答
我认为，如果比较倒退，下面的情况应该总是正确的，对吗？除非它进入无限循环！
?- Y=2 , random:random(1,3,X), X =\= Y.
Y = 2,
X = 1.
?- Y=2 , random:random(1,3,X), X =\= Y.
false.
但我错了！总的来说，我的问题是为什么比较不回溯？
谢谢你的回答。我的困惑似乎主要来自于我对随机产生新随机数的预期，所以我混淆了比较不是回溯，而是因为随机只做了一次，然后就失败了。我不知道某些谓词的半确定性性质。但现在我可以注意到这样的情况。再次感谢。
浏览 1提问于2018-02-21得票数 1
回答已采纳
3回答
我在努力实现统一，但有问题.已经有十几个例子了，但他们所做的只是把水弄浑了。我比开悟更让人困惑：
下面的代码是基于下面的介绍
Prolog的艺术，一个...and，其他几个。最大的问题是我无法清楚地描述这个问题。更模糊或更含糊的解释使我更加困惑。
作为一个良好的开端，遵循基于列表的表示(如在lispy情况下)似乎是个好主意，即：
pred(Var, val) =becomes=> [pred, Var, val]
p1(val1, p2(val2, Var1)) ==> [p1, val1, [p2, val2, Var1]]
除了你如何代表名单本身!？即H_x_T
浏览 1提问于2018-03-04得票数 12
回答已采纳
1回答
我的任务是用回溯和递归的方法解决一个迷宫。这更多的是一个关于这个概念的概念性问题。
回溯呼叫是如何到达的？从我看到的所有示例看，似乎总是在回溯步骤之前调用递归，因此回溯是无法实现的。有没有人能给我解释一下回溯步骤是怎么实现的？
浏览 0提问于2014-03-29得票数 0
2回答
我有一个充满事实的数据库，如下所示：
overground( watfordjunction , watfordhighstreet , 2 ).
overground( watfordhighstreet , bushey , 3 ).
overground( bushey , carpenderspark , 3 ).
overground( carpenderspark , hatchend , 2 ).
例如: watford交叉口到watfordhighstreet需要2分钟。
然后我设计了一个规则
浏览 0提问于2012-01-18得票数 0
回答已采纳
1回答
我在Prolog中，我有这样的事实：
likes(mary,juice).
我想在这个事实之后再加一笔。
likes(mary,juice),!.
但是Prolog编译器不允许我这样做。为什么它是不正确的？(我希望在选择此事实后防止回溯)
浏览 0提问于2018-05-18得票数 0
请给出一个用Prolog编写的组合子的例子。我正在用Prolog开发一个状态保存解释器，它包含回溯部分，其中包括跟踪中的“重试”，为了切中要害，究竟是什么组合器导致了不同的结果组合？
浏览 1提问于2021-04-11得票数 0
考虑以下代码：
a(X) :- b(X),!,c(X),fail.
a(X) :- d(X).
b(1).
b(4).
c(1).
c(3).
d(4).
查询a(X).生成
1 ?- a(X).
false.
2 ?-
但是使用下面的代码
a(X) :- b(X),!,c(X).
a(X) :- d(X).
b(1).
b(4).
c(1).
c(3).
d(4).
查询a(X).的结果是：
1 ?- a(X).
X = 1.
所以我的问题是，为什么fail/1会产生false？它应该是强制回溯的，对吧？然后检查b(1)和c(1).，我想，为什么它会失败呢？
浏览 4提问于2013-02-28得票数 7
回答已采纳
Prolog有什么问题？
Prolog在列表和模式匹配方面做得很好，并提供回溯作为奖励。然而，几十年来，它仍然是一门独立的语言，而函数式语言却蓬勃发展。
以Erlang为例。它的语法借鉴自Prolog，它最初是用Prolog实现的，这真的很有趣。也就是说，从Erlang人的角度来看，Prolog存在根本性的问题，否则他们会根据自己的需要对Prolog进行调整。
浏览 1提问于2016-02-27得票数 12
1回答
我想在prolog中创建一个带有三个参数的谓词"move“：A，B，Number。如果Number为1，则predicate应将1加到A，如果Number为2，则函数应将1加到B。然后，predicate检查A==B，如果不是，则使用新值重新运行。所以它应该看起来像这样：
check_eq(First, Second) :-
First == Second.
move(A, B, Number) :-
integer(Number),
Number <= 2,
(Number == 1 ->
C is A+1,
(check_eq(C, B) ->
浏览 0提问于2021-06-04得票数 0
假设您有以下谓词：
random_int(X/Y):-
random(1,100,X),
random(1,100,Y),
X\=Y.
如何使用此谓词的结果填充大小为n的列表？
我尝试了下面的代码，但它只在第一次尝试时random_int(X)为真时才填充列表，即它不会回溯到尝试X和Y的其他组合。
findall(X,(between(1,N,_), random_int(X)),L).
浏览 0提问于2015-01-31得票数 3
3回答
在Prolog中，使用回溯来解决问题。它是一个声明式范例，而不是命令式范例(就像在C、PHP或Python中那样)。在这类语言中，从复杂性的角度考虑是否值得？
正如有人在中指出的那样，你思考问题的自然方式似乎是O(N^2)。
浏览 2提问于2009-11-22得票数 5
回答已采纳
2回答
考虑一下这个小项目：
married(bill, hillary).
spouse(X, Y) :- married(X, Y); married(Y, X).
likes(X, Y) :- spouse(X, Y).
现在我要评估一个目标
?- likes(X, Y).
X = bill
Y = hillary ?;
X = hillary
Y = bill
yes
是否有办法防止在回溯时重复这种对称关系，并为像?- likes(hillary, X).这样的目标保持对称性？
浏览 1提问于2014-04-26得票数 5
回答已采纳
1回答
在Prolog中使用findall如何在不影响回溯的情况下执行目标内的操作？
下面的示例解释了我正在努力实现的目标：
value('M1', 11, 3).
value('M2', 11, 3).
connection('M1',1, 'A', 'B').
connection('M1',1, 'B', 'C').
connection('M1',2, 'C', 'D').
connection('M1'
浏览 1提问于2015-01-08得票数 1
回答已采纳
我想知道为什么Prolog的member/2谓词提供多个替代(通过回溯？！)，如果为输出已经统一了true。
例如，member(1, [1,2,3]).提供以下输出：
true ;
false.
为什么member在发现1确实是list [1,2,3]的成员后返回false
对我来说更令人困惑的是以下输出：
?- member(1, [1,2,3,1]).
true ;
true.
浏览 1提问于2017-02-13得票数 0
回答已采纳
1回答
我正在寻找一个电子资源(书，文章，网站)在Prolog上，清楚地列出逻辑/数学基础，明确说明什么是统一，匹配算法，回溯算法，SLDNF分辨率，切割，……都在一个清晰一致的包裹里。这种资源假定熟悉一阶逻辑，这是很好的(甚至是首选的)。它不需要进入应用程序，因为我已经在这方面获得了另一个。
我正在读的这本书做出了一个令人遗憾的决定，忽略了数学，而只是模糊地定义了这些术语和过程，而剩下的许多其他细节也只是模糊地定义。
浏览 4提问于2022-05-21得票数 0
回答已采纳
下面是一个简单的prolog程序。
% parent facts
parent(john, jane).
parent(john, james).
parent(sally, jane).
parent(martha, sally).
parent(deirdre, martha).
% ancestor recursive definition
ancestor(X,Y) :- parent(X,Y).
ancestor(X,Y) :- parent(X,A), ancestor(A,Y).
使用simple，特别是swish.swi-prolog.org，下面的简单查询将生成正确的答案t
浏览 6提问于2022-09-25得票数 0
1回答
使用下面的示例，堆栈由于无限递归而快速填充..。
is_pos_integer(X):- is_pos_integer(Y),X is Y+1.
is_pos_integer(0).
但是，当运行并请求回溯(使用;)时，下面的示例会遇到相同的无限递归，而不会填充堆栈.
is_pos_integer(0).
is_pos_integer(X):- is_pos_integer(Y),X is Y+1.
我不相信这两个函数都是尾递归函数，那么为什么第二个函数不引起.StackOverflow？(yaaaaoww....sunglasses)
浏览 11提问于2016-10-18得票数 0
1回答
我有一个通过调用list1(a,[_,a,_]).来定义为list1(a,X)的模式，它会给出：
X = [_G3801, a, _G3807].
我需要编写谓词match(X, List_in, List_out)，这样通过使用Listin = [b，a，b，a，c，c，b]调用它，它就可以给出所有匹配的模式。就像这样：
list1(a,X),match(X,[[b,a,b],[b,b,a],[a,a,a],[c,c,b]], List_out).
然后它可以：
List_out = [[b,a,b],[a,a,a]].
我试过list1(a,X),include(member(X),[[b
浏览 2提问于2014-10-07得票数 1
回答已采纳
我正在用prolog和clpfd library做一个sudoku求解器。我必须跟踪回溯和每个用行和列标记的方块，以及它以以下形式获得的数字：
(1 ,1 ,1)
(9 ,2 ,1)
BT
(5 ,2 ,1)
我的问题是，我如何从算法中获得上述信息？
另一个问题:算法本身是否遵守arc-consistency规则？
浏览 0提问于2017-01-30得票数 3
根据一些事实，我必须找到使用Prolog的最年长的人。例如：
age(john, 10).
age(mary, 15).
age(rose, 75).
age(jack, 49).
age(carl, 17).
age(lucy, 66).
控制台输出应该是：
?- oldest(rose).
True.
?- oldest(X).
X = rose.
我的代码如下所示，但它不起作用：
oldest(P) :- age(P, X) , age(_, Y) , X >= Y.
我找不到错误，但我想是跟回溯有关。有人能帮帮我吗？我对Prolog很陌生。
浏览 3提问于2013-10-27得票数 2
回答已采纳
1回答
给予CFG
S --> a S b | c | d
我想写一个谓词，比如，语法(‘S’，句子)，它生成所有可能的
sentences like
sentence=acb,
sentence=acd,
sentence=c,
sentence=ab......................
使用最左的推导，如果遇到的符号是终端，就应该打印出该终端，如果遇到的符号是非终端'S'，则应该回溯和替换语法a、b或c或d中的一个，并重复该过程。
我不需要任何code...just帮助我如何开始
浏览 2提问于2011-11-30得票数 3
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
实时音视频
即时通信 IM活动推荐
腾讯云开发者
