如何分離 min() 謂詞序言中的值

Question

我有一個像

cheapest(X,Y,T):-
    findall([Ci,Cj],trip_cost(X,Y,[Ci,Cj]),K),
    aggregate_all(min(A,B), 
       member([B,A], K), 
       T).

它給出了這樣的結果

min(8,[a,b,m])

我想讓它像謂詞一樣工作

cheapest(X,Y,T,C):-
        findall([Ci,Cj],trip_cost(X,Y,[Ci,Cj]),K),
        aggregate_all(min(A,B), 
           member([B,A], K), 
           T).

並希望結果像

T=[a,b,m]
C=8

Answer 1

cheapest(X,Y,T,C):-
    cheapest(X,Y,min(C,T)).

我還不能測試它，因為沒有知識庫。

或類似而不需要cheapest/3 ：

cheapest(X,Y,T,C):-
    findall([Ci,Cj],trip_cost(X,Y,[Ci,Cj]),K),
    aggregate_all(min(A,B), 
       member([B,A], K), 
       TT),
    TT = min(C,T).