make rustfmt optional

- when rustfmt is not detected (by attempting to run ``rustfmt --version)
  no formatting will be attempted
- this should resolve issue mthom/scryer-prolog#1504

unmark cells in arith_eval_by_metacall (#1497)

don't print superfluous round brackets in curly braces (#1416)

fix broken quoting in writeq/1 (#1498)

fix off-by-one error reporting in write_term/3 (#1490)

don't quote most characters in strings (#1495, #301)

use existence_error for dropped streams (#1472)

Merge pull request #1485 from triska/in_character

Implement and use can_be(in_character, ...)

use in_character

This addresses one aspect of #1472.

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

fix stream position and term comparison bugs (#1472)

Merge pull request #1484 from aarroyoc/fix-windows-build-2

Fix build on Windows 10

MSI installer

Fix build on Windows 10

throw a representation error if max arity is exceeded (#1483)

Merge pull request #1482 from triska/multiple_of_five_answers

ENHANCED: "f" on toplevel to report answers up to the next multiple of 5.

add max arity checks at various stages (#1459)

ENHANCED: "f" on toplevel to report answers up to the next multiple of 5.

This makes counting solutions easy.

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`