fork download
  1. mother_child(trude, sally).
  2.  
  3. father_child(tom, sally).
  4. father_child(tom, erica).
  5. father_child(mike, tom).
  6.  
  7. sibling(X, Y) :- parent_child(Z, X), parent_child(Z, Y).
  8.  
  9. parent_child(X, Y) :- father_child(X, Y).
  10. parent_child(X, Y) :- mother_child(X, Y).
Success #stdin #stdout 0.02s 6204KB
stdin
Standard input is empty
stdout
Standard output is empty