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

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 `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

Replace futures::executor::block_on with tokio::block_in_place

Documentation

Consult modules

Send pure objects instead of classes

MachineBuilder constructor

Rework Wasm interface

Make Wasm compilable

Merge pull request #2817 from adri326/fix-2815-run_module_predicate-backtrack

Fix backtracking on the topmost predicate triggering UB in run_module_predicate

Merge pull request #2799 from bakaq/callback_streams

Callback streams for use as library

Add builder style configuration of user input, output and error

More stream tests

Disallow null streams in output

Make input and output stream configuration public

Configure streams separately

Refactor UserInput to use channels

Test for callback streams

Add input stream channel

Add callback streams

Merge pull request #2791 from Skgland/patch-1

Expand the build/install section of the readme

Merge pull request #2804 from dnmfarrell/line-count-off-by-one

Line numbers start at 1

Merge pull request #2818 from adri326/stream-cleanup

Fix various issues around close/1 and stream realiasing

Merge pull request #2812 from bakaq/attr_vars_arity_fix

Fix bug in finding arity for verify attributes

Test corner cases of stream aliasing

Fix set_output/1 and set_input/1 not updating the alias

Before this change, the following set of queries would behave incorrectly:

```
?- open("/tmp/out.log", write, S), set_output(S).
   prints(""), write("/tmp/out.log", "S = stream(...)").
?- write(user_output, hello).
   prints("hello"), unexpected.
   prints(""), write("/tmp/out.log", "hello"). % Expected, but not found.
```

Now, `set_output/1` and `set_input/1` properly bind the `user_output` and
`user_input` aliases, making the queries above behave as expected.

Fix stream realiasing possibly shadowing other streams.

Fix realiased streams causing close/1 to leave a dangling stream

Encapsulate accesses to IndexStore::streams and ::stream_aliases

These two fields are able to hold `Stream` instances, which predicates like `close/1`
expect to be managed properly for their correctness. To ensure that this is the case,
I have removed direct accesses to those two fields, so that they can be properly managed
in one place.

Document run_module_predicate and handle critical failure in toplevel.pl

Disable test_run_module_predicate_throw under miri and support rustc < 1.83

Fix backtracking on the topmost predicate triggering UB in run_module_predicate

Fixes #2815, see that issue for my investigation.

This is a one-line fix that I'm quite proud of :)

If the topmost query for `run_module_predicate` needs to backtrack,
then before this commit, one of the following two things may happen:
- A dangling OrFrame is read at stack offset 0
- An AndFrame was at stack offset 0 would be read as an OrFrame

This can be seen by either calling `run_module_predicate` with a
throwing predicate (encountering the second scenario) or a failing
predicate (encountering the first scenario), or by running the following
in the REPL, which triggers a `throw/1` within the error handler, propagating
it all the way up (and encountering the second scenario):

```prolog
?- current_output(S), open(stream(S), write, S0, [type(binary)]).
```

Currently, `Stack` is not equipped with tools to detect this incorrect
behavior, so it would instead try to read an OrFrame at offset 0, which
triggers UB, since transmuting between AndFramePrelude and OrFramePrelude
isn't legal.

In practice, since `AndFramePrelude` is smaller, the later fields of
`OrFramePrelude` would read from the cells following the `AndFramePrelude`,
and would contain nonsensical data, triggering the panic that led to
my investigation in #2815 and that is fairly reliable to witness.

Surprisingly, this wouldn't happen with `run_query`, which led me to
look at how they operate differently. It turns out that `run_query`
inserts an OrFrame at offset 0, which covers both problematic scenarios.

The fix is thus to simply add a call to `Machine::allocate_stub_choice_point`
in `run_module_predicate` :)

Scan entire predicate in InstallVerifyAttr

Fix bug in finding arity for verify attributes

Fix close/1 messing up stream_aliases when user_input or user_output aren't set to Stdin and Stdout

Line numbers start at 1

Bumps the line number for the singleton warning. When the singleton
occurs on the same line at the term starts, the line number is correct:

    foo(X).

However it stills mis-reports this line number as 1 instead of 5:

    foo(1) :-
        true,
        true,
        true,
        Y.

See issue #1356.

Merge pull request #2798 from bakaq/clippy_warnings

Fix clippy warnings

Fix clippy warnings

fix spelling and grammar errors found by mthom

https://github.com/mthom/scryer-prolog/pull/2791#discussion_r1930025598

Merge pull request #2777 from adri326/fix-2772-rnd_i-clipping

Fix invalid casts in is/2

Merge pull request #2738 from adri326/fix-2275-dcgs-call-module

Fix dcgs using call(M:Pred) when M was left unassigned

Merge pull request #2793 from Skgland/fix-ci

fix ci and update all used actions

Add integration tests for arithmetic operators

This extensively tests the behavior of is/2, both when compiled and in metacalls.

Fix integer overflow in >>/2 and <</2

Fix min/2 and max/2 returning the cast version of its arguments

It now behaves the same way as SWI-Prolog.

Fix `X is gcd(1, 2 ^ 64)` triggering a panic

The implementation for gcd/2 would cast the second argument to an isize.

Fix round() losing precision on bigints

The original issue can be reproduced with `X is round(2 ^ 54 + 1) - 2 ^ 54, X = 1.`

Fix rnd_i clipping floats that don't fit in Fixnum

Fixes #2772.

The current implementation of `rnd_i` incorrectly casts `f` (an `f64`)
into an `i64`, before casting it into an `Integer`.

This fixes that issue by using `Integer::try_from(f)` instead,
and failing if `f` is infinite or NaN.

A fixme is left for a future PR to properly handle the resulting errors
in floor/1 and friends (right now they can only be triggered through FFI).

fix typo

FIXED: instantiation and type check for string arguments

This addresses #2790.

The issue first appeared in an example reported by @ak-1 in #2788, and
was successfully analyzed by @flexoron. Many thanks!

Update README.md

fix ambiguity regarding the install location for the cargo install method, also include the binary name