This website requires JavaScript.
d19a8d6b98
begin to mark registers as safe from built-in predicates like is/2 (#1545 )
2022-11-13 21:43:14 -07:00
c90dd80ece
revise UnsafeVarMarker (#1545 )
2022-11-13 20:51:40 -07:00
eb9d865635
Merge pull request #1635 from mthom/rebis-dev
2022-11-10 07:18:10 +01:00
694c87cb61
bump version to 0.9.1
2022-11-10 06:49:50 +01:00
c41aba6b90
remove num-rug-adapter
2022-11-10 06:56:23 +01:00
28ea672e36
move asserta/2, assertz/2 to iso_ext
2022-11-10 06:47:32 +01:00
9366a48d6d
introduce InlineTermStream to avoid arena allocations during call_inline (#1576 )
2022-11-08 23:55:22 +01:00
d91ee5b77c
FIXED: CLP(ℤ): Correctly remove all attributes during propagation of all_distinct/1 and other global constraints.
2022-10-24 19:18:49 +02:00
fd97b84916
build partial strings using PStrLoc in write_term_to_heap (#1627 )
2022-10-23 16:30:41 -06:00
23f59970cb
export asserta/2 (#1623 )
2022-10-23 15:38:39 -06:00
8781e03863
cache ball terms before unifying in handle_ball/3 (#1608 )
2022-10-22 22:56:06 -06:00
f2940ddfcf
Some minor fixes. Thanks to @triska for them!
2022-10-09 18:09:52 +02:00
140149f051
fix crash in read_term (#1616 )
2022-10-04 10:21:50 -06:00
9055370326
adjust rust-version declaration
2022-09-15 19:27:49 +02:00
1af62c8d11
Set default Shell
2022-09-12 23:32:00 +02:00
ec5430826e
Add Windows MSYS2
2022-09-12 23:24:40 +02:00
b2cccab768
ENHANCED: library(crypto): Faster conversion to bytes when the integer is known.
2022-09-08 19:45:43 +02:00
579aa8acd4
use newly available u8s_to_string
2022-09-03 21:25:19 +02:00
9c2cb144b5
remove redundant error handling, since this case is checked in Prolog
2022-09-03 21:18:27 +02:00
3d04689660
introduce and use u8s_to_string
2022-09-03 20:40:15 +02:00
a891cc4edf
use (slightly) better variable names
2022-09-03 20:04:28 +02:00
706ab2ae5b
use newly available must_be(chars, ...) for better and shorter type test
2022-09-03 19:58:51 +02:00
9c1de8e00b
ENHANCED: Eliminate the OpenSSL dependency of library(crypto).
2022-09-03 13:30:57 +02:00
1109e05e06
properly match strings concluding with characters in lists (#1597 )
2022-09-01 21:14:50 -06:00
ce313b8a6b
correct nth0/4 and nth1/4
2022-08-25 19:30:30 +02:00
7c96b91663
remove nth1/3, which is now provided by library(lists)
2022-08-25 00:03:47 +02:00
87e966e185
remove nth1/3, which is now provided by library(lists)
2022-08-25 00:03:30 +02:00
1e018681de
ENHANCED: Much improved nth0/3, taken from #1529 .
2022-08-24 21:11:54 +02:00
5b324680ba
ADDED: must_be/can_be(not_less_than_zero, ...)
2022-08-24 21:05:44 +02:00
abca5fc405
better implementation of list_si/1
2022-08-23 21:21:17 +02:00
6a455d2866
ADDED: chars_si/1, testing for a string
2022-08-23 19:54:11 +02:00
70da818101
use new domain names from library(error): octet_character, octet_chars
2022-08-22 22:08:10 +02:00
5ec837acb4
ADDED: octet_character and octet_chars, testing for strings that represent bytes.
2022-08-22 21:54:03 +02:00
76e33d051c
rely on the built-in DCG expansion, per discussion in #1577
2022-08-21 18:59:36 +02:00
7c5318b784
ENHANCED: Use '$skip_max_list'/4 for greater efficiency of nth0/3.
2022-08-21 13:51:12 +02:00
47892bf24a
ENHANCED: Improve determinism of ... //0 and seq//1.
2022-08-21 14:29:32 +02:00
8a9cd7779c
offset into complete strings with '$skip_max_list'/4 (#1529 )
2022-08-20 20:28:49 -06:00
d4c0277065
don't return ops with priority 0 when building set for current_op (#1571 )
2022-08-19 23:41:47 -06:00
069e132c0e
treat functors with PI '.'/2 as lists (#1570 )
2022-08-14 16:14:53 -06:00
4e6c138099
introduce expand_call_goal/3 to expand goals in control meta-predicates (#1568 )
2022-08-14 13:18:34 -06:00
0ab355eada
use a DCG to describe the path
2022-08-14 08:23:39 +02:00
44825826df
remove entailed must_be/2 goals
2022-08-14 08:11:15 +02:00
612f09893c
use newly available ... //0 from library(dcgs)
2022-08-13 21:42:44 +02:00
e9f507b868
add meta_predicate/1 declaration for phrase_to_file/3
2022-08-13 21:39:08 +02:00
78278c804f
strip modules from GRBody in phrase/3 (#1565 )
2022-08-13 20:46:52 -06:00
b51460a59a
fail on non-list solutions in setof/3 (#1553 )
2022-08-13 10:14:37 -06:00
181be5be3f
HTTP Server 2.0
2022-08-11 20:25:19 +02:00
91d4e91f53
prefix inlined goals with module names in expand_subgoal/5 (#1551 )
2022-08-06 16:15:25 -06:00
ad3ae7991b
try to invoke '$call_inline' a second time in call/N (#1543 )
2022-07-25 13:52:24 -06:00
c7caf6b7a9
ENHANCED: CLP(ℤ): Reduce redundant propagator invocations during all_distinct/1 filtering
2022-07-25 20:08:54 +02:00
4422ffe39f
add meta_predicate/1 declarations
2022-07-25 00:10:32 +02:00
1ff52f70aa
resolve phrase modules internally (#1541 )
2022-07-24 15:20:53 -06:00
fce45167a5
fail when exception caught from subgoal expansion (#1535 )
2022-07-24 13:36:34 -06:00
b8f384045c
fix module resolution in dcgs, call/N (#1539 )
2022-07-24 00:59:42 -06:00
ea95a7900c
deduplicate index ptr inlining for 0-arity atoms (#1538 )
2022-07-23 13:16:02 -06:00
edea1273c8
trim get_structure and put_structure arities when last arg is an index ptr (#1536 )
2022-07-22 21:34:38 -06:00
ec9c763211
print index_ptr offset (#1534 )
2022-07-22 13:10:12 -06:00
5a08117e75
use separate predicate for findall cleanup
2022-07-20 21:16:17 -06:00
0aec980aa8
inference count call_inline, fail on undefined index
2022-07-20 13:31:44 -06:00
6b05ee5130
streamline assertz/1, asserta/1
2022-07-19 20:29:22 -06:00
1ffbf63d20
inline metacalls
2022-07-12 22:39:50 -06:00
c7e1f5d568
Merge pull request #1630 from epilys/fix-1625
2022-10-26 23:37:36 -06:00
b905d2758d
fix type_error with instantiated EOF -1 byte literal in get_byte/2
2022-10-26 13:49:38 +03:00
311d985145
Merge pull request #1628 from epilys/fix-1626
2022-10-25 20:46:49 -06:00
a9a06b5297
Fix xor/2 type error reporting wrong argument
2022-10-24 19:26:43 +03:00
6b8e620495
Merge pull request #1530 from RossSmyth/FixImports
2022-07-18 21:36:46 -06:00
577f85099d
Fixed imports num-rug-adapter
2022-07-17 02:06:37 -04:00
607c84a79b
capture and propagate (=..)/2 errors in phrase/{2,3} (#1460 )
2022-06-21 22:47:55 -06:00
2eec6499ff
propagate inference_limit_exceeded errors through the loader (#1298 )
2022-06-18 11:26:31 -06:00
cd1150c11d
use setup_cal_n_init_goal_info in dynamic_module_resolution
2022-06-15 22:32:05 -06:00
987bbdecf5
improve efficiency of call/N, replace '$call_with_default_policy' with '$call_with_inference_counting'
2022-06-12 22:17:44 -06:00
a68394b6f2
simplify detecting undefined goal_ and term_expansion
2022-06-07 21:45:26 -06:00
3d6fbabc86
Merge pull request #1510 from Skgland/add-gitattributes
2022-06-12 15:44:14 -06:00
1479b5d38c
add a .gitattributes file
2022-06-12 15:39:55 +02:00
336311ecc8
replace call with $call in more meta-predicates
2022-06-05 20:53:07 -06:00
e9bb35c895
emit indexing instructions in single clauses of dynamic predicates
2022-06-04 23:43:48 -06:00
ab4f93dcee
do not emit indexing instructions for single clause subsequences (#1503 )
2022-06-04 15:29:00 -06:00
140a199805
Merge pull request #1505 from Skgland/optional_rustfmt
2022-06-04 09:56:51 -06:00
232b66cfc3
adjust error message on failed formatting
2022-06-03 23:50:17 +02:00
11ba7e47fd
make rustfmt optional
2022-06-03 23:35:55 +02:00
c36d4a9c9a
unmark cells in arith_eval_by_metacall (#1497 )
2022-06-01 00:02:11 -06:00
4b5c22864e
don't print superfluous round brackets in curly braces (#1416 )
2022-05-31 23:34:55 -06:00
5e1faeb5d2
fix broken quoting in writeq/1 (#1498 )
2022-05-31 18:12:19 -06:00
4b7c2ba6c8
fix off-by-one error reporting in write_term/3 (#1490 )
2022-05-30 23:25:44 -06:00
b9285f8de1
don't quote most characters in strings (#1495 , #301 )
2022-05-30 23:09:20 -06:00
084fc84590
use existence_error for dropped streams (#1472 )
2022-05-23 11:15:58 -06:00
7a9b71cc03
Merge pull request #1485 from triska/in_character
2022-05-22 19:52:19 -06:00
6b49653754
use in_character
2022-05-22 22:43:48 +02:00
d5fa8cc211
ADDED: must_be(in_character, ...) and can_be(in_character, ...)
2022-05-22 22:43:01 +02:00
10a11c293e
fix stream position and term comparison bugs (#1472 )
2022-05-22 14:15:56 -06:00
e486862db8
Merge pull request #1484 from aarroyoc/fix-windows-build-2
2022-05-22 10:15:16 -06:00
1c8aae0839
MSI installer
2022-05-22 14:18:51 +02:00
6feb1f8b82
Fix build on Windows 10
2022-05-22 13:18:11 +02:00
bef8eb538c
throw a representation error if max arity is exceeded (#1483 )
2022-05-22 00:03:55 -06:00
4e3b066555
Merge pull request #1482 from triska/multiple_of_five_answers
2022-05-21 12:35:35 -06:00
4d23542ef3
add max arity checks at various stages (#1459 )
2022-05-21 12:32:48 -06:00
47a6b498e3
ENHANCED: "f" on toplevel to report answers up to the next multiple of 5.
2022-05-21 18:20:08 +02:00
b6f77f4e6f
check asserta/2, assertz/2, abolish/2 for uninstantiated Module variables (#1475 )
2022-05-16 20:45:45 -06:00
b96cd06129
detect character type errors in atom_{chars|codes}/2 (#1472 )
2022-05-16 16:32:38 -06:00
e8eb6765bd
Merge pull request #1478 from triska/sgml_improvements
2022-05-15 09:44:44 -06:00
Mark Thom