Prolog: new basic list operations