Merge pull request #2066 from bakaq/dif_tests

Add tests for #2056

Add tests for #2056

correct depth calculation for lists that are their own car (#1876)

substitute names for cyclic variables permitted by max_depth > 0 in check_for_seen using a loop (#2057)

implement ListElisionPolicy to restore previous printer behavior

correct skipping of not fully visited lists in stackful heap iterator (#2056, #2063, #2065)

correct max_depth marking for lists

further max_depth improvements

improve max_depth write option (#1876, #2053)

do not deref AttrVar binding in redo_attr_var_binding (#2059)

revert throwing domain errors for unexpected forms of read-options (#2015)

check for ChildCloseList in print_struct on [] (#2039)

fix add_predicate_declaration bug not correctly identifying lists of predicate indicators (#2049, #2050, #2051, #2052)

remove debug symbols from release builds (#2054)

Merge pull request #1998 from aarroyoc/warp-http-server

Replace Hyper with Warp for HTTP server

fix max_depth settings for partial strings on lists (#1876)

Replace Hyper with Warp for HTTP server

- Use Warp
- Optimize clones
- HTTPS server
- Content-Length limit
- HTTP Basic Auth
- Stop server with Ctrl-C

Merge pull request #2048 from infogulch/master

Build windows with msvc #1998; add ubuntu 22.04 target #2047

Tidy ci.yaml

Build windows with msvc

Add ubuntu 22.04

remove module_resolution_error (#2035)

filter our builtins from current_predicate/1 (#153)

check for predicate_indicator list and sequence types in add_predicate_declaration (#1586)

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!()