¹¹We have to use my_member rather than the built-in member here, because SWI Prolog won’t let us trace built-in predicates. The behaviour of my_member and member is identical.