|
The Game of 24 puzzle - Reply 1
|
|
2
|
101
|
December 29, 2023
|
|
I'm looking for a more elegant way to solve the problem
|
|
10
|
243
|
December 26, 2023
|
|
A little Linux distro including emacs + swi-prolog
|
|
4
|
173
|
December 24, 2023
|
|
Operations on families of lists with extentionality
|
|
8
|
201
|
December 23, 2023
|
|
How are Prolog and CHR supposed to interact?
|
|
21
|
468
|
December 23, 2023
|
|
Collecting choices on family of sets, and bidirectional converter between CNF and DNF
|
|
0
|
114
|
December 23, 2023
|
|
Memory accumulation on backtracking
|
|
8
|
117
|
December 23, 2023
|
|
Sample queries in functional syntax on toplevel query
|
|
13
|
230
|
December 23, 2023
|
|
How to understand why the application crashes?
|
|
21
|
298
|
December 21, 2023
|
|
PL_call_predicate on external/foreign predicate,
|
|
0
|
93
|
December 21, 2023
|
|
Improving usability of dicts
|
|
8
|
358
|
December 20, 2023
|
|
Unit test
|
|
16
|
406
|
December 19, 2023
|
|
Understanding computational complexity of CHR head selection
|
|
6
|
175
|
December 17, 2023
|
|
Meta predicates and name overriding
|
|
0
|
120
|
December 15, 2023
|
|
Questions on installing LogTalk
|
|
3
|
142
|
December 15, 2023
|
|
Adding `poll` functionality to sockets
|
|
0
|
373
|
December 14, 2023
|
|
Single sided unification operator conflicts with our existing operator
|
|
1
|
108
|
December 13, 2023
|
|
CMake warning about exec_program
|
|
2
|
302
|
December 12, 2023
|
|
Redistributing SWI Prolog runtime
|
|
3
|
132
|
December 11, 2023
|
|
=.. displays incorrectly with ops, needs option to display correctly
|
|
1
|
106
|
December 11, 2023
|
|
`phrase/3` does not work for a compound phrase as expected
|
|
0
|
87
|
December 10, 2023
|
|
Sequence/3: problematic interaction with dcg/basics
|
|
7
|
148
|
December 10, 2023
|
|
Test case generation
|
|
1
|
132
|
December 10, 2023
|
|
A loose question on tabling and ancestor resolution
|
|
0
|
102
|
December 9, 2023
|
|
Protobuf Description
|
|
1
|
108
|
December 8, 2023
|
|
Help with backtracking with CLPFD
|
|
8
|
207
|
December 8, 2023
|
|
A CNF of heavy duty proposition built up from logical equivalence connective
|
|
0
|
113
|
December 8, 2023
|
|
Benchmarking [CLP(B) libraries and other stuff]
|
|
20
|
468
|
November 24, 2023
|
|
SWI on WASM Container
|
|
6
|
176
|
December 6, 2023
|
|
Where is this `pretty_print` predicate from?
|
|
3
|
108
|
December 5, 2023
|