Exercise - 12th February 1985               Helen Pain
AI1 Practical


Give the command ai1prolog or p.

Consult the file 'ecmi04.useful'.

List it. Try and work out what the predicates are supposed to do.

Try typing the following goals:

      append([a,b],[b,c,d],X).

      member(a,[c,a,b,b,a,g,e]).

      rev(X,[a,p,p,l,e]).

      nexto(a,Y,[c,a,t]).

      replace(a,e,[b,a,n,a,n,a],A).
      
      delete(a,[b,a,n,a,n,a],B).

      delall(a,[b,a,n,a,n,a],C).

      nth(5,[w,o,r,s,e,n],N).

      length(X,[a,s,d,f,g,h,j]).

      last(X,[a,s,d,f,g,h,j]).


Try some more goals and trace them and follow what happens.

Look and see the similarities in the structure of some of the 
predicates.