last( [ X, Y | Z ], W ):- last( [ Y | Z ], W ).
