编辑以注意澄清的问题陈述（“偶数项”表示该项的值是偶数（而不是该项在列表中的序号位置）：
insert_one_after_even_items( [] , [] ). % if the source list is exhaused, we're done.
insert_one_after_even_items( [X|Xs] , [X,1|Ys] ) :- % otherwise,
0 is X mod 2 , % - if the number is even, prepend it and a 1 to the result list, and
insert_one_after_even_items( Xs , Ys ) % - recurse down.
. %
insert_one_after_even_items( [X|Xs] , [X|Ys] ) :- % otherwise,
1 is X mod 2 , % - if the number is odd, prepend it to the result list, and
insert_one_after_even_items( Xs , Ys ) % - recurse down.
. % Easy!
对于您的第二个问题，产生两个列表之间的差异，您是在谈论集合差异吗？如果是这样，给定两个集合 A 和 B，您是在谈论相对差异（B 中不存在的 A 的所有元素）还是绝对差异（两个集合中都不存在的 A 或 B 的所有元素） ?
解决相对集差问题（找出A中不存在于B中的所有成员），可以使用内置的member/2谓词：
relative_difference( [] , _ , [] ) . % if the source list is exhausted, we're done
relative_difference( [A|As] , Bs , R ) :- % if the source list is non-empty, and
member(A,Bs) , % - the current A is an element of B,
! , % - we insert a deterministic cut (no backtracking)
relative_difference( As , Bs , R ) % - and recurse down, discarding the current A
. %
relative_difference( [A|As] , Bs , [A|R] ) :- % if the source list is non-empty (and A is not an element of B due to the cut inserted earlier)
relative_difference( As , Bs , R ) % we simply add A to the result list and recurse down.
.
您将在此处注意一件事：我们正在构建的所有这些示例中的结果列表都是从变量构建的。列表的尾部是未绑定的（并作为新结果传递给下一个递归调用，在那里它要么成为新的列表节点，要么在最后成为空列表。
这个效果
- 按顺序（而不是倒序）构建列表。
- 如果结果是在初始调用时绑定的，则随着递归的进行逐项与预期结果进行统一，这意味着
- 第一次统一失败时执行被短路。
如果您的 prolog 实现没有内置 member/2，那么它很容易实现。应该这样做：
member(X,[X|T]) :- ! . % A hit! cut and succeed.
member(X,[_|T]) :- member(X,T) . % ... and a miss. Just recurse down on the tail.