/* kb2.pl */

   member(E,[E|_]).                           /* 24a */
   member(E,[_|R]) :- member(E,R).           /* 24b */

   append([],L,L).                             /* 24c */
   append([E|R],L1,[E|L2]) :- append(R,L1,L2).    /* 24d */