|
Docker for building Windows version of SWI-Prolog
|
|
3
|
62
|
July 3, 2020
|
|
Why xpce is not being compiled by CMAKE?
|
|
4
|
41
|
July 2, 2020
|
|
SWI-Prolog manual comment section of DCG page can be cleaned up too
|
|
1
|
24
|
July 1, 2020
|
|
. must_be/2 and is_of_type/2 types
|
|
1
|
181
|
November 26, 2019
|
|
Incrementally tabling a predicate that uses rdf
|
|
4
|
55
|
June 30, 2020
|
|
An existential version of maplist?
|
|
4
|
99
|
June 30, 2020
|
|
Ann: SWI-Prolog 8.2.1
|
|
1
|
60
|
June 29, 2020
|
|
Ordering residual goals in query answers
|
|
11
|
132
|
June 28, 2020
|
|
Twitter
|
|
1
|
47
|
June 28, 2020
|
|
Building swipl-dev on Windows Subsystem for Linux
|
|
6
|
61
|
June 28, 2020
|
|
Hybrid dynamic asserted and backtrackable predicate arguments
|
|
1
|
34
|
June 28, 2020
|
|
Block chain/distributed ledger library?
|
|
15
|
340
|
June 27, 2020
|
|
How to write POSIX text files under Windows?
|
|
3
|
38
|
June 26, 2020
|
|
Curve25519 in library crypto
|
|
13
|
88
|
June 26, 2020
|
|
Prolog tree program
|
|
2
|
48
|
June 26, 2020
|
|
Ann: SWI-Prolog 8.3.2
|
|
6
|
196
|
June 25, 2020
|
|
What's the rationale for `must_be/2` to throw on type mismatch?
|
|
16
|
213
|
June 25, 2020
|
|
Bug: indenting breaks on lines with %
|
|
1
|
28
|
June 25, 2020
|
|
Regression logistics please help
|
|
4
|
65
|
June 25, 2020
|
|
C style block -- is it a bad idea
|
|
13
|
180
|
June 24, 2020
|
|
Problem with redefining operators for propositional logic
|
|
2
|
59
|
June 24, 2020
|
|
Source code for process_create/3 and process_create/2
|
|
1
|
38
|
June 22, 2020
|
|
Prolog 8.3.2 GUI can not find [likes] source file
|
|
11
|
107
|
June 22, 2020
|
|
Exported module predicate and alternate goal expansion
|
|
2
|
50
|
June 22, 2020
|
|
Open dif/2 constraint not being printed - may be expected
|
|
3
|
45
|
June 21, 2020
|
|
Can't call library clpfd (Swish)
|
|
10
|
72
|
June 21, 2020
|
|
Install SWI-Prolog development version on Ubuntu using PPA
|
|
1
|
63
|
May 24, 2020
|
|
Why can't I add chr constraints in declaratives when reading a file?
|
|
5
|
47
|
June 20, 2020
|
|
Interval arithmetic (just a few functions)
|
|
6
|
82
|
June 20, 2020
|
|
Upgrade to 8.3.1 from 8.0.3 breaks crypto lib call
|
|
10
|
118
|
June 19, 2020
|
