Library PCE : send/2 get/3 ... or more?
|
|
3
|
425
|
July 31, 2021
|
Syntax/semantics for partial dicts
|
|
28
|
1345
|
July 20, 2021
|
Optional dependencies for packs?
|
|
5
|
503
|
July 17, 2021
|
Weighted graphs
|
|
2
|
707
|
July 15, 2021
|
Indicating choice point during debug
|
|
7
|
713
|
May 6, 2021
|
A feature upgrade that would be useful for csv_read_file/3
|
|
23
|
1986
|
June 29, 2021
|
A page for beginners to add to SWI-Prolog internet site
|
|
34
|
1615
|
June 19, 2021
|
VM code refactor - thoughts?
|
|
113
|
3774
|
May 30, 2021
|
C stack as environment stack?
|
|
13
|
900
|
May 18, 2021
|
Specification and Guide of swi-prolog's Virtual Machine Instructions (VMIs)
|
|
11
|
2003
|
May 9, 2021
|
STOMP support
|
|
4
|
702
|
April 22, 2021
|
Optimzing context argument in the VM
|
|
13
|
969
|
April 9, 2021
|
Update arg in the dynamic fact base
|
|
15
|
2275
|
April 6, 2021
|
Inlining C
|
|
1
|
375
|
March 30, 2021
|
SWISH Cabal
|
|
1
|
760
|
March 27, 2021
|
PlUnit extension
|
|
7
|
595
|
February 28, 2021
|
Suggestion: concurrent_findall
|
|
11
|
990
|
February 16, 2021
|
Mapargs/3?
|
|
22
|
1041
|
January 19, 2021
|
First attempt at isolated transactions
|
|
19
|
1731
|
July 12, 2020
|
Debugger interrupts
|
|
5
|
699
|
December 22, 2020
|
Log 2
|
|
8
|
1408
|
December 21, 2020
|
In due time goal_expansion/2 will be replaced by providing inline predicates
|
|
0
|
416
|
December 18, 2020
|
How would you implement things library(yall) without goal_expansion/2
|
|
0
|
490
|
December 18, 2020
|
Towards an infrastructure for examples
|
|
20
|
1393
|
December 17, 2020
|
How about predefined dict function Dict.get(Key, Default)
|
|
2
|
678
|
December 2, 2020
|
During uninstall prompt to check for source files in install directory
|
|
2
|
432
|
November 21, 2020
|
Feedback please on proposed update to Tutorials/Beginner/Debugger
|
|
13
|
1072
|
November 14, 2020
|
Redis output conversion
|
|
0
|
377
|
October 30, 2020
|
Library(redis) pipelining?
|
|
24
|
895
|
October 23, 2020
|
Library(strings) - dedent_string, indent_string, split_lines
|
|
16
|
1354
|
September 27, 2020
|