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

Fix anonymous attributed variables not showing in toplevel #2241

explain starting Scryer Prolog

fix off-by-one error caused logtalk test to crash

fix cargo fmt --check

restore [o|i]ip zeroing to trust and fix '$get_clause_p'/3 (#2238)

Merge pull request #2218 from bakaq/when

Add when/2 and when_si/2

clamp lower_bound_of_target_clause index (#840)

don't replace undefined module predicates (#2232)

fix retraction of local dynamic predicates (#2215, #2232)

fix '$get_clause_p' whose old implementation was broken by the introduction
of lookahead indexing

improve performance of lower_bound_of_target_clause (#1598)

Merge pull request #2233 from aarroyoc/fix-functor-2214

Throw ValidType::Atom error in functor

Merge pull request #2229 from aarroyoc/fix-backslash-docs

Fix backslash docs

Throw ValidType::Atom error in functor

Fix backslash docs

Merge pull request #2226 from mthom/dependabot/cargo/zerocopy-0.7.31

Bump zerocopy from 0.7.25 to 0.7.31

Revert "improve performance of lower_bound_of_target_clause (#1598)"

This reverts commit 8938331915c53e34be8f98002fe8d56d8b7ada08.

improve performance of lower_bound_of_target_clause (#1598)

Bump zerocopy from 0.7.25 to 0.7.31

Bumps [zerocopy](https://github.com/google/zerocopy) from 0.7.25 to 0.7.31.
- [Release notes](https://github.com/google/zerocopy/releases)
- [Changelog](https://github.com/google/zerocopy/blob/main/CHANGELOG.md)
- [Commits](https://github.com/google/zerocopy/compare/v0.7.25...v0.7.31)

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

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

fix use of copy_term/3 for attribute goals in toplevel (#888, #2057, #2217)

fix cargo style failure

dereference port address in socket_server_open (#2222)

restore print_tcp_listener in printer (#2221)

Tests for when/2 and solved bug

Add when/2 and when_si/2

Merge pull request #2207 from infogulch/ci-build-before-test

CI: Make test step output easier to read

Merge pull request #2211 from Skgland/file-based-cli-tests

fix missing .pl file for singleton test case and move .pl files under `<testcase>.in/`