|
Good Prolog resources and a good Prolog implementation for a newbie
|
|
11
|
116
|
June 11, 2021
|
|
The existentially quantifying
|
|
2
|
53
|
June 11, 2021
|
|
Locality of Reference linked lists v.s dynamic (resizeable) vectors
|
|
5
|
87
|
May 24, 2021
|
|
Foreign code with PL_assert
|
|
4
|
78
|
May 28, 2021
|
|
Rename specific variables in a term with new names
|
|
4
|
91
|
May 20, 2021
|
|
Merge two predicates in one
|
|
3
|
74
|
May 20, 2021
|
|
Advice for people learning Modern, Declarative Prolog from older texts
|
|
13
|
321
|
May 18, 2021
|
|
Automatically linking "library(this and that)" in Discourse to the docs
|
|
3
|
63
|
May 7, 2021
|
|
Specifying a simple puzzle in CLP
|
|
4
|
745
|
May 1, 2021
|
|
Are local pengines correctly removed?
|
|
1
|
85
|
April 26, 2021
|
|
Incrementally solving CLP(FD)
|
|
5
|
144
|
April 21, 2021
|
|
Compiling SWIPlCs with Unity WebGL
|
|
0
|
86
|
April 19, 2021
|
|
Windows exe of my program
|
|
1
|
140
|
April 16, 2021
|
|
Interval arithmetic (just a few functions)
|
|
8
|
234
|
April 11, 2021
|
|
FOIL Algorithm Implementation
|
|
2
|
150
|
April 8, 2021
|
|
Multithread Query with JPL
|
|
2
|
93
|
March 25, 2021
|
|
Is there a way to drain STDIN by reading characters in non-blocking mode?
|
|
2
|
159
|
March 15, 2021
|
|
Writing facts including unicode to file
|
|
14
|
195
|
March 14, 2021
|
|
Calling a module-qualified predicate calls the wrong one (IMHO): What guarantees do I get through qualification?
|
|
1
|
118
|
March 13, 2021
|
|
Clauses loaded from a command line are not visible from a module
|
|
2
|
108
|
March 3, 2021
|
|
JPL: error after consulting a file not throwing exception
|
|
1
|
90
|
March 1, 2021
|
|
Running plunit tests from the command line -- who else has a script for that?
|
|
6
|
185
|
February 22, 2021
|
|
Unable to use MQTT library example
|
|
3
|
126
|
February 19, 2021
|
|
Install SWI-Prolog development version on Ubuntu using PPA
|
|
0
|
423
|
May 24, 2020
|
|
Import a predicate from a module that behaves as copy/paste
|
|
5
|
147
|
February 3, 2021
|
|
Old vs new spec of numbervars/4: How to get the old behavior?
|
|
2
|
102
|
January 20, 2021
|
|
What does lib:Schema do in the RDF manifest file?
|
|
3
|
157
|
December 31, 2020
|
|
Confusing behavior of sequence//3 and sequence//5 from dcg/high_order
|
|
18
|
588
|
December 25, 2020
|
|
Data structure for rules in JPL
|
|
4
|
172
|
December 23, 2020
|
|
How to check for unique "primary keys"
|
|
4
|
184
|
December 23, 2020
|
