⁶member/2 and various other list-oriented predicates are built-in to SWI Prolog. That means that, if we want to experiment with our own versions, we need to give them a different name, such as my_member/2 or my_append/3 - see below for append/3