4

variablize/3リストを取り、各項目を変数に置き換える述語があります。例:

% ?- 変数化([a,b,c], X, L)。
% L = [[X, b, c], [a, X, c], [a, b, X]]

今、変数のリストを受け入れるようにこの述語を拡張しようとしています。例:

% ?- 変数化([a,b,c], [X,Y], L)。
% L = [[X, Y, c], [X, b, Y], [a, X, Y]]

これまでの私のコードは次のとおりです。

replace_at([_|テール], X, 1, [X|テール]).
replace_at([Head|Tail], X, N, [Head|R]) :- M は N - 1、replace_at(Tail, X, M, R) です。

replace_each([], _, _, [], _)。
replace_each([_|Next], Orig, X, [Res|L], N) :-
    replace_at(Orig、X、N、Res)、
    M は N + 1、
    replace_each(次、Orig、X、L、M)。

variablize(I, X, L) :- replace_each(I, I, X, L, 1).

ポインタはありますか？スキップするインデックスのリストを拡張replace_at/4する必要がありますか?

4

2 に答える 2

2

variablize/3を実装する単純化された組み込みベースの方法

variablize(I, X, L) :-
    bagof(R, U^select(U, I, X, R), L).

select /4 の代わりに、X がリストになるときに、X の要素の置換を適用する distribution/3 を持つことができるという証拠を提示します。select/4 はこのように実装できます

myselect(B, I, X, R) :-
    append(A, [B|C], I), append(A, [X|C], R).

このフォームは、入力リストの右側にI残りの変数を分散する必要があると思われる部分があるため便利です。X次に、要素の再帰は次のようにする必要があります。

distribute(I, [X|Xs], L) :-
    append(A, [_|C], I),
    distribute(C, Xs, R),
    append(A, [X|R], L).
distribute(I, [], I).

distribution/3 は次のように動作します:

?- distribute([a,b,c,d],[1,2],X).
X = [1, 2, c, d] ;
X = [1, b, 2, d] ;
X = [1, b, c, 2] ;
X = [a, 1, 2, d] ;
X = [a, 1, c, 2] ;
X = [a, b, 1, 2] ;
false.

したがって

variablize_l(I, X, L) :-
    bagof(R, distribute(I, X, R), L).

私たちに与える:

?- variablize_l([a,b,c],[X,Y],L).
L = [[X, Y, c], [X, b, Y], [a, X, Y]].

編集

私は当初、このように書きました。これは、配布フェーズをリスト構築から分離する証拠です。

replace_v([_|T], X, [X|T]).
replace_v([L|T], X, [L|R]) :-
    replace_v(T, X, R).
variablize(I, X, L) :-
    bagof(E, replace_v(I, X, E), L).
于 2012-04-15T14:49:23.380 に答える
0 
variablize(L1,L2,L) :-
    append(L1,L2,L3),
    length(L1,Len1),
    length(L2,Len2),
    findall(L4,(combination(L3,Len1,L4),var_count(L4,Len2)),L).

combination(X,1,[A]) :-
    member(A,X).
combination([A|Y],N,[A|X]) :-
    N > 1,
    M is N - 1,
    combination(Y,M,X).
combination([_|Y],N,A) :-
    N > 1,
    combination(Y,N,A).

var_count([],0).
var_count([V|R],N) :-
    var(V),
    var_count(R,N1),
    N is N1 + 1,
    !.
var_count([A|R],N) :-
    var_count(R,N).
于 2012-04-17T05:22:36.380 に答える