Ann: DES 6.8 Released
|
|
0
|
49
|
June 15, 2025
|
Computing probability distributions for clp(BNR) intervals
|
|
5
|
66
|
June 14, 2025
|
New version of the units package v0.12
|
|
20
|
160
|
June 15, 2025
|
Can SWI-Tinker use a library(markup)?
|
|
14
|
290
|
April 6, 2025
|
Looking for an example of a REPL
|
|
12
|
126
|
June 4, 2025
|
Promote to Rational
|
|
1
|
41
|
June 13, 2025
|
Floyd-Warshall algorithm in Prolog
|
|
9
|
207
|
December 21, 2024
|
Ann: DESODBC 1.0.0
|
|
0
|
51
|
June 9, 2025
|
#include <SWI-cpp2.cpp> error
|
|
1
|
25
|
June 9, 2025
|
Why doesn't ord_subset generate subsets?
|
|
12
|
1432
|
June 6, 2025
|
Optimizing Syntax Coloring with Code Mirror
|
|
0
|
42
|
June 7, 2025
|
Slow calculations, use websockets to refresh webpage when finished
|
|
7
|
88
|
June 3, 2025
|
Janus and Conda
|
|
13
|
213
|
June 3, 2025
|
Enumerating all simple paths in complete undirected graphs
|
|
0
|
43
|
May 31, 2025
|
A strange behavior of CHR package
|
|
5
|
745
|
May 31, 2025
|
A bad news: CHR mailing list is no longer accessible
|
|
7
|
622
|
May 31, 2025
|
Swi prolog standalone binary VS strip
|
|
4
|
118
|
May 30, 2025
|
Border case in Query Answer display
|
|
5
|
70
|
May 28, 2025
|
Some small omissions in prolog_read_source_term/4?
|
|
3
|
62
|
May 28, 2025
|
Metaobjects in PROLOG
|
|
4
|
94
|
May 26, 2025
|
Combinatory Logic in Prolog
|
|
0
|
413
|
June 13, 2024
|
Asserting facts into the caller's module
|
|
2
|
49
|
May 20, 2025
|
LLM and Prolog, a Marriage in Heaven?
|
|
7
|
974
|
May 20, 2025
|
In the ugraphs library the vertices builtin seems strange
|
|
3
|
56
|
May 19, 2025
|
Vibe coding in prolog
|
|
1
|
88
|
May 17, 2025
|
Bug hunting toolbox
|
|
2
|
2870
|
May 17, 2025
|
:- set_prolog_flag(prefer_rationals, true). % Int/Int --> Rational :- set_prolog_flag(rational_syntax, natural). % Write as `1/3`
|
|
4
|
40
|
May 17, 2025
|
Issues with UNC path
|
|
5
|
38
|
May 16, 2025
|
Maplist using a lambda on a lists of dicts doesn't work as expected
|
|
2
|
48
|
May 16, 2025
|
Graphic debugger in cursor (vs-code)
|
|
2
|
33
|
May 16, 2025
|