比较序言列表的长度

Question

我有以下序言程序：

len([X],[Y],Count) :-
       length(X,K),
       length(Y,I),
       K < I,
       Count is 0
   ;   I < K,
       Count is 2
   ;   I = K,
       Count is 1.

当我输入时： len( [1,2], [5,2,4], X ).

我得到： Singleton variable in branch: K and I

我在这里查找了这意味着什么：http://www.swi-prolog.org/pldoc/man?section=singleton 我尝试过 _K & _I 但你只能这样做一次。

这个程序应该取两个列表并比较每个列表的长度以确定输出值。

Answer 1

你的代码的第一个问题是子句的头部有错误：

len(<b>[X]</b>,<b>[Y]</b>,Count) :- ...

这意味着第一个和第二个列表只能是单例（具有一个元素的列表）。所以我们需要将其重写为：

len(<b>X</b>,<b>Y</b>,Count) :- ...

第二个问题是the ; has higher priority than ,，因此Prolog解释器会将其解释为：

len(X,Y,Count) :-
    (
        length(X,K),
        length(Y,I),
        K < I,
        Count is 0
    );
    (
        I < K,
        Count is 2
    );
    (
        I = K,
        Count is 1
    ).

这意味着如果第一个条件失败，Prolog 将回溯，现在在该分支中，它看到 I < K，但对于 Prolog，这些是新变量（因为它们位于不同的分支中）。 Prolog 解释器会警告您这很奇怪，尤其是在您编写 I < K 的情况下，因为它需要将 I 和 K 接地，所以这会出错。

您需要将程序重写为：

len(X,Y,Count) :-
    length(X,K),
    length(Y,I),
    (
        (
            K < I,
            Count is 0
        );
        (
            I < K,
            Count is 2
        );
        (
            I = K,
            Count is 1
        )
    ).

或者不那么冗长：

len(X,Y,Count) :-
    length(X,K),
    length(Y,I),
    (
        K < I,
        Count is 0
    ;   I < K,
        Count is 2
    ;   I = K,
        Count is 1
    ).

但这当然很麻烦。更优雅的解决方案是先编写一个compare/3 谓词：

cmp(X,Y,0) :-
    X < Y.
cmp(X,Y,2) :-
    X > Y.
cmp(X,X,1).

然后写：

cmp(X,Y,0) :-
    X < Y.
cmp(X,Y,2) :-
    X > Y.
cmp(X,X,1).

len(X,Y,Cmp) :-
    length(X,K),
    length(Y,I),
    cmp(K,I,Cmp).