false
• Member for 4 years, 8 months
• Last seen more than 1 year ago
• stackoverflow.com/users/772868/false-This-is-the-best-place-for-very-very-secret-information--Dont-tell--I-trust-you
• declarative world
Stats
1
reputation
0
reached
0
0
questions
Communities
View all

[Prolog related] [Prolog systems] iso-prolog [others]

Are you wondering why Prolog loops so often? Read this using a failure-slice. 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 dcg formalism on a normative basis! Use SO for factual questions around.

Features of good Prolog code. How to identify redundant answers.

``````?- 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`, `(',')/3`, `maplist/2,3,4...`, `closure/3`, `closure0/3`, `path/4`, `λ`, `iso_dif/2`, `memberd/2`, `non_member/2`, `all//1`, `all_seq//2`, `iwhen/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: Real world Prolog usage, A prologue for Prolog, Prolog systems in Javascript, Prolog usage, Job thanks to Prolog skills? Beginner's material, Syllabes

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