Prolog——在特殊情况下消除重复答案的更好方法？

Question

我在处理这两行时遇到了麻烦：

list_swizzle(L, [], L).
list_swizzle([], L, L).

问题是，如果前两个参数都是空列表，则前两个语句都将被使用，返回相同的答案。然而，如果我在其中插入一个切口，就会破坏回溯。我最终在它们上方添加了这一行：

list_swizzle([], [], []):- !.

并且它有效。但我想知道是否有更优雅的解决方案。

Answer 1

这是我的版本：

list_swizzle([H|T], [], [H|T]).
list_swizzle([], L, L).

我指望 [] 在第一个事实中不会与 [H | T] 统一。换句话说，[] 没有 T，因为它是空列表，因此第一个事实与第一个参数中带有 [] 的目标不匹配。

我已经在 SWI-Prolog（多线程，32 位，版本 5.8.2）上成功运行了这个

$ cat tt.pl

s([H|T], [], [H|T]).
s([], L, L).

......

For help, use ?- help(Topic). or ?- apropos(Word).

?- [tt].
% tt compiled 0.00 sec, 920 bytes
true.

?- s(L,[],[]).
L = [].

?- 
% halt