Merge pull request #2268 from aarroyoc/docs-toplevel

Small fixes in documentation and toplevel.pl

Small fixes in documentation and toplevel.pl

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

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

follow up to #2205

Clean up test step by compiling in build step

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

File based cli tests using trycmd

Merge pull request #2203 from coasys/library-use-case

Don’t include unbound variables in results returned from run_query()

Result with one empty match should be false

Merge pull request #2204 from mthom/remove_not_as_non_terminal

remove (\+)//1 (#1511)

fix windows test by not disabling normalization

- this re-enables line ending and file path normalization
  - the latter might be unwanted, but there is only a shared flag
  - this might result in too loose matching of / and \ in stdout and stderr as prolog syntax may be mistaken for a path

fix formatting

rename to match toml file

- goals.pl is used by both compound_goal.toml and multiple_goals.toml therefor renamed the later to share a common prefix with goals.pl, to keep them together

move .pl files from tests-pl next to the .toml of the test that uses them

File-oriented testing

inspired by #2191 but for the `run_top_level_test_with_args`s and  `run_top_level_test_no_args instead of the `load_module_test`s

remove (\+)//1 (#1511)

correct cargo fmt errors

emit callable type errors from call/1 and phrase/3 when appropriate (#2202)

cargo fmt

Don’t include unbound variables in results returned from run_query

Merge branch 'master' into library-use-case

add module name and missing predicate key to module_does_not_contain_claimed_export error (#2195)

Merge pull request #2201 from wkral/revert-2200-percent-graphic-char

Revert "Add '%' to the list of graphic_chars (#2199)"

Revert "Add '%' to the list of graphic_chars (#2199)"

Merge pull request #2200 from wkral/percent-graphic-char

Add '%' to the list of graphic_chars (#2119)

Add '%' to the list of graphic_chars (#2199)

Merge pull request #2194 from triska/clpz_monotonic

support (#=)/3 and (#<)/3 also in the monotonic execution mode

support (#=)/3 and (#<)/3 also in the monotonic execution mode

move propagated_var_nums insertion to proper scope (#2183)

propagate variable hits to parent branches in push_missing_vars (#2183)

Merge pull request #2187 from triska/term_si

ADDED: term_si/1, true for terms

ADDED: term_si/1, true for terms

One use case is to ensure that once/1 is safe to use:

    term_si(Goal),
    once(Goal)

In such cases, Goal is ground and can yield at most one solution,
therefore once/1 does not remove any solutions.

fix overeager detection of (->)/2 in if position of (;)/2 (#2183)

Merge pull request #2186 from aarroyoc/cpu-now-wasm32

Implement $cpu_now in wasm32

open pl files instead of directories (#2014)

Merge pull request #2184 from mthom/dependabot/cargo/openssl-0.10.60

Bump openssl from 0.10.57 to 0.10.60

Implement $cpu_now in wasm32

Bump openssl from 0.10.57 to 0.10.60

Bumps [openssl](https://github.com/sfackler/rust-openssl) from 0.10.57 to 0.10.60.
- [Release notes](https://github.com/sfackler/rust-openssl/releases)
- [Commits](https://github.com/sfackler/rust-openssl/compare/openssl-v0.10.57...openssl-v0.10.60)

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

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

allocate cut variables properly (#2183)

allocate cut variables as temporaries when in non-allocating clause (#2183)

bind missing module atom in retract/1 (#2182)

Merge pull request #2169 from infogulch/flame

Benchmark improvements

Merge branch 'master' into flame

remove redundant running count increment in mark_non_callable (#2176)

Merge pull request #2179 from mthom/fix_stress_integration_test

Fix stress integration test

set b0 to b for run_query call

Merge pull request #2173 from aarroyoc/js-eval

Add js_eval/2 for wasm32

Add js_eval/2 for wasm32

Merge pull request #2177 from mthom/remove_assertx

Remove assert(a,z)/2 (#1975)

remove assert(a,z)/2 (#1975)

add CutPoint to select_switch_on_term_index (#2176)

Expose inference counts on Machine; publish to CI