Mark
|
ce890799bc
|
fix builtin_predicate (#1819)
|
2023-06-27 10:41:15 -06:00 |
|
Mark
|
a6522d6317
|
properly account for partial string offsets in '$skip_max_list' (#1827)
|
2023-06-26 16:36:04 -06:00 |
|
Mark
|
0b45d42912
|
mark chunk boundary at beginning of disjunct in disjuncts.rs (#1843)
|
2023-06-24 17:18:00 -06:00 |
|
Mark
|
d9829a3606
|
fix string incompleteness (#1828)
|
2023-06-24 14:12:08 -06:00 |
|
Mark
|
7a188744da
|
correct code_walker.rs in light of compilation improvements
|
2023-06-23 16:53:18 -06:00 |
|
Mark
|
7f45ac3f7a
|
Merge branch 'compiling_disj'
|
2023-06-23 15:45:04 -06:00 |
|
Mark
|
612861e010
|
correct reversions after rebase
|
2023-06-23 14:32:37 -06:00 |
|
Mark
|
d7f5675727
|
improve call/N implementation (#1829)
|
2023-06-23 14:11:31 -06:00 |
|
Markus Triska
|
2716381e7b
|
FIXED: correct dereferencing in atom_codes/2 and number_codes/2.
This addresses #1818.
Test case:
run :-
length(Ls, L),
portray_clause(L),
maplist(=(X), Ls),
X = Y,
Y = 12,
atom_codes(_, Ls),
false.
|
2023-06-23 14:11:31 -06:00 |
|
Mark
|
749dedf477
|
read from machine stack in stackful pre-order iterator (#1812)
|
2023-06-23 14:11:31 -06:00 |
|
Mark
|
e0f49e8f43
|
optionally read from machine stack in stackful pre-order iterator (#1812)
|
2023-06-23 14:11:31 -06:00 |
|
Mark
|
dae34b6009
|
affirm integers as rational/1 (#1810)
|
2023-06-23 14:11:31 -06:00 |
|
Mark
|
8e4465315f
|
use same logic to print Chars and Atoms (#1804)
|
2023-06-23 14:11:31 -06:00 |
|
Mark
|
9ea6cb4cab
|
backtrack on emission of unsafe register instructions on internal branches
|
2023-06-23 14:11:31 -06:00 |
|
Mark
|
0e583d620a
|
implement new disjunction compilation
|
2023-06-23 14:11:31 -06:00 |
|
Mark Thom
|
b205abe949
|
remove BuildIf, BuildNot, BuildThen TermIterState variants
|
2023-06-23 14:11:31 -06:00 |
|
Mark Thom
|
cb59c3003a
|
correct chunk type labeling
|
2023-06-23 14:11:30 -06:00 |
|
Mark Thom
|
942095baa7
|
remove GetLevelAndUnify and replace it with GetCutPoint
|
2023-06-23 14:11:30 -06:00 |
|
Mark Thom
|
097849385e
|
add QueryTerm::ChunkTypeBoundary
|
2023-06-23 14:11:30 -06:00 |
|
Mark Thom
|
063cf0c608
|
new TermIterState variants
|
2023-06-23 14:11:30 -06:00 |
|
Mark Thom
|
a66d666bed
|
variable classification al a carte
|
2023-06-23 14:11:22 -06:00 |
|
Mark Thom
|
170818759d
|
add more variable probing, chunk type labeling
|
2023-06-23 14:11:07 -06:00 |
|
Mark Thom
|
e41d1b319b
|
adapt code generation
|
2023-06-23 14:11:04 -06:00 |
|
Mark Thom
|
b9c9de5222
|
add classifications and occurrence counting
|
2023-06-23 13:54:46 -06:00 |
|
Mark Thom
|
d565f5901b
|
milestone marker for surgery
|
2023-06-23 13:54:04 -06:00 |
|
Mark
|
98b0ab3409
|
improve call/N implementation (#1829)
|
2023-06-10 17:32:18 -06:00 |
|
Markus Triska
|
5154314786
|
FIXED: correct dereferencing in atom_codes/2 and number_codes/2.
This addresses #1818.
Test case:
run :-
length(Ls, L),
portray_clause(L),
maplist(=(X), Ls),
X = Y,
Y = 12,
atom_codes(_, Ls),
false.
|
2023-05-29 11:43:56 +02:00 |
|
Mark
|
b656700294
|
read from machine stack in stackful pre-order iterator (#1812)
|
2023-05-28 12:59:01 -06:00 |
|
Mark
|
462097d956
|
optionally read from machine stack in stackful pre-order iterator (#1812)
|
2023-05-26 15:19:07 -06:00 |
|
Mark
|
0e374c2e96
|
affirm integers as rational/1 (#1810)
|
2023-05-24 13:58:43 -06:00 |
|
Mark
|
2f9996f9ac
|
use same logic to print Chars and Atoms (#1804)
|
2023-05-10 00:04:35 -06:00 |
|
Mark
|
c5a3ec3ba8
|
fix current_predicate/1 (#1761)
|
2023-04-24 23:23:27 -06:00 |
|
Adrián Arroyo Calle
|
b162c40007
|
Fix to_upper/to_lower when string is instantiated
|
2023-04-23 23:01:29 +02:00 |
|
Mark
|
7d2e59ab64
|
discard CodeIndex literals from unfolded control operators in preprocessor (#1791)
|
2023-04-22 18:38:50 -06:00 |
|
Mark
|
f35298a227
|
add and document inlined_instructions/2 to/in diag.pl (#1791)
|
2023-04-22 18:38:49 -06:00 |
|
Adrián Arroyo Calle
|
4b882c465c
|
library(charsio): add to_upper and to_lower
|
2023-04-18 18:58:09 +02:00 |
|
Markus Triska
|
fe27605497
|
FIXED: number_chars(N, "0' "), addressing #1580.
There may be a more elegant way to solve this.
|
2023-04-02 10:04:52 +02:00 |
|
Mark Thom
|
4ee6a7bfb8
|
add '$unattributed_var' builtin (#1758)
|
2023-03-18 23:08:38 -06:00 |
|
Mark Thom
|
4da646252b
|
Revert "correct call_residue_vars/3 using new copy_term_3 (#1239)"
This reverts commit 9b35a316c9.
|
2023-03-14 21:34:49 -06:00 |
|
Mark Thom
|
9b35a316c9
|
correct call_residue_vars/3 using new copy_term_3 (#1239)
|
2023-03-12 17:56:54 -06:00 |
|
Adrián Arroyo Calle
|
73df96244d
|
Fill more cases
|
2023-03-01 22:13:04 +01:00 |
|
Adrián Arroyo Calle
|
7396630627
|
Merge branch 'master' into ffi
|
2023-02-28 22:10:40 +01:00 |
|
Mark Thom
|
400ca21213
|
invoke '$default_attr_list' in project_attributes.pl (#1748)
|
2023-02-26 22:42:02 -07:00 |
|
Mark Thom
|
3286e78cd2
|
third argument of copy_term should be instantiated as a list (#1747)
|
2023-02-26 22:42:02 -07:00 |
|
Adrián Arroyo Calle
|
f94294dbd9
|
FFI: Nested structs
|
2023-02-26 20:48:00 +01:00 |
|
Mark Thom
|
04ba58067a
|
add, implement and use the Unifier trait
|
2023-02-26 12:21:22 -07:00 |
|
Adrián Arroyo Calle
|
92b262d599
|
Macroization of the code
|
2023-02-25 22:27:28 +01:00 |
|
Adrián Arroyo Calle
|
9d52d2a653
|
MVP of Foreign Function Interface
|
2023-02-22 23:10:03 +01:00 |
|
Mark Thom
|
6e9cd072c5
|
catch attribute_goals errors in copy_term/3, don't discard variable module qualifiers in dcg_body/3 (#1738)
|
2023-02-21 00:50:46 -07:00 |
|
Mark Thom
|
92d543b8a8
|
change '$delete_all_attributes' to '$delete_all_attributes_from_var'
|
2023-02-20 01:11:52 -07:00 |
|