Prolog: simpler definition of `different' relation
Prolog: new basic list operations