improve call/N implementation (#1829)

set_local_value does not make values safe (#1812)

read set_value args from temp regs of put_unsafe_value (#1812)

FIXED: correct dereferencing in atom_codes/2 and number_codes/2.

This addresses #1818.

Test case:

    run :-
    length(Ls, L),
    portray_clause(L),
    maplist(=(X), Ls),
    X = Y,
    Y = 12,
    atom_codes(_, Ls),
    false.

Rename INDEX.md to INDEX.dj and add banner about Scryer Prolog Meetup

read from machine stack in stackful pre-order iterator (#1812)

Compute correctly the domain of the remainder

Don't add variable

?- Z #= 0, Z #= X mod Y.
   Z = 0, clpz:(_A*Y#=X), clpz:(Y in inf.. -1\/1..sup) % Unexpected.

The expected result:
   Z = 0, clpz:(X mod Y#=0), clpz:(Y in inf.. -1\/1..sup).

Remove and move comments

optionally read from machine stack in stackful pre-order iterator (#1812)

affirm integers as rational/1 (#1810)

Update select crate to 0.6.0 and remove warning

FIXED: correctly reset counter in reset_gensym/2 (#1807)

Many thanks to @infradig for detecting this issue and suggesting this
correction!

shorten gensym/2

extend logic to all control and whitespace characters

This addresses #1802.

use same logic to print Chars and Atoms (#1804)

rely on first instantiated argument indexing in the definitions of foldl/N

This allows shorter and more natural definitions.

ENHANCED: allow Roman numerals in strings

Example:

    ?- X = "ↁ".
       X = "ↁ".

This addresses #1790.

FIXED: consistent read/write of further control characters, and non-breaking space

Example:

    ?- X = '\xa0\'.
       X = '\xa0\'.

This addresses #1768.

make tests compatible

backtrack on emission of unsafe register instructions on internal branches

implement new disjunction compilation

remove BuildIf, BuildNot, BuildThen TermIterState variants

correct chunk type labeling

remove GetLevelAndUnify and replace it with GetCutPoint

add QueryTerm::ChunkTypeBoundary

delete ChunkedTerm, chunked iteration

new TermIterState variants

variable classification al a carte

add more variable probing, chunk type labeling

adapt code generation

add classifications and occurrence counting

milestone marker for surgery

begin adapting the techniques of "Compiling Large Disjunctions"

fix current_predicate/1 (#1761)

Merge pull request #1794 from aarroyoc/uppercase-2

Fix to_upper/to_lower when string is instantiated

Fix to_upper/to_lower when string is instantiated

Merge pull request #1797 from triska/clpb_residuals

remove residual goal for ground BDD

remove residual goal for ground BDD

Example:

    ?- sat(X).
       X = 1.

discard CodeIndex literals from unfolded control operators in preprocessor (#1791)

add and document inlined_instructions/2 to/in diag.pl (#1791)

Merge pull request #1796 from triska/dif_si

ADDED: dif_si/2

ADDED: dif_si/2

Source: https://stackoverflow.com/questions/20223390/prolog-a-person-is-a-sibling-of-himself

In Scryer Prolog, this is actually not needed, since Scryer Prolog provides
dif/2 in library(dif). However, it is still useful to provide dif_si/2 for two reasons:

  1) to more easily port code from systems where only dif_si/2 is available
  2) to provide correct disequality in other systems that adopt this library

Merge pull request #1795 from infogulch/fix-ci-install

Use --force to install cargo2junit

Use --force to install cargo2junit

This probably appeared now because it's the first time this tool was cached
from a previous run.

Merge pull request #1793 from infogulch/fix-action-ref

Change ref for `publish-unit-test-result-action`

Change ref for `publish-unit-test-result-action`

Merge pull request #1789 from aarroyoc/uppercase

library(charsio): add to_upper and to_lower

library(charsio): add to_upper and to_lower

Merge pull request #1783 from infogulch/test

Refactor CI Workflow

Refactor CI Workflow

* Rename the workflow from Test to CI, since it does more than tests
* Run logtalk tests in a separate job to improve isolation
* Publish all xunit/junit test files as build artifacts to be consumed
  by a separate publishing workflow.
* Add "job summary" feature to show a formatted summary of the test
  results on the job summary status page
* Run the CI job once every Wed to ensure that there are always some
  recent builds on master that haven't expired.

Merge pull request #1785 from mthom/dependabot/cargo/h2-0.3.17

Bump h2 from 0.3.15 to 0.3.17

Merge pull request #1786 from triska/tuples_in

FIXED: propagation for ground tuples

FIXED: propagation for ground tuples

Example:

    ?- tuples_in([[A,A]],[[0,1],[2,0]]).
       false.

See https://github.com/triska/clpz/issues/22.

Bump h2 from 0.3.15 to 0.3.17

Bumps [h2](https://github.com/hyperium/h2) from 0.3.15 to 0.3.17.
- [Release notes](https://github.com/hyperium/h2/releases)
- [Changelog](https://github.com/hyperium/h2/blob/master/CHANGELOG.md)
- [Commits](https://github.com/hyperium/h2/compare/v0.3.15...v0.3.17)

---
updated-dependencies:
- dependency-name: h2
  dependency-type: indirect
...

Signed-off-by: dependabot[bot] <[email protected]>

Merge pull request #1780 from triska/tuples_in

Various improvements to tuples_in/2

FIXED: enforce equality also for ground elements in tuples

Example:

    ?- tuples_in([[A,B]], [[1,2],[3,4]]),
       tuples_in([[A,B]], [[3,2]]).
       false.

See https://github.com/SWI-Prolog/swipl-devel/issues/1160.

do not create attributed variables for ground tuples

actually disable and reenable the queue

remove no longer needed clpz_relation attributes

do not leave an attribute when (re-)enabling a queue

Merge pull request #1776 from infogulch/master

Add iso prolog / logtalk tests to test runner

Allow the test suite to fail without failing the build

Add logtalk test suite

Test workflow cleanup; switch to macos-11

Merge pull request #1772 from triska/number_chars

FIXED: number_chars(N, "0' "), addressing #1580.

Merge pull request #1774 from infogulch/master

Optimize Test GH action

FIXED: number_chars(N, "0' "), addressing #1580.

There may be a more elegant way to solve this.

Add cache step to test workflow

Merge pull request #1770 from triska/doc

Smaller documentation improvements to explain compilation and target directory

DOC: link to "Indexing dif/2"

DOC: explain location of scryer-prolog after compilation

This question was recently raised on the #scryer IRC channel.

use the release flag so that the instructions can be used verbatim

Also, the location of the executable depends on this flag.

change "run" to "build", since "run" leads to a Scryer prompt which can be unexpected

Merge pull request #1769 from triska/show_pending_constraints

ENHANCED: use call_residue_vars/2 to show all pending constraints

ENHANCED: use call_residue_vars/2 to show all pending constraints

Example:

    ?- freeze(_, false).
       freeze:freeze(_A,false).

This was originally added in 04ba9bc11af31780cd8fa259d78d151262c3c756,
then reverted, and is now restored.

broaden the definition of alpha_char! (#1749, #1515, #1591)

Merge pull request #1765 from mthom/dependabot/cargo/openssl-0.10.48

Bump openssl from 0.10.42 to 0.10.48

Bump openssl from 0.10.42 to 0.10.48

Bumps [openssl](https://github.com/sfackler/rust-openssl) from 0.10.42 to 0.10.48.
- [Release notes](https://github.com/sfackler/rust-openssl/releases)
- [Commits](https://github.com/sfackler/rust-openssl/compare/openssl-v0.10.42...openssl-v0.10.48)

---
updated-dependencies:
- dependency-name: openssl
  dependency-type: indirect
...

Signed-off-by: dependabot[bot] <[email protected]>

add '$unattributed_var' builtin (#1758)

Merge pull request #1759 from triska/better_queue

Better queue

remove no longer needed queue attributes after propagation

show remaining queue/2 attributes as residual goals

This lets us verify that all attributes are correctly removed earlier.

Revert "correct call_residue_vars/3 using new copy_term_3 (#1239)"

This reverts commit 9b35a316c9a01e7897490b58c222093959a21de4.

Revert "use new call_residue_vars/2 in toplevel.pl (#847)"

This reverts commit 04ba9bc11af31780cd8fa259d78d151262c3c756.

use new call_residue_vars/2 in toplevel.pl (#847)

correct call_residue_vars/3 using new copy_term_3 (#1239)

Merge pull request #1757 from aarroyoc/fix-docs-1756

DOCS: Fixes #1756

Fixes #1756

Merge pull request #1755 from triska/doc

various smaller documentation improvements

use actual toplevel answers

use string notation as discussed on #scryer IRC

items --> elements

This addresses #1740.

Merge pull request #1754 from triska/dif

ENHANCED: more compact definition of dif/2

FIXED: Take all variables into account during goal projection.

This addresses #1751.

ENHANCED: more compact definition of dif/2

As outlined in #1753.

Merge pull request #1744 from aarroyoc/ffi

Foreign Function Interface - library(ffi)

Fill more cases

Merge branch 'master' into ffi

FFI: Documentation