false
[Prolog related] [Prolog systems] iso-prolog [others]
Debugger free debugging, understanding non-termination 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
,
list_t/2
,
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. Thus [fal.sɛ] and neither [fɔːls] nor [fɒls]
……………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………-
declarative world
-
Member for 10 years, 2 months
-
17,214 profile views
-
Last seen 8 hours ago
Communities (35)
Top Meta Posts
67
7
Top network posts
Badges (278)
Gold
Rarest
-
Dec 29 '14
-
Jun 18 '19
-
Jan 25 '14
Silver
Rarest
-
Feb 2 '20
-
Apr 21 '19
-
Jun 25 '17
Bronze
Rarest
-
Dec 13 '17
-
Sep 12 '15
-
Jul 6 '18