true.

?- ['greek1.pl'].
% greek1.pl compiled 0.00 sec, 2,200 bytes
true.

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

?- halt.