prolog - 가족관계 추론

가족관계 추론

prolog나 pylog를 사용하여 가족관계를 추론할 수 있는 프로그램을 작성.

---

예시 가계도

male(rahim).
male(karim).
male(kabir).
male(roy).
female(tisa).
female(jesi).
parent(rahim,karim).
parent(rahim,kabir).
parent(karim,tisa).
parent(karim, jesi).
parent(babir, roy).

son(X,Y):- male(X), parent(Y,X).
daughter(X,Y):- female(X), parent(Y,X).
father(X,Y) :- male(X), parent(X,Y).
mother(X,Y) :- female(X), parent(X,Y).
spouse(X,Y) :- child(P,X), child(P,Y).
brother(X,Y) :- male(X), sibling(X,Y).
sister(X,Y) :- female(X), sibling(X,Y).
cousin(X,Y) :- parent(P,X), sibling(P,Q), parent(Q,Y).
child(X,Y) :- parent(Y,X).
sibling(X,Y) :- parent(P,X), parent(P,Y), X\=Y.

---

실행결과

 

---

[사용한 프로그램]

SWISH -- SWI-Prolog for SHaring

[참고자료]

[참고코드]

FediSalhi/Prolog-Family-Tree