/* Pokrewienstwa pomiedzy osobami. */

domains
  s=symbol

predicates
  rodzice(s,s,s,s)
  brat(s,s)
  corka(s,s)
  wuj(s,s)
  ojciec(s,s)
  matka(s,s)
  przodek(s,s)
  
clauses
  

/* Dane. */
  
  rodzice(adam,ewa,piotr,m).
  rodzice(adam,ewa,aleksandra,k).
  rodzice(adam,ewa,katarzyna,k).
  rodzice(piotr,dorota,tomasz,m).
  rodzice(piotr,dorota,wojciech,m).
  rodzice(jan,katarzyna,mariusz,m).
  rodzice(jan,katarzyna,tadeusz,m).
  rodzice(jan,katarzyna,barbara,k).
  rodzice(mariusz,zofia,andrzej,m).
  rodzice(wojciech,marta,stefan,m).
  rodzice(wojciech,marta,jozef,m).
  rodzice(jozef,barbara,szczepan,m).
  rodzice(szczepan,jozefa,lucjan,m).
  rodzice(andrzej,monika,wanda,k).
  rodzice(andrzej,monika,krystyna,k).
  brat(X,Y):-rodzice(O,M,X,m),rodzice(O,M,Y,_).
  corka(X,Y):-rodzice(Y,_,X,k).
  corka(X,Y):-rodzice(_,Y,X,k).
  wuj(X,Y):-rodzice(O,_,Y,_),brat(X,O).
  wuj(X,Y):-rodzice(_,M,Y,_),brat(X,M).
  ojciec(X,Y):-rodzice(X,_,Y,_).
  matka(X,Y):-rodzice(_,X,Y,_).
  przodek(X,Y):-rodzice(X,_,Y,_).
  przodek(X,Y):-rodzice(_,X,Y,_).
  przodek(X,Y):-ojciec(X,Z),przodek(Z,Y).
  przodek(X,Y):-matka(X,Z),przodek(Z,Y).