Merge pull request #2085 from triska/reification_same_queue

Use the same queue for variables in reified constraints

remove no longer needed goal projection for pdiv

ENHANCED: avoid pending residual constraints in disentailed reified (div)/2

This addresses #2083:

    ?- #\0#=0//0 div 2.
       true.

replace list//1 by seq//1 from library(dcgs)

instead of prdiv, use ptimes directly

FIXED: variables in reified propagators must share the same queue

Otherwise, propagation steps may be inadvertently omitted, if
propagators are scheduled in a different queue.

This addresses #2084.

adapt query to Scryer Prolog

mark both components of a PStrLoc (#2082)

Merge pull request #2080 from triska/reified_slash

Corrections to reified (/)/2

reorder and realign entries to form a contiguous group starting with d(D)

FIXED: reification of (/)/2 for undefined subexpressions

This addresses #2078 and #2079.

replace eager_stackful_iter's mark stack with a second unmark phase

use eager_stackful_preorder_iter in variable_set, add term_variables/1 tests

rewrite ground_test, add tests for ground/1 (#2075)

Revert "consider Str, PStrLoc in ElideLists of StackfulHeapIterator (#2075)"

This reverts commit 1e60eeef3450cdb6817f8f626fb32be6018d83c2.

consider Str, PStrLoc in ElideLists of StackfulHeapIterator (#2075)

Merge pull request #2076 from infogulch/master

Pin logtalk to version before scryer support was removed

Pin logtalk to version before scryer support was removed

check for free variables in locations removed from iterator stack in ground_test (#2075)

correct cycle detection in ground/1 (#2073)

Merge pull request #2074 from triska/expansion_simpler

Revert "FIXED: corrections to expansion_simpler/2"

Revert "FIXED: corrections to expansion_simpler/2"

This reverts commit f3b848537aef601b13bd525df09ee74f5bbeeae9.

The root cause of this problem is a mistake in ground/1. See #2073.

Merge pull request #2072 from aarroyoc/fix-urldecode

Improved version of url_decode

Merge pull request #2070 from triska/expansion_simpler

FIXED: corrections to expansion_simpler/2

Improved version of url_decode

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