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