|
Unexpected behavior of findnsols (&findall)
|
|
2
|
108
|
May 15, 2023
|
|
finder find_file
|
|
2
|
116
|
May 13, 2023
|
|
Encoding problem
|
|
9
|
106
|
May 11, 2023
|
|
Kindly asking for Directions and Guidance about Single Predicate and Single Rule to find 3 items in list in decreasing by 2
|
|
2
|
126
|
May 6, 2023
|
|
WASM updates (Reply 1)
|
|
4
|
168
|
May 5, 2023
|
|
Kindly Requesting Guidance and Direction
|
|
9
|
134
|
May 4, 2023
|
|
Yaml's treatment of single letter values
|
|
2
|
98
|
May 4, 2023
|
|
Status of Triple20 & ClioPatria
|
|
9
|
182
|
May 4, 2023
|
|
Making practical use of Event Calculus + SCASP
|
|
1
|
123
|
May 2, 2023
|
|
Best practice for resource disposal in TCP connection
|
|
3
|
107
|
April 29, 2023
|
|
Solved. XPCE Tools no longer work after upgrading os OSX Ventura
|
|
2
|
118
|
April 28, 2023
|
|
Read lines of STDIN until EOF into a list
|
|
1
|
154
|
April 28, 2023
|
|
Send queries unobtrusively to the terminal
|
|
6
|
126
|
April 27, 2023
|
|
Difficulty installing SWEEP
|
|
11
|
270
|
April 24, 2023
|
|
Translating Imogen (an intuitionistic theorem prover for FOL) into a Prolog prover?
|
|
5
|
497
|
September 15, 2020
|
|
Answers to queries not written to stdout on WASM + Node
|
|
4
|
83
|
April 19, 2023
|
|
SWI Prolog won't compile or load code
|
|
1
|
103
|
April 19, 2023
|
|
How detect end of file while reading JSON?
|
|
0
|
92
|
April 15, 2023
|
|
How to compare/3 without surprises on non-ground terms?
|
|
82
|
966
|
March 31, 2023
|
|
Changing the default font in xpce
|
|
0
|
116
|
April 13, 2023
|
|
Explain/1,2 seemingly not working with "include"
|
|
0
|
81
|
April 12, 2023
|
|
How to call an interactive Dialog to choose a directory with xpce
|
|
1
|
122
|
April 6, 2023
|
|
Firebase Functions + SWI-Prolog WASM (Node) - Memory build-up issue
|
|
5
|
208
|
April 3, 2023
|
|
Water Jug problem using state space and dfs in prolog
|
|
2
|
864
|
March 29, 2023
|
|
Calling prolog from Java with JPL, hasSolution() not responding
|
|
3
|
98
|
March 23, 2023
|
|
Determine whether reached end of an open list
|
|
16
|
186
|
March 22, 2023
|
|
Connecting to sqlite3 with ODBC: choosing a database file?
|
|
3
|
318
|
March 19, 2023
|
|
Aborting file loading
|
|
7
|
148
|
March 18, 2023
|
|
Using the wasm version
|
|
3
|
199
|
March 18, 2023
|
|
Missing elements from explanation trees in s(CASP)
|
|
2
|
161
|
March 17, 2023
|