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

Upgrade to latest iai for summary output

Merge pull request #1999 from triska/time_inferences

ENHANCED: time/1 now shows the number of inferences

fix copy_term/2 variable copying bug in lists (#923, #2127)

Benchmark improvements

* CI: Clean offline; display cleaned bytes; one artifact upload
* Add missing csv bench to iai benchmarks
* Generate flamegraphs for benchmarks
* Validate benchmark results separately

Remove accidentally committed files

ENHANCED: time/1 now shows the number of inferences

Example:

    ?- time(member(X, "abc")).
       % CPU time: 0.000s, 1 inference
       X = a
    ;  % CPU time: 0.000s, 3 inferences
       X = b
    ;  % CPU time: 0.000s, 3 inferences
       X = c.

This is an initial step towards addressing #1039.

fix error detection in int_pow (#2161)

add global_count inference counter that is always incremented (#2009)

fix dif:vars_remove_goal/2 (#2175), untabify forms.rs to appease format check

remove unnecessary spaces around (|) (#2164)

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)