|
About the General category
|
|
0
|
248
|
August 29, 2022
|
|
Welcome to Discourse
|
|
0
|
2934
|
February 4, 2019
|
|
Any Symbolic Expression Lib?
|
|
16
|
175
|
March 15, 2025
|
|
Higher Order and Autograd
|
|
0
|
65
|
March 11, 2025
|
|
Named singleton variables
|
|
4
|
40
|
March 14, 2025
|
|
LLM and Prolog, a Marriage in Heaven?
|
|
8
|
755
|
January 30, 2025
|
|
Spring 2025 Challenge: TicTacToe Transformer
|
|
0
|
74
|
February 24, 2025
|
|
Signaling threads that are waiting on mutexes
|
|
2
|
23
|
March 11, 2025
|
|
Prolog totally missed the AI Boom
|
|
21
|
406
|
March 7, 2025
|
|
Books to start with Prolog
|
|
5
|
66
|
March 10, 2025
|
|
Parameter Learning in cplint similar to ProbLog
|
|
3
|
58
|
March 7, 2025
|
|
Engines and thread safety when using engine_next_reified
|
|
5
|
30
|
March 7, 2025
|
|
Fsyntax in swipl
|
|
9
|
110
|
March 6, 2025
|
|
Time_out signal lost when many threads have been created?
|
|
7
|
39
|
March 6, 2025
|
|
I've put a Nim player on Swish
|
|
2
|
63
|
March 6, 2025
|
|
SWI on WASM Container
|
|
10
|
241
|
March 4, 2025
|
|
A simple RPN calculator
|
|
2
|
55
|
March 1, 2025
|
|
WASM wait for user input
|
|
34
|
191
|
February 28, 2025
|
|
How to convert standard json into prolog json?
|
|
37
|
115
|
February 25, 2025
|
|
Meta_predicate and dict functions
|
|
0
|
29
|
February 25, 2025
|
|
Linked binary of swiprolog does not use SWI_HOME
|
|
9
|
48
|
February 24, 2025
|
|
We have a segfault
|
|
11
|
102
|
February 21, 2025
|
|
Yield based debugging: allow for a fancy debugger for the browser version! - Reply 01
|
|
3
|
50
|
February 21, 2025
|
|
Scrolling up and down in swipl-win does partly delete some of the contents in the window
|
|
3
|
32
|
February 20, 2025
|
|
Thread_wait/2 and empty database
|
|
3
|
38
|
February 17, 2025
|
|
More efficient group_by/4 for SWI-Prolog?
|
|
4
|
82
|
February 17, 2025
|
|
Pack install fails with No rule to make target `install'
|
|
1
|
26
|
February 15, 2025
|
|
Installing swi prolog on colab
|
|
2
|
75
|
February 14, 2025
|
|
Unknown procedure / not a function term
|
|
3
|
38
|
February 12, 2025
|
|
Creating a unique reference
|
|
4
|
54
|
February 11, 2025
|