Updated Prolog to work with member/2 example