Exercise for week 7 - AI1.

Continuation of 'useful' list processing predicates.


length
------

Try

	?- length(X,[a,sa,d,f,g,h,j]).
	?- length(X,[a,[b,c],d,e]).

nexto
-----

Try

	?- nexto(a,Y,[c,a,t]).
	?- nexto(Y,a,[c,a,t]).
	?- nexto(X,Y,[c,a,t]).

and "REDO"

last
----

Try

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

nth
---

Try
	?- nth(5,[w,o,r,s,e,n],N).
	?- nth(6,[f,r,e,d],N).

How would you fix "nth" so that it would work with:

	?- nth(0,[f,r,e,d],M).

rev
---

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

replace
-------

Try
	?- replace(a,e,[b,a,n,a,n,a],A).
	?- replace(X,a,[b,i,n,d],[b,a,n,d]).

delall
------

Try

	?- delall(a,[b,a,n,a,n,a],C).
	?- delall(X,[f,r,e,e,d],Y).
	
Try 

	?- delall(X,[r,a,i,d,i,n,g],[r,a,d,n,g]).

delete
------

Try
	?- delete(a,[b,a,n,a,n,a],B).
	?- delete(X,[f,r,e,d],Y).
	
and "REDO".

Try 

	?- delete(X,[r,a,i,d],[r,i,d]).

append
------

Try each of the following:

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

Make sure you "REDO" this one!

member
------

Try

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

What is the result? try

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

"REDO" until the goal fails.

Try

	?- member(a,X).
	?- member(a,[f,r,E,d]).


--------
  