| ?- sib2(X,Y).

X = bart,
Y = lisa ? ;

no
| ?- sib2(bart,lisa).

yes