All list problem with Prolog