³Note the standard conventional way of citing a Prolog predicate in the form predicate_name/arity.