如何解决Prolog 回溯位置
鉴于以下内容：
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].
版权声明：本文内容由互联网用户自发贡献，该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容， 请发送邮件至 dio@foxmail.com 举报，一经查实，本站将立刻删除。
