以下是一个Prolog程序，用于计算给定排列的奇偶性：

is_even([]) :- true.
is_even([_]) :- true.
is_even([X,Y|T]) :- (Y is_odd(T); is_even(T)).

is_odd([X]) :- false.
is_odd([X,Y|T]) :- (Y is_even(T); is_odd(T)).

代码中包含两个谓词，is_even/1和is_odd/1，它们用于判断一个排列的奇偶性。它们都接受一个列表作为参数，如果这个列表是一个偶排列，则谓词is_even返回true，否则返回false，而谓词is_odd则恰恰相反。

例如，如果我们将is_even传递一个偶排列[2,3,7,6,1,4,5]，则该谓词将返回true。

我们可以通过使用Prolog的permutation/2谓词来生成所有可能的排列，并通过调用is_even/1谓词来检查它们的奇偶性。

以下是一个示例程序，它找到了由数字1到4组成的所有偶排列：

all_even_permutations(L) :- permutation([1,2,3,4], L), is_even(L).

这个程序将生成[2, 4, 3, 1]，[4, 2, 3, 1]，[2, 3, 4, 1]和[4, 3, 2, 1]等偶排列。