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)

Made WasmQueryState an iterable.

Merge pull request #2874 from triska/read_from_chars_instantiated

generalize read_from_chars/2 and read_term_from_chars/3 to allow instantiated Term

generalize read_from_chars/2 and read_term_from_chars/3 to allow instantiated Term

This addresses part of #2871, raised by @haijinSk. Many thanks!

Fix DOM manipulation to avoid deprecated functions in Sudoku solver example.

better identation of the knowledge base.

Useless console.log in the example deleted.

Update README with working WebAssembly usage example.

Merge pull request #2869 from triska/format_w

ENHANCED: format specifier ~w more faithfully emulates write/1

move ~w to least prominent position, point to more suitable specifiers

In particular, "~q" is a safe better choice.

ENHANCED: format specifier ~w more faithfully emulates write/1

In particular, variables now start with "_".

Example:

    ?- format("~w", [X]).
    %@ _A   true.

Found thanks to a discussion initiated by @haijinSk:

    https://github.com/mthom/scryer-prolog/discussions/2863

Merge pull request #2861 from averms-forks/update-deps

Update and clean up dependencies.

Merge pull request #2860 from averms-forks/push-spzqsznlnlnm

Use backticks when referencing predicate in docs.

Install correct locked version of iai-callgrind-runner in CI.

Update lexical.

The previous versions of lexical and lexical-core we were using were
subject to the following security advisories:

- https://rustsec.org/advisories/RUSTSEC-2023-0086
- https://rustsec.org/advisories/RUSTSEC-2023-0055

Remove unused deps: regex, assert_cmd, predicates-core.

regex was introduced in commit 9e85be11fecd00b3d0be8b828eb0dd5cfb57e60a
but isn't used anymore.

assert_cmd and predicates-core were introduced in
e1c681fffead4d63caa0d0b902196224b651f465 for tests but aren't used
anymore.

Dependency count in Cargo.lock drops from 428 to 421.

Update ordered-float to 5.0.0.

Update scraper and ego-tree.

This gets rid of 4 dependencies, as verified by the output of

    yj -tj < Cargo.lock | jq -c '.package | length'

Previously it was 432, now it is 428.

Bump dependencies except for arcu v0.1.1 and half 2.4.1.

arcu is not updated for reasons laid out in issue #2749.
half is not updated because going to 2.5.0 would require an MSRV bump 1.81.

Previous versions of idna, openssl, and ring were subject to the
following security advisories:

- https://rustsec.org/advisories/RUSTSEC-2025-0009
- https://rustsec.org/advisories/RUSTSEC-2025-0004
- https://rustsec.org/advisories/RUSTSEC-2024-0421

Use backticks when referencing predicate in docs.

Trivial change but this prevents the HTML output from being erroneously italicized.

Merge pull request #2847 from triska/call_with_error_context

ADDED: type pair

ADDED: type pair

Merge pull request #2846 from triska/call_with_error_context

ADDED: call_with_error_context/2

ADDED: call_with_error_context/2

See https://github.com/mthom/scryer-prolog/discussions/2839 for more information.

Merge pull request #2837 from notoria/next

Fix conversion from float to rational

Merge pull request #2836 from triska/format_floats

Correct handling of floats in format/2 and portray_clause/1

FIXED: portray_clause/1 for numbers

correct handling of floats with N digits (~f and ~Nf)

This addresses #2771. Many thanks to @tmerr for reporting the issue!

The code was posted by @UWN in:

    https://github.com/mthom/scryer-prolog/discussions/2805

Many thanks! With additional inputs by @adri326 and @notoria, who also
posted interesting approaches which could help to increase precision
in cases that are currently not ideally handled. Thank you all!

Please see the issue and discussion for more information.

Fix conversion from float to rational

Merge pull request #2835 from thierrymarianne/fix-http_open-hanging-on-top-of-main-branch

Prevent http_open/3 from hanging

Merge pull request #2792 from triska/must_be_chars

FIXED: instantiation and type check for string arguments

Merge pull request #2825 from bakaq/wasm_rework

Wasm rework