false

declarative world

[Prolog related questions] [Prolog systems] [others] [CR]

Are you wondering why Prolog loops so often? Read this using a . Failure slices provide a lower bound for the number of inferences. E.g. the largest integer or factors.

The Prolog prologue attempts to make Prolog systems more uniform. Help put the formalism on a normative basis! Use SO 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],
   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)
;  ...

More: if_/3, memberd_t/3, tfilter/3, maplist/2,3,4..., closure/3, closure0/3, λ, iso_dif/2, memberd/2, non_member/2,

all//1, all_seq//2,

call_nub/1, call_semidet/1, call_nth/2. You have more?


Close-voted/Closed/deleted questions. Help to reformulate/reopen them! SO rules are difficult: A prologue for Prolog, Prolog systems in Javascript, Real world Prolog usage, Can you get a job thanks to your Prolog skills?.

Prolog tags

Language: ...

Environment:

*

Arithmetics:

Puzzles:

..................................................................................................
.................................................

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