Axioms.
I have been trying to learn Prolog, and am totally stumped on what the predicate s() does. I see it …