false

declarative world

Loving prolog, iso-prolog. Prolog news, other world news.

Are you wondering why Prolog loops so often? Read this reply and others using a failure-slice.

Please go through the Prolog prologue our attempt to make Prolog systems a bit more uniform.

Are you using dcgs a lot? Do you want that they are put on a safe normative basis? Help now! Please use SO just for factual questions around this.

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.

A prologue for Prolog

Prolog systems in Javascript

Still here? So I can tell you: my handle is vocative.}