Merge pull request #2168 from aarroyoc/update-web-2023-11-15

Remove Scryer Prolog meetup banner :(

Merge pull request #2159 from mthom/dependabot/cargo/rustix-0.38.21

Bump rustix from 0.38.14 to 0.38.21

Bump rustix from 0.38.14 to 0.38.21

Bumps [rustix](https://github.com/bytecodealliance/rustix) from 0.38.14 to 0.38.21.
- [Release notes](https://github.com/bytecodealliance/rustix/releases)
- [Commits](https://github.com/bytecodealliance/rustix/compare/v0.38.14...v0.38.21)

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

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

Merge pull request #2167 from infogulch/ci-checks-permission

Add checks permission to ci workflow

Remove Scryer Prolog meetup banner :(

fix sign/1 (#2157)

Add checks permission to ci workflow

This should allow dependabot builds to complete

fix shr crash (#2158)

Merge pull request #2165 from infogulch/bench-csv

Bench csv

Merge pull request #2166 from triska/more_tests

mention more passing tests

mention more passing tests

Fix lint

Add csv parsing benchmark #1403

Simplify benchmark setup; support mutating machine

Merge pull request #2153 from infogulch/benchmark

Add benchmarks

Fix formatting issues

Add benchmarks using library interface

CI: Setup rust in new action; split style & report actions

correct style failures

fix permanent variable handling over branches and cells (#2154)

fix compare_pstr_to_string (#2148)

Merge pull request #2147 from infogulch/lint-format

Resolve all lints and formating; split style checks into separate job

Split style checks, test reports into separate job

Bump Cargo.lock to reflect new scryer version

Add previous commit to .git-blame-ignore-revs

Resolve lints and format

update release version linked on website

update release link

bump version number to v0.9.3

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

Programatic use of Machine / Scryer as library

Check for target_arch = “wasm32”

instead of target_os = “wasi”

Merge branch 'master' into library-use-case

correct (\+)/1 (#2141)

remove non-conforming hyperbolic and log10 evaluable functors

fix signed modulus bug (#2134)

Merge pull request #2140 from aarroyoc/rename-to-upper

Rename `to_upper` to `upper` and `to_lower` to `lower`

Rename `to_upper` to `upper` and `to_lower` to `lower`

Merge pull request #2137 from infogulch/master

CI: compile wasm separately; default 22.04; matrix

CI: compile wasm separately; default 22.04; matrix

qualify dif/2 call in reinforce_goal (#2135)

correct char_type/2 (#2132)

remove unnecessary macros inclusion in mock_wam.rs

correct modulus bug (#2118, #2119)

remove list remnants from stack iteration in printer when cyclic (#2131)

fix cycle detection in lists by looking backward analogously to the same process for structures (#2130)

correct LIS backward bug in cycle_detection.rs

add STOP_AT_CYCLES const parameter for CycleDetectingIter

use Deutsch-Schorr-Waite to implement acyclic_term/1 (#2128)

use topo_sort to correct acyclic_term (#2124, #2125)

Cleanup Cargo.toml

Fix wasm warnings

fix cyclicity detection through variables (#2122, #2123)

Use std::sync::RwLock instead of tokio::sync::RwLock (by @aarroyoc)

Fix signalling of success/failure (by @mthom)

Revert "Remove unuse import"

This reverts commit bfa7d3cf415bdf454d2c8d0a59d8e0c462171081.

Remove unuse import

Merge branch 'master' into library-use-case

more eagerly check for cyclicity of variables in cycle detecting stackless iterator (#2121)

add backward looking cyclicity check for variables in cycle detecting stackless iterator (#2111, #2117)

correct is_cyclic again for non-variable ref cells (#2116)

improve cycle detection in detect_list_cycles (#2111)

simplify stackless iterator is_cyclic (#2111)

correct more acyclic_term/1 issues (#2111, #2114), add acyclic_term tests

correct cyclic variable check in cycle detecting stackless iterator (#2111, #2113)

fix bugs & incompleteness of cycle-detecting stackless iterator (#2111)

Reify (^)/2

Like (/)/2, (^)/2 can fail in cases such as 0 #==> X #= 2^(-1), where success is expected.

Trigger propagator for popcount/1

Trigger propagator for sign/1

Trigger propagator for (xor)/2

add bounds checks for stackless iterator (#2110)

detect all cycles in roughly linear time and constant space (#2102)

fix bugs in marker algorithm iterator

correct (mod)/2 (#2103, #2107)

Merge pull request #2105 from triska/morphing_propagators

ENHANCED: Omit unnecessary residual constraints in disentailed reified (//)/2

shift morphing to the more general p/2 case

ENHANCED: Omit unnecessary residual constraints in disentailed reified (//)/2

Example:

    ?- #\ 0#=(Y// -1)/0.
    %@    clpz:(Y in inf..sup).

This addresses #2104.

fix control construct bugs, iter indentation (#947)

Merge branch 'master' of ssh://github.com/mthom/scryer-prolog

follow marked variables to end in eager_stackful_iter (#2100, #2101)

follow marked variables to end in eager_stackful_iter (#2100, #2101)

Merge pull request #2098 from triska/morphing_propagators

Queue morphed propagators to give them a chance for propagation

use round brackets around operators to form valid Prolog terms

update comment to reflect the used propagators

remove definition and calls of do_queue/0, which has become a NOP

ENHANCED: Queue morphed propagators to give them a chance for propagation.

This addresses #2096:

    ?- B in -2..0, 0#<==>0#=0/(B*B),labeling([],[B]).
       B = 0.

    ?- A#<==>A#=A/A^2,A=0.
       A = 0.

report pre-marked values from eager stackful iterator (#2097)

Merge pull request #2094 from triska/unary_minus

ENHANCED: use (+)/2 to express unary minus

Z --> Y

Merge pull request #2092 from triska/morphing_pexp

attach the propagator to Y

ENHANCED: use (+)/2 to express unary minus

This makes answers a bit shorter and more readable.

Example:

    ?- X #= -Y.
       clpz:(X+Y#=0).

This addresses #2058.

attach the propagator to Y

Merge pull request #2091 from triska/morphing_pexp

ENHANCED: Omit projection of morphed (^)/2 in disentailed constraints.

ENHANCED: Omit projection of morphed (^)/2 in disentailed constraints.

Example:

    ?- B #<==> (0^Y/0) #= Z.
       B = 0, clpz:(Y in 0..sup), clpz:(Z in inf..sup).

Merge pull request #2090 from triska/morphing_propagators

FIXED: Queue triggered propagators to be processed after pexp/3 finishes

FIXED: Queue triggered propagators to be processed after pexp/3 finishes

If reification constraints (such as reified equality) are triggered
here, then they may wish to disable this propagator and remove
attributes from auxiliary variables. If the pexp/3 propagation is
interrupted for that purpose, then the attributes will be
unintentionally reattached by the following fd_put/3 calls in this
propagator. We must ensure that this propagator completely finishes,
so we queue the triggered propagators for later processing.

geq/2 implements propagator activation outside the queue, and thus
should not be used in propagators in the way it was used here.

pexp/3 by itself may not seem particularly important. However, it can
arise by metamorphosis from Var*Var. Example:

    ?- A#<==> -1#=C*C, C in 0..1.
       A = 0, clpz:(C in 0..1).

This addresses #2089.

do not push stack variables to the heap in term_variables (#2087)

Merge pull request #2088 from triska/morphing_propagators

ENHANCED: Remove no longer needed morphed propagators.

ENHANCED: Remove no longer needed morphed propagators.

This addresses all remaining cases from #2083, excepting (//)/2:

    ?- #\ 1#=(X*X)/0.
       clpz:(X in inf..sup).

    ?- #\ 1#=(X+X)/0.
       clpz:(X in inf..sup).

Still remaining:

    ?- #\ 0#=(Y// -1)/0.
       clpz:(-1*Y#=_A).

Merge pull request #2085 from triska/reification_same_queue

Use the same queue for variables in reified constraints

remove no longer needed goal projection for pdiv