child(stephanie).
child(thad).
mother_child(trude, sally).
father_child(tom, sally).
father_child(tom, erica).
father_child(mike, tom).
sibling(X, Y) :- parent_child(Z, X), parent_child(Z, Y).
parent_child(X, Y) :- father_child(X, Y).
parent_child(X, Y) :- mother_child(X, Y).
father_child(tom, sally)?
has(jack,apples).
has(ann,plums).
has(dan,money).
fruit(apples).
fruit(plums).
has(jack,_)?
has(dan, money)?
%continue
has(ann, money)?