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).

我刚刚得到错误。

我的问题是为什么我没有得到 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.

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

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

Demo 2.

另请注意，您的程序无法处理包含奇数个项目的列表。为了解决这个问题，请添加一个单独的基本子句，通过删除该项目、与某个固定原子配对或执行您认为在这种情况下有用的其他操作来处理包含单个项目的列表。