小编sam*_*sam的帖子

我是否可以获得具有两个参数的递归Prolog谓词,称为reverse,它返回列表的反转:

示例查询和预期结果:

?- reverse([a,b,c], L).
L = [c,b,a].

两个参数的递归Prolog谓词,palindrome如果给定列表是回文,则返回true.

具有预期结果的示例查询:

?- palindrome([a,b,c]).
false.

?- palindrome([b,a,c,a,b]).
true.