Please go through the Prolog prologue our attempt to make Prolog systems a bit more uniform.
And now for something beautiful. Whose mind is not touched by such beauty?
?- maplist(dif(X),Xs). Xs =  ; Xs = [_A], dif(X,_A) ; Xs = [_A,_B], dif(X,_A), dif(X,_B) ; Xs = [_A,_B,_C], dif(X,_A), dif(X,_B), dif(X,_C) ; ...
The fine print
Close-voted/Closed/deleted questions. Can you help to reformulate/reopen them? SO rules are sometimes a little difficult to apply.
Still here? So I can tell you: my handle is vocative.