# false

declarative world

stackoverflow.com/users/772868/…

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.

``````?- 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)
;  ...``````

Whose mind is not touched by such pure beauty? More: `if_/3`, `(=)/3`, `memberd_t/3`, `tfilter/3`, `tmember/2`, `maplist/2,3,4...`, `closure/3`, `closure0/3`, `path/4`, `λ`, `iso_dif/2`, `memberd/2`, `non_member/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, Prolog usage, Job thanks to Prolog skills? Beginner's material.

Prolog tags

Language: ...

Environment:

Arithmetics:

Puzzles:

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

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

Top Questions

## Some fast way to save and restore tabs of Terminal?

asked Jun 20 '13 at 16:31

## Reification of term equality/inequality

asked Dec 1 '12 at 23:34

## Unification with STO detection

asked May 29 '15 at 21:25

## Definition of a path/trail/walk

asked May 19 '15 at 14:24

## Let me preview an edit so that it appears with the same style as revisions

asked Mar 18 '12 at 20:23

## different/2 - does a pure, determinate definition exist?

asked Jun 16 '15 at 9:32

## How to define (and name) the corresponding safe term comparison predicates in ISO Prolog?

asked Nov 3 '14 at 18:33