List and recursion using visual prolog 5.2