Skip to main content
false's user avatar
false's user avatar
false's user avatar
false
  • Member for 14 years, 1 month
  • Last seen more than a week ago
Stats
10,549
reputation
18k
reached
8
answers
74
questions
Loading…
About

[Prolog related] [Prolog systems] [pure] [others]

Debugger free debugging, understanding non-termination 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. 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, list_t/2, memberd_t/3, tfilter/3, tmember/2, (',')/3, maplist/2,3,4…, closure/3, closure0/3, path/4, λ, dif_si/2, memberd/2, memberc/2, non_member/2, all//1, all_seq//2, append2u/3, when_si/2, call_nub/1, call_semidet/1, call_nth/2. You have more?


Close-voted/Closed/deleted questions. Help to reformulate/reopen them! 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. Thus [fal.sɛ]; neither [fɔlls] nor [fɒls].............................................................................................................

This user doesn’t have any gold badges yet.
22
silver badges
33
bronze badges
34
Score
17
Posts
21
Posts %
33
Score
27
Posts
33
Posts %
7
Score
20
Posts
24
Posts %
2
Score
29
Posts
35
Posts %
1
Score
6
Posts
7
Posts %
0
Score
6
Posts
7
Posts %
Top posts
View all questions and answers