add max arity checks at various stages (#1459)

check asserta/2, assertz/2, abolish/2 for uninstantiated Module variables (#1475)

detect character type errors in atom_{chars|codes}/2 (#1472)

Merge pull request #1478 from triska/sgml_improvements

Various improvements to library(sgml)

Merge pull request #1477 from triska/document_tab_completion

document atom and predicate completion with TAB

indent enumerations

clarify the representation

strengthen and improve type checks

clarify comment

use phrase_from_file/2 directly on the file name

document atom and predicate completion with TAB

This feature, added via
https://github.com/mthom/scryer-prolog/pull/1467, makes the toplevel
interaction a lot more convenient in many cases.

Many thanks to @euanlacy!

Merge pull request #1474 from triska/correct_can_be_chars

FIXED: can_be(chars, [a,X]), i.e., if variables occur as elements

consider deallocate a head instruction (#1473)

prioritize type errors over instantiation errors

Example:

    ?- must_be(chars, [a,X,cc]).
       error(type_error(character,cc),can_be/2).

See https://github.com/mthom/scryer-prolog/pull/1474#issuecomment-1126664368

FIXED: can_be(chars, [a,X]), i.e., if variables occur as elements

This should simplify 2f3de51e554629d2e7b4ea023c9ef181c240692c and
other cases like it.

remove non-determinism in number_chars/2 and numbercodes/2 (#1473)

use must_be(chars) in number_chars/2 (#1470)

Merge pull request #1467 from euanlacy/master

Completion of predicates in repl

wip: add more atoms to completion list

fix: remove unnecessary string & vec allocations

wip: basic completion of predicates

unify partial string tail later in create_partial_string (#1462, #1465, #1427)

fix culprit in stream_position permission_error (#1463)

correct cycle detection in unify_* (#1455)

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)