列表中的 Prolog 约束

Question

我在序言中有一个问题，它需要四个元素列表的所有可能排列（一个元素可以是 1,2 或 X），但我必须在该列表中添加 2 个约束。它的最后一个元素不能符号“X”和排列不能包含符号“1”超过 2 次。我不确定我应该在哪里以及如何放置这些约束。谁能给我一些想法？

domains
    elem=symbol
    list=elem*

predicates
    elimin(elem,list,list)
    perm(list,list)


clauses
    elimin(H,T,[H|T]).
    elimin(H,[A|T],[A|X]):-
            elimin(H,T,X).
    perm([],[]).
    perm([H|T],X):-
        perm(T,T1),
        elimin(H,T1,X).

当前代码：

    domains
        elem=symbol
        list=elem*

    predicates
        valid(list)
        generate(list)
        count(list,elem,integer)
        member(symbol,list)
    clauses
        valid(S):- 
            generate(S),count(S,1,C),C<2.

        generate([A,B,C,D]) :-
            member(A,["1","2","X"]),
            member(B,["1","2","X"]),
            member(C,["1","2","X"]),
            member(D,["1","2"]).
    member(X,[X|_]).
    member(X,[_|T]):- member(X,T).      
    count([],_,0).
        count([H|T],X,C):- H<>X,
                count(T,X,C).
        count([H|T],X,C1):- H=X,
                count(T,X,C),
                C1=C+1.

Answer 1

从您的评论来看，您的 perm/2 显然没用。

显而易见的方法是将生成器与只接受有效序列的过滤器连接起来。 如果生成器避免将 1 放在最后一个位置，则过程 count/3 就足够了。 使用非确定性成员/2 很容易编写生成器。

注意：保持常量小写很方便（x 而不是X）。

valid(S) :- generate(S), count(S,1,C), C < 2.

generate([A,B,C,D]) :-
    member(A,[1,2,x]),
    member(B,[1,2,x]),
    member(C,[1,2,x]),
    member(D,[2,x]).

看看你能不能自己写count/3...