Please send questions to
st10@humboldt.edu
.
true. ?- brother(Has, Is). Has = athena, Is = ares ;; false. ?- halt.