Problem with instanciation of list :)

As Peter said

This site has Useful Prolog references and the first one is Coding Guidelines for Prolog