¹²Again, memberchk/2 is a built-in predicate in SWI Prolog, so we use our own version to allow tracing.