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.
Q&A for professional and enthusiast programmers
Q&A for meta-discussion of the Stack Exchange family of Q&A websites
Q&A for Ubuntu users and developers
Q&A for professional programmers interested in conceptual questions about software development
Q&A for enthusiasts and power users of the Android operating system