프롤로그 - 사실에 대한 약간의 연습

Question

확인. 그게 내 문제 야. 목록에있는 제품의 모든 가격을 요약하는 술어를 구현해야합니다. 그러나, 지금 당장은 더 이상 그럴 생각이 없습니다. 내가 뭘 잘못하고 있니? 미리 감사드립니다.

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). 

. 하지만 필자는 프롤로그를 사용하여 내가 원하는 것을 수행 할 수있는 구문조차도 가지고 있지 않을 수도 있기 때문에 오랜 시간이 걸렸다. 그러나 작은 편차는 단일 목표로 원하는 것을 성취해야합니다.

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). 

내가 비주얼 프롤로그 문서에 따라 작동해야이 라인을 따라 뭔가를 생각하지만 난 좀 싶어 visual- 설치하지 마십시오 프롤로그로 테스트 해보세요 ...