Prolog 不返回值

Question

我有以下代码：

pair_list([X,Y],[[X,Y]]).
pair_list([E,Z|X],[K|Y]):- [E,Z]==K, pair_list(X,Y).

当我运行它时，它会为

提供正确的输出

?- pair_list([1, 2, 3, 4, 5, 6], [[1, 2], [3, 4], [5, 6]]).
true ;

但是当我运行时

?- pair_list([1,2, 3, 4, 5, 6], X).

我刚收到false.

我的问题是为什么我没有收到X=[[1, 2], [3, 4], [5, 6]]

Answer 1

你快到了：你需要做的就是将[E,Z]移到头部，消除K：

pair_list([X,Y],[[X,Y]]).
pair_list([E,Z|X],[[E,Z]|Y]) :- pair_list(X,Y).

Demo 1.

请注意，base 子句可以替换为基于空列表的子句：

pair_list([], []).
pair_list([E,Z|X],[[E,Z]|Y]) :- pair_list(X,Y).

Demo 2.

另请注意，您的程序不能处理包含奇数项的列表。为了解决这个问题，添加一个单独的基本子句来处理包含单个项目的列表，方法是删除项目，与某个固定原子配对，或者做一些你认为在这种情况下有用的其他事情。