[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]
……………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………
