Please send questions to st10@humboldt.edu .
true.

?- has_sister(edward, Who).
Who = alice.

?- has_sister(alice, Who).
false.

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

?- halt.