프롤로그 구성원 조건 자 규칙

Question

프리미엄 피자는 정확히 40 온스의 토핑으로 구성됩니다. 총 무게가 40 온스 인 한 각 토핑의 항목이 여러 개있을 수 있습니다.

Pepperoni   4 
Sausage    10 
Bacon    6 
Onion    5 
Mushroom   7 

예를 들어, 피자 페퍼로니 1 토, 베이컨 토핑 소시지 2 개 토핑, 1, 양파 2 개 토핑 포함될 수 1*4 + 2*10 + 1*6 + 2*5 = 40 (온스)

를 피자 7 개 토핑을 포함 할 수 베이컨 : 7 * 6 = 42 > 40A 피자 소시지의 3 토핑을 포함 할 수 없습니다 : 3*10 = 30 < 40

각각의 토핑의 대부분이 OU에 (P, S, B, O, and M은 무게있는 피자에 을 포함 할 수있는 방법을 찾기 위해 규칙 pizza(P, S, B, O, M) 정의 nces), 페퍼로니, 소세지, 베이컨, 양파 및 버섯 토핑 각각.

pizza(P,S,B,O,M):- 
member(P,[0,1,2,3,4,5,6,7,8,9,10]), 
member(S,[0,1,2,3,4]), 
member(B,[0,1,2,3,4,5,6]), 
member(O,[0,1,2,3,4,5,6,7,8]), 
member(M,[0,1,2,3,4,5]), 
S is 4*P + 10*S + 6*B + 5*O + 7*M, 
S =:= 40. 

다음 규칙을 정의했지만 토핑의 가능한 조합 대신 false를 반환합니다.

Answer 1

소시지 중량과 전체 피자의 무게 모두에 S을 사용하고 있습니다.