throw instantiation_error when appropriate from parse_write_options_ (5.5.12 of the standard, #1965)

correct OutOfFiles resource error (#1375)

add predicate indicator sequences to loader:add_predicate_declaration (#1586)

throw an error instead of allowing builtin modules to be overwritten (#2042)

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

fix off-by-1 bug in '$skip_max_list'/4 (#2037)

Merge pull request #2032 from bakaq/phrase_from_stream

Add phrase_from_stream/2 to library(pio)

Remove reposition option from phrase_from_file/2

Inline string_get_n_chars_/3

Better string_get_n_chars_/3

Fixed bug with '$skip_max_list'/4

Use '$skip_max_list'/4 in string_get_n_chars/4

Add phrase_from_stream/2 to library(pio)

Merge pull request #2040 from rujialiu/allow-cr

Solves CRLF/CR issue by considering'\r' a `layout_char` #553 #2028

Solves CRLF/CR issue by considering'\r' a `layout_char` #553 #2028

Merge pull request #2038 from infogulch/patch-1

Allow all matrix ci jobs to run to completion even if one fails

Allow all jobs to run to completion even if one fails

See: https://docs.github.com/en/actions/using-workflows/workflow-syntax-for-github-actions#jobsjob_idstrategyfail-fast

fix off-by-1 bug in ''/4 (#2037)

don't parse bracketed non-operators as functor terms (#2033)

record compaction depth after reduce_op if '|' an operator (#1905)

add (now failing) test 317 to iso_conformity_tests.pl

generalize multifile/dynamic/discontiguous declarations over lists of predicate indicators (#1586)

throw resource error if OpenOptions raises an error of uncategorized kind (#1375)

Merge pull request #2027 from bakaq/dif

Improvements to dif/2

Merge pull request #2026 from infogulch/master

Simplify fn maybe

Avoid dif/1 attribute with empty list

Closes #1956

Run dif tests on cargo test

Tests for dif/2

Improved dif/2

Simplify maybe

Fix whitespace

Merge pull request #2025 from aarroyoc/random-seed

Use a SeedableRng to generate random numbers

Use a SeedableRng to generate random numbers

remove unnecessary Result return type from read_term_from_heap

Merge pull request #2018 from triska/libffi

use version from crates.io

use version from crates.io

Merge pull request #2017 from cmpute/master

Upgrade dashu and make the related code more idomatic.

Upgrade dashu and some changes

update syn crates

get rid of OssifiedOpDir, DBRef, simplify current_op/3

Merge pull request #1993 from coasys/dashu-fixes

Dashu fixes

Merge pull request #2013 from gruhn/fix-docker-debian-bullseye

fix Docker image

fix Docker image

The Docker image is broken with the error message:

    scryer-prolog: error while loading shared libraries:
    libssl.so.1.1: cannot open shared object file: No such
    file or directory

We use the base base image `debian:stable-slim` and in the
background a new Debian version was marked stable (bookworm),
which has libssl3 instead of libssl1.1 installed.

I downgraded the base image to the previous stable version
(bullseye), which seems to fix the issue.

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

Update INDEX.dj

Update website to mention 0.9.2 and playground

Merge branch 'master' into dashu-fixes

Removed value method and use deref to get type

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)

Implemented num_order methods on Integer & Rational numbers

Added new unify methods

Fixed warning

Added value method to get the generic type from TypedArenaPtr

Added latest dashu from github

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)