prolog 연습

https://swish.swi-prolog.org/

/* 사실 */

male(허생원).
male(동이).
female(분이).

parent(분이, 동이).

married(허생원, 분이).
married(분이, 허생원).


mother(X,Y) :- female(X),parent(X,Y).
father(X,Y) :- male(X), parent(X,Y).
father(X,Y) :- male(X), married(X,Z), mother(Z,Y).