fix variadic_functor

fix parsing partial number tokens in other radixes (#3000)

fmt improvements

correct number_chars (#2976)

use granular hierarchical locks in offset_table.rs

synchronize offset table growth with the borrowing of offset pointers

use OffsetTableImpl without synchronization by default

fix crash when loading html

make Fixnum::build_with harder to accidentally misuse
change trait bound order for better

Align the heap to the size of heap cells

Add scan_slice_to_str_from_start

correct threshold marking in copy_structure (#2920)

FIXED: correct partial string tail calculation in arg/3

This addresses another aspect of #2924, found by @haijinSk.
Thank you again!

Example:

    ?- "aaaaaaa" = [_,_,_,_,_,_|T], arg(2, T, 2).
       false.

FIXED: arg/3 for partial strings

This address #2924, reported by @haijinSk. Thank you a lot!

Example:

    ?- arg(2, "a", A).
       A = [].

The fact that such a mistake in macro usage is even possible could be
a sign that the macro definition should be stricter.

fix cont function crashes (#2920)

replace deprecated unify_complete_string call with allocate_cstr

Migrate to strict and exposed provenance

allow unused_parens around let statement in functor! macro

FIXED: invoke correct predicate

Noted by Oleg Finkelstein. Many thanks!

ENHANCED: partial_string/3 no longer creates atoms

As a consequence, resulting strings are now quickly reclaimed on
backtracking.

This addresses #2912.

Test case:

    :- use_module(library(iso_ext)).
    :- use_module(library(lists)).

    ab(a).
    ab(b).

Sample query:

    ?- length(Ls, 1_000_000),
       maplist(ab, Ls),
       partial_string(Ls, Es0, []),
       Es0 == Ls.
       Ls = "aaaaaaaaaaaaaaaaaaa ...", Es0 = "aaaaaaaaaaaaaaaaaaa ..."
    ;  Ls = "aaaaaaaaaaaaaaaaaaa ...", Es0 = "aaaaaaaaaaaaaaaaaaa ..."
    ;  Ls = "aaaaaaaaaaaaaaaaaaa ...", Es0 = "aaaaaaaaaaaaaaaaaaa ..."
    ;  Ls = "aaaaaaaaaaaaaaaaaaa ...", Es0 = "aaaaaaaaaaaaaaaaaaa ..."
    ;  Ls = "aaaaaaaaaaaaaaaaaaa ...", Es0 = "aaaaaaaaaaaaaaaaaaa ..."
    ;  ... .

running in constant memory.

ENHANCED: use a fast test for the expected case of chars in atom_chars/2 etc.

Suggested by Oleg Finkelstein, thank you a lot!

Example, before this change:

    ?- t+\(length(As, 1_000_000), maplist(=(a), As), time(atom_chars(A, As))).
       % CPU time: 0.693s, 7_000_041 inferences
       true.

Now:

    ?- t+\(length(As, 1_000_000), maplist(=(a), As), time(atom_chars(A, As))).
       % CPU time: 0.080s, 40 inferences
       true.

This also partially ameliorates #2907.

correct heap-to-cell-index comparison in copy_slice_to_end (#2906)

fix functor! size calculations around indexing_code_ptr

restore tab completion to REPL (#2575)

make self.s_offset use bytes in case of HeapPtr::PStr in UnifyVoid (#2897)

correct heap_print.rs for null characters being excluded from pstr regions of heap (#2890)

correctly increment s_offset for partial strings (#2897)

fix typo in try_from_partial_string

fix read_s logic around HeapPtr::PStrLoc (#2894)

repair cyclic PStrLoc handling in heap_print.rs

remove compare_pstr_to_string and related result type

ENHANCED: dedicated faster branches for repositionable streams

rebis-dev makes the speed difference especially apparent due to the
linear scan of strings on the heap in partial_string_tail/2 which is
now avoided for repositionable streams, notably files.

This addresses #2888 reported and analyzed by @haijinSk. Many thanks!

correct GetPartialString (#2887)

generalize compare_pstr_segments

ensure '\0' atom is static & never inlined (#2880)

fix root reading of complete strings (#2882)

some cosmetic tweaks

mark done item

correct and simplify compute_pstr_size

correct create_partial_string (#2593)

restore more tabu_list use to compare_term_tests (#2633)

restore tabu_list insertions to PStr-Lis comparisons (#2636)

do not allow strings containing null characters to be inlined (#2848)

move CodeIndex to F64Table-like table

Revert "remove Term"

This reverts commit 3b5879841aedecba5057c70c71da0ba23e5cd84a.

make write_with forward return values, use it to correct partial string handling

read Str focus properly in build_meta_predicate_clause

some fixes in response to miri

Fix parsing of \x0\ in partial strings

copy partial string blocks properly in all solutions predicates

run cargo fmt

remove pstr_vec

globalize ALIGN_CELL/ALIGN, fix compute_pstr_size

Fix allocate_pstr randomly refusing to properly allocate memory

This one was a toughie: it turns out that using `ptr::align_of()`` was
a bad idea, since the buffer in `Heap` itself is not aligned to
`Heap::heap_cell_alignment()`, so `ptr::align_of()` would sometimes
return lower values than expected.

That made for an heisenbug: if the alignment of the heap happened to be 4,
then the bug wouldn't trigger.

Fix Heap::drop not accounting for null-initialized HeapInner

dereference clause_clause value, reserve more parser space (#2579)

unmark_cell_bits! in push_literal (#2645)

introduce bespoke Heap type for in-heap partial strings

variable revision

remove Term

restore ubuntu testing to ci.yml with rust version 1.77

throw syntax error after parsing infinite floats (#2998)

don't skip '.' char in parse_number_from_string (#2997)

modify number_token to produce partial lexing results (#2986)

be more careful about concatenating '.' in parse_number_from_string (#2986)

Merge pull request #2970 from notoria/clpz

Make `(mod)/2` stronger in CLP(Z)

Merge pull request #2980 from triska/hophrase

use nonterminal indicators, correct meta_predicate/1 for higher-order phrase//N

use nonterminal indicators, correct meta_predicate/1 for higher-order phrase//N

Noted by @UWN in https://github.com/mthom/scryer-prolog/discussions/2872.

Many thanks!

Merge pull request #2965 from rotu/zygomorphic-puma

Remove obsolete compatibility for Rust<1.80

Strengthened `(mod)/2` in CLP(Z)

?- 8 #= -1 mod #Y.
   clpz:(Y in 9..sup), clpz:(-1 mod#Y#=8). % unexpected
Expected: Y = 9
?- 8 #= -12 mod #Y.
   clpz:(Y in 9..sup), clpz:(-12 mod#Y#=8). % unexpected
Expected `Y` with finite domain

Strengthened `(mod)/2` in CLP(Z)

?- 0 #= 2 mod #Y.
   clpz:(Y in inf.. -1\/1..sup), clpz:(2 mod#Y#=0). % unexpected
Expected: clpz:(Y in-2.. -1\/1..2), clpz:(2 mod Y#=0)

Strengthened `(mod)/2` in CLP(Z)

?- Z = 8, X = 9, #Z #= #X mod #Y.
   Z = 8, X = 9, clpz:(Y in 9..sup), clpz:(9 mod#Y#=8). % unexpected
Expected: false

Remove obsolete compatibility for Rust<1.80

Merge pull request #2955 from rotu/radical-cockroach

Remove xor as a builtin infix operator

Merge pull request #2956 from bakaq/update_arcu_libffi

Update dependencies and fix breaking changes in libffi-sys and arcu

xor is not a standard operator

Update dependencies and fix breaking changes in libffi-sys and arcu

Merge pull request #2950 from triska/meetups

link to Scryer Prolog Meetup 2025 page and its announcement

link to Scryer Prolog Meetup 2025 page and its announcement

Merge pull request #2802 from adri326/null-stream-safety

Fix UB when interacting with Stream::Null(_)

Merge pull request #2930 from triska/meetups

ADDED: Section about Scryer Prolog Meetups.

correct grammar

ADDED: Section about Scryer Prolog Meetups.

Merge branch 'null-stream-safety' of https://github.com/adri326/scryer-prolog into adri326-null-stream-safety

Merge pull request #2901 from matteob8/patch-1

Update http_server.pl

use loader:strip_subst_module/4 in second module check of retract/1 (#2891, #2893)

Merge pull request #2905 from bakaq/bump-msrv

Bump MSRV and update flake.lock

Remove Ubuntu 20.04 runner

Bump MSRV and update flake.lock

Merge pull request #2895 from hakujin/master

Update `libffi` and `libffi-sys` dependencies to fix aarch64 macOS build

Update http_server.pl

changed top/0 to the more meaningful run/0 name.

Update http_server.pl

Avoid overwriting of predicate and made explicit reference to the loading of library(http/http_server).

Update `libffi` and `libffi-sys` dependencies to fix aarch64 macOS build

Pulls in latest `libffi` and `libffi-sys` dependencies to fix a
compilation error on aarch64 macOS builds.

Merge pull request #2873 from constraintAutomaton/doc/update-readme-wasm-example

update of the WebAssembly example in README

Merge pull request #2879 from triska/ad4m

enumerate applications, add AD4M by @coasys

enumerate applications, add AD4M by @coasys

Example update to use iterable.

Merge branch 'master' into doc/update-readme-wasm-example

Merge pull request #2875 from constraintAutomaton/feature/wasm-result-iterator

Make `WasmQueryState` Iterable in JavaScript

mark cyclic lists with ellipses at the head (#2635)