correct (\+)/1 (#2141)

remove non-conforming hyperbolic and log10 evaluable functors

fix signed modulus bug (#2134)

Merge pull request #2140 from aarroyoc/rename-to-upper

Rename `to_upper` to `upper` and `to_lower` to `lower`

Rename `to_upper` to `upper` and `to_lower` to `lower`

Merge pull request #2137 from infogulch/master

CI: compile wasm separately; default 22.04; matrix

CI: compile wasm separately; default 22.04; matrix

qualify dif/2 call in reinforce_goal (#2135)

correct char_type/2 (#2132)

remove unnecessary macros inclusion in mock_wam.rs

correct modulus bug (#2118, #2119)

remove list remnants from stack iteration in printer when cyclic (#2131)

fix cycle detection in lists by looking backward analogously to the same process for structures (#2130)

correct LIS backward bug in cycle_detection.rs

add STOP_AT_CYCLES const parameter for CycleDetectingIter

use Deutsch-Schorr-Waite to implement acyclic_term/1 (#2128)

use topo_sort to correct acyclic_term (#2124, #2125)

fix cyclicity detection through variables (#2122, #2123)

more eagerly check for cyclicity of variables in cycle detecting stackless iterator (#2121)

add backward looking cyclicity check for variables in cycle detecting stackless iterator (#2111, #2117)

correct is_cyclic again for non-variable ref cells (#2116)

improve cycle detection in detect_list_cycles (#2111)

simplify stackless iterator is_cyclic (#2111)

correct more acyclic_term/1 issues (#2111, #2114), add acyclic_term tests

correct cyclic variable check in cycle detecting stackless iterator (#2111, #2113)

fix bugs & incompleteness of cycle-detecting stackless iterator (#2111)

Reify (^)/2

Like (/)/2, (^)/2 can fail in cases such as 0 #==> X #= 2^(-1), where success is expected.

Trigger propagator for popcount/1

Trigger propagator for sign/1

Trigger propagator for (xor)/2

add bounds checks for stackless iterator (#2110)

detect all cycles in roughly linear time and constant space (#2102)

fix bugs in marker algorithm iterator

correct (mod)/2 (#2103, #2107)

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)