Merge pull request #2070 from triska/expansion_simpler

FIXED: corrections to expansion_simpler/2

FIXED: corrections to expansion_simpler/2

Example:

    ?- X = 0, Y = 0, Z #= X-1 + Y-1.
       X = 0, Y = 0, Z = -2.

This addresses #2064.

See ca5a5b4392bfbed8cfdbb3b2e7dbaa42ea193007 for a previous issue in
this logic.

add registers to inlined instruction functors

consider an '$aux' a relation of the unexpanded goal's variables in compile_inline_or_expanded_goal (#2062)

throw instantiation_error from error/2 if Error_term uninstantiated (#2060)

get rid of inference_limit_exceeded(B) as an error term (#2023)

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)