true. ?- has_sister(edward, Who). Who = alice. ?- has_sister(alice, Who). false. ?- has_sister(Who1, Who2). Who1 = edward, Who2 = alice ;; false. ?- halt.