clippy

Fix all orderings in integration assertions

Remove test with long program literals, not needed

More ordering adjustments

fix style errors

index stub choice point correctly

Extract failing assertion as single test case

Adjust some first result orderings in integration assertions

check for True or False Query Resolution unconditionally

fmt

Add more test cases to differentiate usage of discontiguous

Minimal reproduction of faulty behaviour seen in integration tests

Merge branch 'master' into library-use-case

Add expected results to integration test

Results are logs of what we get with old toplevel-based version of lib_machine. These are also congruent with what our tests logged out based on SWI.

scan registers of instructions leading to verify_attributes interrupt to find the number of registers to save (#2307)

add non chunk traversing cut family instructions to is_head_instr (#2307)

Merge pull request #2308 from triska/small_format_improvements

Small format improvements

update answers using latest toplevel output

rely on recently improved argument indexing for determinism

This is possible as of 4fd37335f576240c25dfbfe6e70441aff166c60e.

move call_residue_vars/2 from atts.pl to iso_ext.pl

don't mark temp variables as safe through argument_to_value (#2307)

Merge pull request #2306 from triska/dcg_representation

No longer use (->)//2 in library(clpb)

Merge pull request #2305 from mthom/dependabot/cargo/h2-0.3.24

Bump h2 from 0.3.22 to 0.3.24

improve error context

Source: https://github.com/mthom/scryer-prolog/issues/2304#issuecomment-1906434756

no longer use (->)//2, since it is implementation defined

This addresses #2304.

Bump h2 from 0.3.22 to 0.3.24

Bumps [h2](https://github.com/hyperium/h2) from 0.3.22 to 0.3.24.
- [Release notes](https://github.com/hyperium/h2/releases)
- [Changelog](https://github.com/hyperium/h2/blob/v0.3.24/CHANGELOG.md)
- [Commits](https://github.com/hyperium/h2/compare/v0.3.22...v0.3.24)

---
updated-dependencies:
- dependency-name: h2
  dependency-type: indirect
...

Signed-off-by: dependabot[bot] <[email protected]>

Merge pull request #2303 from mthom/dependabot/cargo/shlex-1.3.0

Bump shlex from 1.2.0 to 1.3.0

Bump shlex from 1.2.0 to 1.3.0

Bumps [shlex](https://github.com/comex/rust-shlex) from 1.2.0 to 1.3.0.
- [Changelog](https://github.com/comex/rust-shlex/blob/master/CHANGELOG.md)
- [Commits](https://github.com/comex/rust-shlex/commits)

---
updated-dependencies:
- dependency-name: shlex
  dependency-type: indirect
...

Signed-off-by: dependabot[bot] <[email protected]>

Merge pull request #2302 from triska/dcg_representation

Throw representation errors for unsupported DCG grammar control constructs

use newly available false//0

no longer use (->)//2, since it is implementation dependent

remove checks that are now no longer needed due to representation errors

ENHANCED: Throw representation errors for DCG bodies that use unsupported constructs.

This addresses #2285.

MODIFIED: (->)/2 in DCGs is now only supported in the context of if-then-else.

That is, ( If -> Then ; Else ) is still supported, but ( If -> Then ) not.

Merge pull request #2301 from aarroyoc/docs-copy-term-3

Move copy_term/3 to library(iso_ext)

Merge pull request #2300 from aarroyoc/fix-2298

Throw error in call_residue_vars/2

Move copy_term/3 to library(iso_ext)

Throw error in call_residue_vars/2

add better no op detection in char_reader.rs (#2297)

add #2293 tests, advance continuable HeapPStrIters away from unpacked compounds (#2293)

fix additional tests, make better use of existing code (#2293)

fix additional tests (#2293)

add missing CStr branch to unify_partial_string (#2293)

Merge pull request #2276 from triska/hophrase

ADDED: Support for higher-order non-terminals phrase//[2,3]

Merge pull request #2281 from bakaq/miri

Initial Miri support

Make "cargo miri test" actually run

fix cargo fmt --check

Merge pull request #2280 from notoria/clpz

Special case for `(^)/2`

check for PStr in eager stackful preorder iterator before adding tail of PStrOffset (#2272)

Special case for `(^)/2`

The only solutions for `Z #= X^Z` are `X = Z, X in -1\/1`. Also helps
avoid big numbers.

Merge pull request #2278 from notoria/clpz

Small fixes for `CLP(ℤ)`

Merge pull request #2277 from triska/master

Correct arithmetic disequalities accidentally broken in f5d9a67f3688ec9bb08dd3add05614552e082555

Fix bound computation in `(^)/2`

?- A in 0..1, B in-1..0, A^2 #= B.
   false. % unexpected.
?- A^2 #= B, A in 0..1, B in-1..0.
   A = 0, B = 0.

Remove `min/2` and `max/2` when possible

?- A #= min(A,B).
   clpz:(B#>=A), clpz:(A#=min(A,B)). % unexpected.
?- A #= min(A,0).
   clpz:(A in inf..0), clpz:(A#=min(A,0)). % unexpected.

Fix `min/2` and `max/2`

?- X in 0..1, Y in 2..4, Z #= max(X,Y).
   clpz:(X in 0..1), clpz:(Z#=max(X,Y)), clpz:(Z in 2..4), clpz:(Z#>=Y), clpz:(Y in 2..4). % unexpected.
?- X in 0..1, Y in 2..4, Z #= max(Y,X).
   Y = Z, clpz:(X in 0..1), clpz:(Y in 2..4).

Correct arithmetic inequalities accidentally broken in f5d9a67f3688ec9bb08dd3add05614552e082555.

Example:

    ?- X #>= Y.
    %@    clpz:(X#>=Y).

Merge pull request #2264 from Skgland/fix-os-argv-1

Fix os:argv/1 in case the raw args contain multiple `--`

ADDED: Support for higher-order non-terminals phrase//[2,3]

These non-terminals take a grammar rule body and additional arguments
as arguments. These arguments are appended to the first argument.

A key motivation for the introduction of these non-terminals is found
in the discussion and sample code provided by @bakaq in:

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

In this way, portable higher-order DCG programming is possible while
keeping the logical grammar rule expansion implementation dependent.

Example:

    ?- phrase(phrase('.', a, []), Cs).
       Cs = "a".

Merge pull request #2275 from triska/master

Prevent assertion of clauses for (-->)/2 when DCGs are enabled.

Prevent assertion of clauses for (-->)/2 when DCGs are enabled.

This addresses #1508.

fix cargo --fmt check error

add missing permission error in compile_assert (#2271)

fix acceptance of invalid syntax, update iso_conformity_tests.pl (#2270)

simplify os:argv/1 fix

use once to limit solutions instead of cut

add another test case for os:argv/1

Merge pull request #2269 from aarroyoc/fix-2267

Use reqwest async and use futures::executor

Merge pull request #2268 from aarroyoc/docs-toplevel

Small fixes in documentation and toplevel.pl

Use reqwest async and use futures::executor

Small fixes in documentation and toplevel.pl

fix `os:argv(V)` not completing

fix os:argv

cover both args ending in `--` and args not ending in `--` for `os:argv/1` test

remove unnecessary `true`

cover trailing `--` and `os:argv([])` in os_argv test

fix os:argv/1

add failing test for os:argv issue

See https://github.com/mthom/scryer-prolog/pull/2263#issuecomment-1874400820

expand module names in transitive goals (#2255)

fix cargo fmt --check

mark anonymous variables in compile_is_call (#2257)

Merge pull request #2263 from aarroyoc/docs-toplevel

Move argv/1 to library(os)

Merge pull request #2262 from triska/faster_global_cardinality

ENHANCED: Suspend propagation during filtering in global_cardinality/2.

Move argv/1 to library(os)

ENHANCED: Suspend propagation during filtering in global_cardinality/2.

This allows subsequently invoked constraints to take the entire
filtering results into account, instead of being invoked when the
obtained information is not yet entirely used.

The SICStus-style attributed variables mechanism of Scryer Prolog
automatically prevents very subtle interaction problems that can arise
in systems that do not give all variables that are involved in a
unification an opportunity to schedule their propagators.

An example of such a subtle interaction is:

    ?- tuples_in([[A,C,B]], [[3,1,3],[4,2,4]]),
       global_cardinality([A,B,D], [3-1,4-2]),
       A = 4.

A = 4 causes pgcc_check/1 and pgcc/2 to be queued in the fast and slow
queue, respectively. In the fast queue, there is also rel_tuple/2,
which is worked off after gcc_check/1 and simultaneously instantiates
both C and B (to 2 and 4, respectively). Instantiation of C schedules
do_queue//0 from verify_attributes/3. Note that C does not participate
in the global_cardinality/2 constraint.

Critically, B also gets an opportunity to schedule its propagators in
this case, so another gcc_check/1 is run before gcc_global/2!

Merge pull request #2259 from bakaq/comment_warnings

Emit warnings as Prolog comments

Merge pull request #2258 from triska/faster_scalar_product

ENHANCED: Suspend propagation during filtering in scalar product constraints.

Emit warnings as Prolog comments

ENHANCED: Suspend propagation during filtering in scalar product constraints.

This allows subsequently invoked constraints to take the entire
filtering results into account, instead of being invoked when the
obtained information is not yet entirely used.

It speeds up programs such as the one in:

    https://github.com/triska/clpz/issues/26

Merge pull request #2252 from aarroyoc/bump-versions

Update ring and bump versions in Cargo.lock

Merge pull request #2254 from bakaq/issue_1404

Parse as much of a list as possible as a partial string

check that Target is an atom in scoped_clause_to_evacuable (#2248)

Update ring and bump versions in Cargo.lock

Parse as much of a list as possible as a partial string #1404

Merge pull request #2251 from triska/crrl_ed25519

improve structure, naming and explanation of PKCS#8v2 encoding

improve structure, naming and explanation of PKCS#8v2 encoding

throw errors from char_reader.rs and get_n_chars when reading bad UTF8 data (#2244)

Merge pull request #2245 from triska/crrl_ed25519

ENHANCED: Use crrl for Ed25519 signing and signature verification.

ENHANCED: Use crrl for Ed25519 signing and signature verification.

The main motivation for this change is the introduction of the newly
available predicate ed25519_seed_keypair/2, allowing to generate a key
pair from a given seed. In this way, a key pair can be dynamically
generated from (for example) a password, using crypto_password_hash/3
in combination with crypto_data_hkdf/4 to generate the seed. The
advantage of this method is that the private key need not be stored at
all anywhere.

It is not possible to add a corresponding feature to ring, since it is
closed as "not planned": https://github.com/briansmith/ring/issues/1003

I also used this opportunity to move more of the logic to Prolog. We
now have total control of the key pair representation, and I also
changed the representation to conform to the PKCS#8 v2 standard,
something that only later ring versions do, while still being
backwards compatible with tools that produce a wrong representation
including earlier ring versions.

Another great advantage we get from this change is that the Ed25519
predicates now also run on the 32-bit and WASM versions of Scryer.

Merge pull request #2243 from bakaq/issue_2241

Fix anonymous attributed variables not showing in toplevel

Merge pull request #2242 from triska/starting

explain starting Scryer Prolog