Prolog: more operations on lists
Minor improvment