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

?- brother(Has, Is).
Has = athena,
Is = ares ;;
false.

?- halt.