问题描述
鉴于以下内容：
R(p):-
a(p),b(p),c(p).
当 c 失败时，它会回溯到 b 并解除 b 的绑定。但是，我希望它从 a 回溯并解除 b 和 a 的绑定。可以这样做吗？
解决方法
您可以使用 if->then 构造提交来自您不想回溯的目标的更改（将它们放在 ->/2 的左侧）。
例如，如果您想跳过 b/1 目标的回溯，您可以这样做：
r(P):-
a(P),(
b(P)
-> c(P)
).
有这些测试事实：
a([a1|_]).
a([a2|_]).
b([_,b1|_]).
b([_,b2|_]).
c([_,_,c1]).
c([_,c2]).
和这个示例查询：
?- r(P).
P = [a1,b1,c1] ;
P = [a1,c2] ;
P = [a2,c1] ;
P = [a2,c2].