mark chunk boundary at beginning of disjunct in disjuncts.rs (#1843)

fix string incompleteness (#1828)

Merge pull request #1842 from infogulch/release-on-tag

Fix tags trigger; bump MSRV to 1.65

Bump msrv to 1.65 due to bumping rug to 1.19

https://gitlab.com/tspiteri/rug#version-1190-news-2023-01-06

Fix tags trigger

fix branch subsumption bug (#1840, #1841)

Merge pull request #1838 from triska/get_line_to_chars

MODIFIED: read_line_to_chars/3 is now called get_line_to_chars/3

update README

another case of "read" --> "get", for an only internally used predicate

MODIFIED: read_line_to_chars/3 is now called get_line_to_chars/3

This is for consistency with other I/O predicates, where "read" always
indicates Prolog terms. Please adjust your programs accordingly.

correct code_walker.rs in light of compilation improvements

Merge branch 'compiling_disj'

correct reversions after rebase

polish perm free list management

Add steps to publish binaries when releases are tagged

free local cut variables after cut

mark is/2 allocated permanent variables as safe, add CompareNumber terms to ClauseType::is_inlined

Bump openssl from 0.10.48 to 0.10.55

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

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

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

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"

Merge pull request #1834 from infogulch/ci-publish-releases

Add steps to publish binaries when releases are tagged

Add steps to publish binaries when releases are tagged

Merge pull request #1833 from mthom/dependabot/cargo/openssl-0.10.55

Bump openssl from 0.10.48 to 0.10.55

Bump openssl from 0.10.48 to 0.10.55

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

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

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

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)

Merge pull request #1822 from triska/master

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

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.

Merge pull request #1820 from aarroyoc/banner-meetup

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

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

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

Merge pull request #1816 from notoria/clpz

Small fixes for `CLP(ℤ)`

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)

Merge pull request #1809 from aarroyoc/update-select

Update select crate to 0.6.0 and remove warning

Update select crate to 0.6.0 and remove warning

Merge pull request #1808 from triska/gensym

gensym-related improvement and correction

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

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

shorten gensym/2

Merge pull request #1805 from triska/master

extend logic to all control and whitespace characters

extend logic to all control and whitespace characters

This addresses #1802.

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

Merge pull request #1801 from triska/foldl

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

Merge pull request #1799 from triska/roman_numerals

ENHANCED: allow Roman numerals in strings

Merge pull request #1800 from triska/nbsp

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

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

This allows shorter and more natural definitions.

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

Example:

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

This addresses #1768.

ENHANCED: allow Roman numerals in strings

Example:

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

This addresses #1790.

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