Merge pull request #2105 from triska/morphing_propagators

ENHANCED: Omit unnecessary residual constraints in disentailed reified (//)/2

shift morphing to the more general p/2 case

ENHANCED: Omit unnecessary residual constraints in disentailed reified (//)/2

Example:

    ?- #\ 0#=(Y// -1)/0.
    %@    clpz:(Y in inf..sup).

This addresses #2104.

fix control construct bugs, iter indentation (#947)

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

follow marked variables to end in eager_stackful_iter (#2100, #2101)

follow marked variables to end in eager_stackful_iter (#2100, #2101)

Merge pull request #2098 from triska/morphing_propagators

Queue morphed propagators to give them a chance for propagation

use round brackets around operators to form valid Prolog terms

update comment to reflect the used propagators

remove definition and calls of do_queue/0, which has become a NOP

ENHANCED: Queue morphed propagators to give them a chance for propagation.

This addresses #2096:

    ?- B in -2..0, 0#<==>0#=0/(B*B),labeling([],[B]).
       B = 0.

    ?- A#<==>A#=A/A^2,A=0.
       A = 0.

report pre-marked values from eager stackful iterator (#2097)

Merge pull request #2094 from triska/unary_minus

ENHANCED: use (+)/2 to express unary minus

Z --> Y

Merge pull request #2092 from triska/morphing_pexp

attach the propagator to Y

ENHANCED: use (+)/2 to express unary minus

This makes answers a bit shorter and more readable.

Example:

    ?- X #= -Y.
       clpz:(X+Y#=0).

This addresses #2058.

attach the propagator to Y

Merge pull request #2091 from triska/morphing_pexp

ENHANCED: Omit projection of morphed (^)/2 in disentailed constraints.

ENHANCED: Omit projection of morphed (^)/2 in disentailed constraints.

Example:

    ?- B #<==> (0^Y/0) #= Z.
       B = 0, clpz:(Y in 0..sup), clpz:(Z in inf..sup).

Merge pull request #2090 from triska/morphing_propagators

FIXED: Queue triggered propagators to be processed after pexp/3 finishes

FIXED: Queue triggered propagators to be processed after pexp/3 finishes

If reification constraints (such as reified equality) are triggered
here, then they may wish to disable this propagator and remove
attributes from auxiliary variables. If the pexp/3 propagation is
interrupted for that purpose, then the attributes will be
unintentionally reattached by the following fd_put/3 calls in this
propagator. We must ensure that this propagator completely finishes,
so we queue the triggered propagators for later processing.

geq/2 implements propagator activation outside the queue, and thus
should not be used in propagators in the way it was used here.

pexp/3 by itself may not seem particularly important. However, it can
arise by metamorphosis from Var*Var. Example:

    ?- A#<==> -1#=C*C, C in 0..1.
       A = 0, clpz:(C in 0..1).

This addresses #2089.

do not push stack variables to the heap in term_variables (#2087)

Merge pull request #2088 from triska/morphing_propagators

ENHANCED: Remove no longer needed morphed propagators.

ENHANCED: Remove no longer needed morphed propagators.

This addresses all remaining cases from #2083, excepting (//)/2:

    ?- #\ 1#=(X*X)/0.
       clpz:(X in inf..sup).

    ?- #\ 1#=(X+X)/0.
       clpz:(X in inf..sup).

Still remaining:

    ?- #\ 0#=(Y// -1)/0.
       clpz:(-1*Y#=_A).

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