このディレクトリの索引

# 順列の積の定義 # 順列 L1 L2 の積を L3 とするとき、置換群 G(S) の積の定義 # 数学的な記法で [L1(1),L1(2), ... ,L1(n)] = L1 * [1,2, ... ,n]. # を述語 順列の積 として、再帰的に定義する。 順列の積(_,[],[]) :- !. 順列の積(L1,[I],[J]) :- arg_list(I,L1,J),!. 順列の積(L1,[I|R2],[J|R3]) :- arg_list(I,L1,J),!, 順列の積(L1,R2,R3). arg_list(K,Y,M) :- PY =.. [pred|Y], arg(K,PY,M).