Janus and Conda
|
|
10
|
140
|
March 21, 2025
|
Higher Order and Autograd
|
|
0
|
114
|
March 11, 2025
|
Is there room to adopt a flag strict_iso?
|
|
2
|
49
|
March 19, 2025
|
Wasm vs swish and others
|
|
20
|
193
|
March 19, 2025
|
Any Symbolic Expression Lib?
|
|
15
|
229
|
March 16, 2025
|
Named singleton variables
|
|
4
|
54
|
March 14, 2025
|
Choice points with lists
|
|
4
|
52
|
March 14, 2025
|
Ann: SWI-Prolog 9.3.21
|
|
3
|
143
|
March 13, 2025
|
Janus: py_call(1 + 2, Sum)
|
|
8
|
73
|
March 13, 2025
|
LLM and Prolog, a Marriage in Heaven?
|
|
8
|
820
|
January 30, 2025
|
Spring 2025 Challenge: TicTacToe Transformer
|
|
0
|
78
|
February 24, 2025
|
Signaling threads that are waiting on mutexes
|
|
2
|
26
|
March 11, 2025
|
Books to start with Prolog
|
|
5
|
90
|
March 10, 2025
|
Swipl-bundle.js not working
|
|
4
|
50
|
March 9, 2025
|
Switching away from DFS: yet another beginner mystified
|
|
21
|
210
|
March 7, 2025
|
Parameter Learning in cplint similar to ProbLog
|
|
3
|
63
|
March 7, 2025
|
Engines and thread safety when using engine_next_reified
|
|
5
|
34
|
March 7, 2025
|
Fsyntax in swipl
|
|
9
|
115
|
March 6, 2025
|
Time_out signal lost when many threads have been created?
|
|
7
|
43
|
March 6, 2025
|
I've put a Nim player on Swish
|
|
2
|
67
|
March 6, 2025
|
Prolog and LLMs/GenAI?
|
|
36
|
576
|
March 4, 2025
|
Docs on XPCE keybinding events?
|
|
2
|
37
|
March 4, 2025
|
SWI on WASM Container
|
|
10
|
244
|
March 4, 2025
|
Building on MacOS in 2024
|
|
3
|
111
|
March 4, 2025
|
A simple RPN calculator
|
|
2
|
63
|
March 1, 2025
|
WASM wait for user input
|
|
31
|
194
|
February 28, 2025
|
SWI-Prolog in the browser using WASM
|
|
0
|
5258
|
August 3, 2022
|
Update to WASM shell
|
|
0
|
57
|
February 25, 2025
|
Ann: SWI-Prolog 9.2.9 (stable)
|
|
2
|
277
|
February 25, 2025
|
Meta_predicate and dict functions
|
|
0
|
30
|
February 25, 2025
|