|
Sweep: SWI-Prolog Embedded in Emacs
|
|
52
|
1967
|
October 3, 2022
|
|
Solving Boolean Equations using ZDD
|
|
0
|
306
|
September 19, 2022
|
|
Unified key-value interface
|
|
9
|
911
|
December 15, 2021
|
|
Inline subterm naming syntax (was: Syntax for unify-and-remember in head?)
|
|
40
|
1597
|
October 14, 2021
|
|
Enhanced thread signal interface
|
|
12
|
722
|
October 13, 2021
|
|
Debug Adapter Protocol (DAP)
|
|
27
|
2763
|
October 5, 2021
|
|
Extendable array for formal power series as array of virtually infinite size
|
|
0
|
450
|
September 6, 2021
|
|
Toplevel name variables
|
|
8
|
735
|
August 27, 2021
|
|
Errors considered harmful
|
|
106
|
5517
|
August 8, 2021
|
|
Backtracking global variables
|
|
0
|
624
|
August 1, 2021
|
|
Prolog Language Server: Enabling swipl integration with Python and other languages
|
|
30
|
3195
|
August 1, 2021
|
|
Library PCE : send/2 get/3 ... or more?
|
|
3
|
456
|
July 31, 2021
|
|
Syntax/semantics for partial dicts
|
|
28
|
1466
|
July 20, 2021
|
|
Optional dependencies for packs?
|
|
5
|
532
|
July 17, 2021
|
|
Weighted graphs
|
|
2
|
763
|
July 15, 2021
|
|
Indicating choice point during debug
|
|
7
|
770
|
May 6, 2021
|
|
A feature upgrade that would be useful for csv_read_file/3
|
|
23
|
2110
|
June 29, 2021
|
|
A page for beginners to add to SWI-Prolog internet site
|
|
34
|
1793
|
June 19, 2021
|
|
VM code refactor - thoughts?
|
|
113
|
4103
|
May 30, 2021
|
|
C stack as environment stack?
|
|
13
|
955
|
May 18, 2021
|
|
Specification and Guide of swi-prolog's Virtual Machine Instructions (VMIs)
|
|
11
|
2273
|
May 9, 2021
|
|
STOMP support
|
|
4
|
749
|
April 22, 2021
|
|
Optimzing context argument in the VM
|
|
13
|
1033
|
April 9, 2021
|
|
Update arg in the dynamic fact base
|
|
15
|
2572
|
April 6, 2021
|
|
Inlining C
|
|
1
|
433
|
March 30, 2021
|
|
SWISH Cabal
|
|
1
|
827
|
March 27, 2021
|
|
PlUnit extension
|
|
7
|
645
|
February 28, 2021
|
|
Suggestion: concurrent_findall
|
|
11
|
1068
|
February 16, 2021
|
|
Mapargs/3?
|
|
22
|
1170
|
January 19, 2021
|
|
First attempt at isolated transactions
|
|
19
|
1822
|
July 12, 2020
|