프롤로그 : X는

Question

는 다음과 같은 사실이 이미 프롤로그 데이터베이스에 입력되어 있다고 가정 Y의 할아버지 : "X는

father(X, Y)  // X is the father of Y 
mother(X, Y)  // X is the mother of Y 
male(X)   // X is a male 
female(X)  // X is a female 
parent(X, Y)  // X is a parent of Y 
diff(X, Y)  // X and Y are different 

(1) 이제 grandpa_of에 대한 프롤로그 규칙을 추가 (X, Y) Y의 할아버지 "

(2) 형제에 대한 또 다른 규칙을 추가 (X, Y)"X가

내 생각 "Y의 형제입니다 :

질문 1 :

나는 내가 가진 모든 지금까지

grandpa_of (X, Y) 인 나는 부모의 부모를 찾을 수있는 방법에 대한 혼란 스러워요 : - 남성 (X), ...

질문 2 :

형제 (X, Y) : - 부모 (P, X), 부모 (P, Y), DIFF (X, Y)

Answer 1

P는 내가 제이슨 grandpa_of(X,Y) :- father(X,P), parent(P,Y).

Answer 2

그것은 오랜 시간이있다가 ... 첫번째는 뭔가 이렇게 :

grandpa_of(X, Y) :- father(X, P), father(P, Y). 

는