Skip to main content
false's user avatar
false's user avatar
false's user avatar
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
About

[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. ..........................................................................................................................................................................................................................................

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
4
bronze badges
Posts

This user hasn’t posted yet.