0.0 foal0(X) :- parent(X,Y), horse(Y).
0.0 foal0(X) :- sibling(X,Y), horse(Y).
0.0 foal1(X) :- foal0(X).