Bennet Bleßmann
|
25edde2eb4
|
replace filter by tfiltert and fix Pipe{Reader,Writer} streams
|
2025-08-01 20:47:51 +02:00 |
|
Bennet Bleßmann
|
dc08a4ab11
|
get process_create working and add tests
|
2025-08-01 20:47:22 +02:00 |
|
Markus Triska
|
554e956ef5
|
remove another !/0 which is now no longer necessary due to improved indexing
|
2023-07-22 06:52:29 +02:00 |
|
Mark
|
f310ff24a5
|
remove now unnecessary cut in lists.pl
|
2023-07-21 11:35:57 -06:00 |
|
Markus Triska
|
814ce2d672
|
ENHANCED: improved determinism of member/2
Example:
?- member(X, "abc").
%@ X = a
%@ ; X = b
%@ ; X = c.
This addresses #750.
|
2023-07-12 14:39:08 -06:00 |
|
Markus Triska
|
4e60cc46a2
|
rely on first instantiated argument indexing in the definitions of foldl/N
This allows shorter and more natural definitions.
|
2023-05-04 00:50:27 +02:00 |
|
Mark Thom
|
4ee6a7bfb8
|
add '$unattributed_var' builtin (#1758)
|
2023-03-18 23:08:38 -06:00 |
|
Markus Triska
|
56bd596af3
|
use actual toplevel answers
|
2023-03-08 23:35:11 +01:00 |
|
Markus Triska
|
21acb9361a
|
use string notation as discussed on #scryer IRC
|
2023-03-08 23:32:05 +01:00 |
|
Markus Triska
|
c3477d8476
|
items --> elements
This addresses #1740.
|
2023-03-08 23:31:02 +01:00 |
|
Adrián Arroyo Calle
|
4110cfcfcb
|
Fix library(http/http_server) docs. Other minor fixes
|
2023-01-28 16:00:27 +01:00 |
|
Adrián Arroyo Calle
|
46d1e3bee3
|
Migrate from Markdown to Djot
|
2023-01-19 21:15:25 +01:00 |
|
Adrián Arroyo Calle
|
df4b56148f
|
Compatible Doclog docs for library(lists)
|
2022-12-06 13:19:10 +01:00 |
|
Markus Triska
|
ce313b8a6b
|
correct nth0/4 and nth1/4
As per 56b430ecaf (commitcomment-82155379).
|
2022-10-26 23:36:07 -06:00 |
|
Markus Triska
|
1e018681de
|
ENHANCED: Much improved nth0/3, taken from #1529.
This also adds nth0/4 and bootstraps nth1/[3,4] from it.
|
2022-10-26 23:36:07 -06:00 |
|
Markus Triska
|
7c5318b784
|
ENHANCED: Use '$skip_max_list'/4 for greater efficiency of nth0/3.
This is now possible due to 4c7e2eb8614da9c04f2286f6116b468017fb442c.
See #1529 for the suggestion by @UWN.
|
2022-10-26 23:36:07 -06:00 |
|
Mark Thom
|
895b02b641
|
improve length/2 (#1325)
|
2022-03-15 18:43:57 -06:00 |
|
Mark Thom
|
d4d135f2a9
|
fix unexpected error in length/2 (#1303)
|
2022-02-27 11:38:48 -07:00 |
|
Mark Thom
|
e62875ac90
|
tag length/2 as the source of finite_memory errors in list.pl (#1259)
|
2022-01-31 18:08:00 -07:00 |
|
Mark Thom
|
0d653a2ce6
|
improve '$skip_max_list'/4 and length/2 (#1023, #110)
|
2022-01-29 12:47:26 -07:00 |
|
Mark Thom
|
955e1799c8
|
flatten the instruction dispatch loop
|
2022-01-06 22:09:36 -07:00 |
|
Mark Thom
|
0404c3bd94
|
use new heap term representation
|
2022-01-06 21:44:38 -07:00 |
|
panasenco
|
1e5041b8b0
|
Moved MIT header to top of lists.pl
|
2021-05-08 13:32:30 -07:00 |
|
panasenco
|
8724a6b6e2
|
Ported permutation/2 from SWI library(lists)
|
2021-05-07 00:29:48 -07:00 |
|
Mark Thom
|
2fe55e4715
|
resolve calls to tranpose_ and same_length in lists.pl (#790)
|
2021-02-03 16:38:46 -07:00 |
|
Mark Thom
|
cab0e4395a
|
manually expand module names in higher-order predicates of lists.pl and give call_residue_vars/2 a meta-predicate definition
|
2021-02-03 15:37:16 -07:00 |
|
Mark Thom
|
75908ab88f
|
replace (:) with 0 in meta-predicate declarations, remove support for (:) in meta-predicate declarations
|
2021-01-31 18:00:10 -07:00 |
|
Mark Thom
|
a4d15bfb88
|
move to a predicate-based module system, move to loader.[rs|pl]-based compilation, add support for incremental clause compilation
|
2021-01-30 21:07:51 -07:00 |
|
Adrián Arroyo Calle
|
0696a18e0b
|
Change name to list_max, list_min as PR feedback
|
2020-12-06 21:58:37 +01:00 |
|
Adrián Arroyo Calle
|
0cc9388af0
|
Use foldl as PR feedback suggested
|
2020-12-06 17:31:42 +01:00 |
|
Adrián Arroyo Calle
|
a73529969a
|
Add max_list & min_list to lists
|
2020-12-05 14:20:50 +01:00 |
|
Mark Thom
|
33325f1574
|
remove vestigial prolog/ directory (#444)
|
2020-06-12 18:26:38 -06:00 |
|