Prolog - 事実上の小さな運動

Question

Ok。それが私の問題です。私はリスト内の製品のすべての価格を合計する述語を実装する必要があります。しかし、今のところ、私はそれ以上のことはしていません。 私は何が間違っていますか？ ありがとうございます。

domains 
    state = reduced ; normal 

database 
    producte (string, integer, state) 
predicates 
    nondeterm calculate(integer) 

clauses 
    % ---> producte(description , price , state) 
    producte("Enciam",2,normal). 
    producte("Llet",1,reduced). 
    producte("Formatge",5,normal). 
    calculate(Import):- 
     producte(_,Import,_). 
    calculate(Import):- 
     producte(_,Import,_), 
     calculate(Import2), 
     Import=Import2+Import,!. 

Goal 
    calculate(I). 

Answer 1

免責事項：私はプロローグに関しては少し戸惑っています。また、私は今プロローグ通訳にアクセスできません。

標準的な例は、リストの合計：

sum([], 0). 
sum([Head | Tail], Total) :- sum(Tail, Temp), Total is Head + Temp. 

のfindAll/3でリストを作る：

findall(Val, producte(_, Val, _), Vals). 

ヴァルスあなたは合計したいあなたのリストを持っています。

更新：あなたのコメントごとに、私はインタープリタにアクセスすることなく、少し深いところから外れています。

がfindAllのによって生成されたあなたのヴァルスリストを、合計した結果を受けて、あなたの単一の目標Iを、使用しています。私はこれがないと思う何

calculate(I) :- sum(Vals, I), findall(Val, producte(_, Val, _), Vals). 

。しかし、プロローグを使用してから、私が望むことをするための文法の権利さえないかもしれないので、それはずっとずっと続いています。しかし、少しばらつきがあれば、1つの目標だけで達成できるはずです。

Answer 2

findAllの一部：

calculate(Price) :- 
    List = [ Price || producte(_, Price, _) ], 
    sum_list(List, 0, Sum). 

sum_listパーツ：

sum_list([], Acc, Acc). 
sum_list([Head|Tail], Acc, Sum) :- 
    NewAcc is Acc + Head, 
    sum_list(Tail, NewAcc, Sum). 

私は視覚プロローグドキュメントに従って動作するはずですこれらの線に沿って何かを推測するが、私はちょっとたく視覚インストールしないでくださいそれをテストするプロローグ...