Merge pull request #1461 from triska/clpz_sign

ADDED: sign/1

ADDED: sign/1

remove comment that seems no longer valid

fix rnd_i fixnum casting bug (#1456, #1458)

track f64 offsets in Literal (#1190)

compact lists of characters to partial strings in read_term_from_heap (#1452, #1453)

fix match_partial_string, compare_pstr_to_string (#1451)

remove redundant register assignments in numeric comparisons (#1438, #1448)

remove redundant skip_stub_try_me_else condition (#1444)

Merge pull request #1436 from triska/must_be_term

ADDED: can_be(term, ...) and must_be(term, ...)

replace SliceDeque with VecDeque

catch existence_error exceptions from top-level calls to attribute_goals/3 (#1432)

unify structures from left to right (#1396)

update to crossterm 0.20.0 (#1439)

ADDED: can_be(term, ...) and must_be(term, ...)

This terminology is a bit harder to understand than that of the other
type checks.

Scryer Prolog comprises two individually consistent but incompatible
notions of terms, namely terms and rational trees (which are also
called "cyclic terms"). This leads to a confusion in terminology,
because cyclic terms are not terms in the former sense even though
they also contain the word "term" in their name.

This terminological confusion is not restricted to terms: We also find
it for example in the notion of lists. Lists are defined inductively:

    - The empty list (written as "" or [], called 'nil') is a list.
    - A term with principal functor '.'/2 is a list if its second argument
      is a list.

Note that a list may contain cyclic terms as elements, and still be
called a list. However, if we post:

    ?- Ls = [_|Ls].

then Ls is not a list, because it does not fit the inductive
definition. Still, it is sometimes referred to as a "cyclic list" or
"circular list", even though it is not a list. Even Prolog
implementors that aim for strict conformance to the Prolog ISO
standard and are deeply familiar with the standard use this
terminology when talking about such terms, see for example:

    https://github.com/ichiban/prolog/pull/198

Consequently, must_be(list, Ls) raises a *type error* in this case.

Terms are distinguished from cyclic terms completely analogously. This
leads to the counterintuitive consequence that *cyclic lists are not
terms*. The reason for this apparent contradiction in terminology is
the mutual incompatibility of different notions of terms. The notion
of "term" precludes rational trees, similar to the notion of "list"
which precludes cyclic lists.

We therefore introduce:

    * must_be(term, Term)
      - raises an instantiation error if Term contains variables (since
        it could still become a rational tree)
      - raises a type error if Term is a rational tree

    * can_be(term, Term)
      - raises a type error if Term is a rational tree

Note that using the notion of "cyclic term" and "acyclic term" in this
terminology would not be a good idea, because this confusion is
precisely what we want to eliminate: must_be(term, Term) should be
usable as a test that reliably determines whether Term can be treated
as a term with the logical properties we expect from terms.

This addresses #1428.

very minor optimizations

mark unsafe variables and substitute temporary variables in is/2 when appropriate (#1430)

fix panic caused by jmp offset off by one error (#1429)

avoid writing chars to the atom table in several places

Merge pull request #1421 from gruhn/master

push Docker image on new release

fix comparisons to partial string tails (#1420)

push Docker image on new release

Setup GitHub action which automatically builds and pushes Docker
images, when new release tags are created.

instantiate Module in definition of retract/1 (#1392)

mark cells that are about to be iterated in the stackful iterator (#1418)

use '$call' all throughout setup_call_cleanup/3

dereference head of list in is_continuable (#1417)

stop detecting cycles in compare_pstr_to_string

mark variable referents in stackful iterator, fix tests (#1408)

Merge pull request #1415 from wkral/set_output-error

Fix reported source for set_output/1 error (#1407)

Fix reported source for set_output/1 error (#1407)

print dot after errors, fix tests (#1408)

fix tests, use '$first_answer' to print indentation before errors (#1408)

print errors as goals (#1408)

unmark dereferenced cells in term_variables/2 (#1412)

dereference bindings returned by stackful iterator (#1410, #1411)

deduplicate variable list in term_variables/2 (#1409)

throw errors on cyclic terms when evaluating is/2 expressions

fix loop in stackful iterator (#1405, #1384)

detect immediately cyclic lists (#1384)

restore correct order to term_variables/2 (#1400, #1401)

limit use of stackless iterator to test suite

add forwarding bit to all heap cells (#1384)

allocate floats in dedicated buffer

make marker into an iterators, recover post_order_iterator

removal of old stackless iterator, implementation of new more faithful one

Merge pull request #1395 from wkral/fix-test-indentation

Fix indentation before false in tests (#676)

Fix indentation before false in tests (#676)

indent plain false (#676)

Merge pull request #1386 from triska/better_call_nth

ENHANCED: more memory efficient call_nth/2 (#1264)

compare complete strings to one another in write_literal_to_var (#1388)

ENHANCED: more memory efficient call_nth/2 (#1264)

I hope that this will allow more extensive tests of Scryer Prolog. Enjoy!

don't mark forwarded refs in stackless iterator/marker (#1384)

be aware of temporary variables of stackless iterator in term_variables (#1383)

Merge pull request #1381 from wkral/build-fmt-error

Improve rustfmt missing error during build (#1379)

Improve rustfmt missing error during build (#1379)

Merge pull request #1380 from triska/as_is

as --> is

as --> is

fix dif/2 crash (#1378)

Merge pull request #1373 from aarroyoc/http-open

Add Hyper based `http_open/3`

print closed stream handle as '$dropped_value' (#1376)

dereference numbervars terms (#1377)

Add close handling of http stream

http_open/3 try_or_throw

http_open/3 with headers and data

http_open/3 with method option

extend small_letter_char! to include all non-uppercase letters (#1364)

Stream::close() should close file handles (#1374)

use ryu to print floats with a modification for compatible syntax (#1368, #1372)

fix char comparison misordering (#1371)

retrieve F64 behind Cons tags properly (#1369)

Merge pull request #1370 from triska/files_must_be_chars

ENHANCED: use newly available must_be(chars, ...), which is very fast

ENHANCED: use newly available must_be(chars, ...), which is very fast

fix functor/3 arity check (#1366)

advance arg in arithmetic comparison code (#1367)

detect float rounding overflows (#1365)

recognize missing syntax errors (#1354, #1361)

compare TypedArenaPtr<T> by value not pointer (#1362)

use Rust's native UTF-8 functions (#1355)

correct float version of sign/1 (#1360)

accept remaining UTF-8 codepoints as alphabetic characters (#1355)

print most characters directly ((#1355)

check self.ignore_ops and max_depth in print_rational (#1359)

remove pstr offsets unconditionally from printer iteration stack, deal with fallout after the fact (#1357)

improve length/2 (#1325)

prepare for publishing to crates.io (#1335)

add (:) meta-predicate argument indicator (#1302)

derefence target variable in check_sort_errors (#1350)

throw errors on cycles in sort/2 and keysort/2 (#1350 and #1351)

point code index to switch_on_term after appending indexed clause to single-clause predicate (#1346)

Merge pull request #1349 from Skgland/min-rust-version

Set minimum rust version in Cargo.toml (Attempt 2)

add a CI job to verify msrv is still correct

add min rust version

was proposed in https://github.com/mthom/scryer-prolog/issues/1335#issuecomment-1062039516 and got positive feedback

(cherry picked from commit fcfa3beaa32f23f6c08fcc7d4f3755b10bc62431)

Merge pull request #1348 from mthom/revert-1347-min-rust-version

Revert "Set minimum rust version in Cargo.toml"

Revert "Set minimum rust version in Cargo.toml"

Merge pull request #1347 from Skgland/min-rust-version

Set minimum rust version in Cargo.toml

add a CI job to verify msrv is still correct

add min rust version

was proposed in https://github.com/mthom/scryer-prolog/issues/1335#issuecomment-1062039516 and got positive feedback

Merge pull request #1342 from wkral/no-add-history

Add --no-add-history flag

Add --no-add-history flag

Flag prevents the input stream from saving terms to ~/.scryer_history
when set. Use the flag when running tests to increase test isolation.

print rationals that are integers as integers (#663)