Merge pull request #2010 from aarroyoc/update-website-0.9.2

Update INDEX.dj

Update website to mention 0.9.2 and playground

Merge pull request #2008 from triska/clpb_improvements

Various CLP(B) improvements

remove code that is not needed in Scryer Prolog

remove more attributes so that they do not appear in residual goals

move compatibility predicates and meta_predicate/1 declarations so that they are correctly taken into account

Merge pull request #2006 from infogulch/wasm-ci

Add wasm build steps

Merge pull request #2007 from triska/rust_1_70

update required Rust version

shorter partition/5, relying on first instantiated argument indexing

add meta_predicate/1 declaration for include/3 and exclude/3

shorter include/3 and exclude/3, relying on improved indexing

add licensing information, addressing part of #1798

update required Rust version

Add wasm build steps

Merge pull request #2004 from triska/generalize_description

this holds for all architectures (also 32-bit systems)

Merge pull request #2003 from triska/clpz_comment

update comment

this holds for all architectures (also 32-bit systems)

update comment

Merge pull request #1986 from rujialiu/wasm32-support

Basic WebAssembly support with minimal Javascript API #615

Basic WebAssembly support with minimal Javascript API #615. Currently 6/12 crypto functions supported. Tested in browser with all default features disabled.

check atom == ',' in ambiguity_check mirroring logic in print_op_addendum (#2000)

remove error printing redundancy and inconsistent state resulting from file_load_cleanup (#1995)

Merge pull request #1980 from Skgland/atomtable

make AtomTable consurrency safe

Merge pull request #1997 from triska/countall

Corrections to countall/2

call_with_inference_limit/3 should fail if inference limit is exceeded and R term is not inference_limit_exceeded (#1977)

FIXED: documentation of countall/2 (#1976)

make F64Table concurency safe

remove locks from AtomTable

there are technically still two locks
- the Mutex to serialize consurrent updates to the AtomTable
- the RwLock as part of GLOBAL_ATOM_TABLE

the former is the age lock of RESIZE ATOM TABLE in <https://arxiv.org/pdf/1608.00989.pdf>, though we use it for the whole update as we don't match the whole structure and can't reserve an atom slot as is, so we need to also lock concurrent updates without resizing

the later should be uncontendet as we only write AtomTable::new iff the current value is a dangling Weak

[WIP] move towards lockless AtomTable

FIXED: countall/2 for zero solutions (#1996)

Example:

    ?- countall(false, 0).
       true.

fix `rust_beta_channel` feature

fix accidentally left in println!()

raise msrv for OnceLock support

add comment why blocking_write is not used

fix deadlock in `load_library_as_stream`

[WIP] fix deadlock in AtomTable::build_with

[WIP] make AtomTable concurrentcy ready

run cargo fmt

correct inference counting over index backtracking, built-ins (#1977, #1987)

Merge pull request #1991 from triska/discoverable_flags

FIXED: make occurs_check and answer_write_options flags discoverable

Merge pull request #1990 from triska/clpb_max

remove clpb_max/1 attribute for residual goal projection

FIXED: make occurs_check and answer_write_options flags discoverable

Quoting from 7.11 Flags:

   NOTE - A built-in predicate current_prolog_flag(Flag, Value)
   (8.17.2) enables a program to discover all the flags supported
   by a processor and their current values.

update answer

untabify

remove clpb_max/1 attribute for residual goal projection

Example:

    ?- sat(A+B), weighted_maximum([1,1], [A,B], Max).
       A = 1, B = 1, Max = 2.

Merge pull request #1988 from triska/answer_write_options

ADDED: New Prolog flag, answer_write_options.

Merge pull request #1989 from triska/mention_binaries

mention precompiled binaries

mention precompiled binaries

ADDED: New Prolog flag, answer_write_options.

This lets us specify additional write options used by the top level
for writing answers.

refine is/2 compilation so errors are thrown when expected without needlessly allocating (#1974, #1984)

don't compile is instruction if bound to anonymous variable (#1974)

update Cargo.toml version numbers and bump version number

Merge pull request #1978 from aarroyoc/ci-32-bits

32 bit CI for Linux

Merge pull request #1979 from triska/normalize_space

ENHANCED: rudimentary implementation of normalize_space

32 bit CI for Linux

replace adjacent whitespace characters with a single SPACE character

ENHANCED: rudimentary implementation of normalize_space

This removes leading and trailing whitespace from the text. Whitespace
within the string is not yet considered.

Merge pull request #1972 from rujialiu/32-bit-support

32-bit system support #615 #1509 (WIP)

32-bit system support, addressing all (at most) 4GB addresses of RAM.

Merge pull request #1973 from triska/clpz

CLP(ℤ) improvements, notably related to queue handling

attach more propagators before starting propagation

This prevents repeated triggering of already attached propagators
while new propagators are being attached to involved variables.

remove optional (+)/1 prefix in get_atts/2 and put_atts/2 calls

The (+)/1 prefix in get_atts/2 at line 4219 by itself already causes a
greater than 15% slowdown for the benchmark shown in #1730:

    ?- N #= 2^14,
       time(((between(1, N, _),
              X #\= Y,
              false)
            ; true)).

The performance impact is not a good reason to remove the optional
(+)/1 prefix! Performance issues should be addressed at the root, in
this case get_atts/2 (#1962). We should never manually work around
performance issues in built-in predicates.

In contrast, readability is a good argument, and I find the calls
slightly easier to read without the optional (+)/1 prefix.

The prefix is now consistently omitted when possible.

use pneq/2

enforce same queue in more constraints

append the entire queues instead of inserting each element individually

adapt query to Scryer Prolog

update answers

use can_be/2

Merge pull request #1967 from rujialiu/optional-features

Allow users to disable optional features

Allow users to disable optional features. Needed for wasm32 support (see #615).

Merge pull request #1968 from rujialiu/atom-64bit

Make Atom 64-bit regardless of architecture

Merge pull request #1970 from triska/crrl

switch to using crrl for scalar multiplication on Curve25519

ENHANCED: more extensive type checking in curve25519_scalar_mult/3

switch to using crrl for scalar multiplication on Curve25519

This is to facilitate WASM compilation as currently worked on
by @rujialiu in #615. Many thanks, and many thanks to @pornin
for crrl which makes this possible!

Make Atom 64-bit regardless of architecture

Merge pull request #1964 from triska/master

use newly available double_quotes/1 write option in portray_clause_//1

use newly available double_quotes/1 write option in portray_clause_//1

Merge pull request #1963 from triska/master

ENHANCED: domain error in zcompare/3 (#1723)

ENHANCED: domain error in zcompare/3 (#1723)

Merge pull request #1961 from triska/succ

ADDED: succ/2, part of the Prologue for Prolog

reorder tests, per https://github.com/mthom/scryer-prolog/pull/1961#pullrequestreview-1574380588

ADDED: succ/2, part of the Prologue for Prolog

Specification:

   https://www.complang.tuwien.ac.at/ulrich/iso-prolog/prologue#succ

shed CodeIndex for control predicates in disjuncts.rs (#1791)

retract discontiguous non-multifile predicates between consultations (#1202, #1058, #1585)

Merge pull request #1950 from triska/chars_si

ENHANCED: more efficient chars_si/1, using specialized predicates of Scryer

ENHANCED: more efficient chars_si/1, using specialized predicates of Scryer

Source:

    https://github.com/mthom/scryer-prolog/issues/1947#issuecomment-1665113488

Merge pull request #1948 from triska/chars_si

add character_si/1 and use it to correct chars_si/1

add character_si/1 and use it to correct chars_si/1

This addresses #1947.

allocate negator results in arena (#1898)

Merge pull request #1943 from triska/dead_skeleton

FIXED: do not attach constraint if the propagator is already entailed and killed

FIXED: do not attach constraint if the propagator is already entailed and killed

Example:

    ?- A#=A//A#==>B,A-B=1-1.
       A = 1, B = 1.

This addresses #1941.

Merge pull request #1938 from triska/remove_auxiliary_constraints

ENHANCED: forget auxiliary constraints set up by the propagator for multiplication

Merge pull request #1939 from triska/oncology_trial_design

better wording, applying the feedback of @dcnorris. Thank you a lot!

better wording, applying the feedback from @dcnorris. Thank you a lot!

ENHANCED: forget auxiliary constraints set up by the propagator for multiplication

This addresses the issue raised in https://github.com/mthom/scryer-prolog/discussions/1937.

Merge pull request #1929 from Skgland/master

detect and prevent concurrent AtomTable use

fix spelling

handle atom table resize

* bumping serial_test dev-dependency due to broken should_panic handling in old version

detect and prevent² concurrent AtomTable use

²in the case of `#[cfg(not(test))]` there is still a toctou race as I am not sufficently familiar with Atomics

Merge pull request #1927 from triska/ascii_punctuation

FIXED: correct handling of ascii_punctuation in char_type/2 (#1926)