|
How to uninstall the currently installed version and then install a targeted version?
|
|
9
|
460
|
June 29, 2021
|
|
Foreign Language Interface (integers, exceptions)
|
|
1
|
149
|
June 23, 2021
|
|
Nested Query
|
|
1
|
209
|
June 22, 2021
|
|
Multi-threading when using swi prolog as embeded engine
|
|
11
|
693
|
June 22, 2021
|
|
Good Prolog resources and a good Prolog implementation for a newbie
|
|
9
|
331
|
June 11, 2021
|
|
The existentially quantifying
|
|
2
|
142
|
June 11, 2021
|
|
Locality of Reference linked lists v.s dynamic (resizeable) vectors
|
|
5
|
145
|
May 24, 2021
|
|
Foreign code with PL_assert
|
|
4
|
167
|
May 28, 2021
|
|
Rename specific variables in a term with new names
|
|
4
|
180
|
May 20, 2021
|
|
Merge two predicates in one
|
|
3
|
149
|
May 20, 2021
|
|
Advice for people learning Modern, Declarative Prolog from older texts
|
|
11
|
552
|
May 18, 2021
|
|
Automatically linking "library(this and that)" in Discourse to the docs
|
|
3
|
122
|
May 7, 2021
|
|
Specifying a simple puzzle in CLP
|
|
4
|
1225
|
May 1, 2021
|
|
Are local pengines correctly removed?
|
|
1
|
149
|
April 26, 2021
|
|
Incrementally solving CLP(FD)
|
|
4
|
272
|
April 21, 2021
|
|
Compiling SWIPlCs with Unity WebGL
|
|
0
|
153
|
April 19, 2021
|
|
Windows exe of my program
|
|
1
|
242
|
April 16, 2021
|
|
Interval arithmetic (just a few functions)
|
|
6
|
384
|
April 11, 2021
|
|
FOIL Algorithm Implementation
|
|
2
|
373
|
April 8, 2021
|
|
Multithread Query with JPL
|
|
2
|
150
|
March 25, 2021
|
|
Is there a way to drain STDIN by reading characters in non-blocking mode?
|
|
2
|
236
|
March 15, 2021
|
|
Writing facts including unicode to file
|
|
9
|
327
|
March 14, 2021
|
|
Calling a module-qualified predicate calls the wrong one (IMHO): What guarantees do I get through qualification?
|
|
1
|
187
|
March 13, 2021
|
|
Clauses loaded from a command line are not visible from a module
|
|
2
|
152
|
March 3, 2021
|
|
JPL: error after consulting a file not throwing exception
|
|
1
|
191
|
March 1, 2021
|
|
Running plunit tests from the command line -- who else has a script for that?
|
|
6
|
247
|
February 22, 2021
|
|
Unable to use MQTT library example
|
|
3
|
216
|
February 19, 2021
|
|
Install SWI-Prolog development version on Ubuntu using PPA
|
|
0
|
793
|
May 24, 2020
|
|
Import a predicate from a module that behaves as copy/paste
|
|
5
|
224
|
February 3, 2021
|
|
Old vs new spec of numbervars/4: How to get the old behavior?
|
|
2
|
137
|
January 20, 2021
|
