declarative world

[Prolog related questions], [Prolog systems], , [other news].

: Are you wondering why Prolog loops so often? Read this reply and others using a failure-slice. Failure slices can also be used to determine a lower bound for the number of inferences:

The Prolog prologue is our attempt to make Prolog systems a bit more uniform. Help put s on a safe normative basis now! Use SO just for factual questions around.

Features of good Prolog code?

And now to purity. Whose mind is not touched by such beauty?

?- maplist(dif(X),Xs).
   Xs = []
;  Xs = [_A],
;  Xs = [_A,_B],
   dif(X,_A), dif(X,_B)
;  Xs = [_A,_B,_C],
   dif(X,_A), dif(X,_B), dif(X,_C)
;  ...

More: tfilter/3, call_semidet/1, all//1, memberd/2, memberd_truth/3, iso_dif/2, allseq//2, λ.

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.

Attempts to represent Aleph: ࡗ &#05d5; א

Top Answers
1 2