0

在这里，我想做一个 prolog 实现，它将生成 n，n+1，...2*n-1 的排列列表，两个连续值之间的绝对差 <=2。例如：对于n=4我进行排列的列表是[4,5,6,7]，一个有效的排列将是[5,4,6,7]而不是一个有效的排列是[7,4,6,5]因为7-4 is 3。问题是我收到以下错误clauses for the same predicate should be grouped。我不明白我做错了什么..请帮助我

domains
    el=integer
    list=el*
    lista=list*
predicates
    perm(list,list)
    permutations(integer,list)
    delete(integer,list,list)
    generate(integer,lista)
    create(integer,list)
    create_list(integer,integer,list)
    permutations_aux(integer,list)
    diff(list,integer).
clauses
    create(N,L):-
        M = 2*N,
        create_list(N,M,L).

    create_list(N,M,[N|R]):-
        N<M,
        N1=N+1,
        create_list(N1,M,R).

    create_list(M,M,[]).

    perm([],[]).
    perm(Y,[A|X]):-
        delete(A,Y,Y1),
        perm(Y1,X).

    delete(A,[A|X],X).
    delete(A,[B|X],[B|Y]):-
        delete(A,X,Y).

    permutations(N,X):-
        create(N,X1),
        perm(X1,X).
        diff(X,2).

    permutations_aux(N,X):-
        permutations(N,X).

    diff([],_).
    diff([_],_).
    diff([X,Y|T],M):-
        abs(Y-X) <=M,!,
        diff([Y|T],M).

    generate(N,R):-
        findall(X,permutations_aux(N,X),R).


goal
generate(4,P),
write(P).
4

1 回答 1

1

错误或警告：

Clauses for the same predicate should be grouped

意味着你有不同子句的交错定义。换句话说，同名谓词的子句应该在一个组中一起定义。如：

foo(X) :-
    some stuff
foo(Y) :-
    some stuff

bar(X) :-
    some stuff
bar(Y) :-
    some stuff

如果您这样做，您将收到警告/错误：

foo(X) :-
    some stuff

bar(X) :-
    some stuff

foo(Y) :-
    some stuff

bar(Y) :-
    some stuff

您的错误是perm(X1,X).您的permutations条款中有一个句号。它应该是一个逗号：

permutations(N,X):-
    create(N,X1),
    perm(X1,X).      <--- Error here
    diff(X,2).

permutations_aux(N,X):-
    permutations(N,X).

diff([],_).

所以它真的认为你有：

permutations(N,X):-
    create(N,X1),
    perm(X1,X).

diff(X,2).

permutations_aux(N,X):-
    permutations(N,X).

diff([],_).

这是定义的交错diff。

于 2014-01-13T15:04:26.137 回答