-1

コードをより動的にしようとしています。次の内容のファイルがあります。

a(b1, c1, d1).
a(b2, c2, d2).
a(b3, c3, d3).

そして、すべてを見つけたらb1、次のようなリストを作成します。

[b1, b2, b3].

ファイル内でアリティが変わると、たとえば にa(b1,c1,d1)なるa(b1,c1,d1,e1)と、コードが機能しません。この問題を解決する方法はありますか? SWI-Prolog を使用しています。

start :-
    consult('file.pl'),
    solve(L1, L2, L3),
    list_to_set(L1, X),
    write(X).

solve(L1, L2, L3):-
    findall(First, data(First, _, _), L1),
    findall(Second, data(_, Second, _), L2),
    findall(Third, data(_, _, Third), L3).
4

2 に答える 2

0 

start:-
        consult('file.pl'),
        sampling(Arity),
        solve(Arity,LL),
        list_to_set(LL, X),
        write(X).

solve(Arity,LL):-
        length(L,Arity),
        P =.. [data|L],
        findall(L1,(
                   for(1,N,Arity),
                   nth1(N,L,A),
                   findall(A,P,L1)),
                LL).

sampling(Arity) :-
        see('file.pl'),
        read(P),
        sampling(P,Arity),
        seen.

sampling(end_of_file,_) :- !,seen,fail.
sampling(P,Arity) :-
        functor(P,data,Arity),!.
sampling(_,Arity) :-
        read(P),
        sampling(P,Arity).
于 2011-05-12T10:27:53.940 に答える
0

アリティが変更された場合は、引数をリストに入れてnth1/3を使用する必要があります

ここで同様の質問

于 2011-05-12T09:03:22.310 に答える