use newly available ... //0 from library(dcgs)

add meta_predicate/1 declaration for phrase_to_file/3

strip modules from GRBody in phrase/3 (#1565)

fail on non-list solutions in setof/3 (#1553)

HTTP Server 2.0

prefix inlined goals with module names in expand_subgoal/5 (#1551)

try to invoke '$call_inline' a second time in call/N (#1543)

ENHANCED: CLP(ℤ): Reduce redundant propagator invocations during all_distinct/1 filtering

First, the current propagator is now logged and not re-triggered
during filtering. Second, and more significantly, all neq_num/2
constraints are scheduled and processed before more global constraints
are invoked. In this way, all the distilled information can be taken
into account by subsequently invoked global constraints.

These changes yield a 3-fold improvement in several Sudoku instances,
and a significant runtime reduction in social golfer instance 8-4-9.

add meta_predicate/1 declarations

resolve phrase modules internally (#1541)

fail when exception caught from subgoal expansion (#1535)

fix module resolution in dcgs, call/N (#1539)

deduplicate index ptr inlining for 0-arity atoms (#1538)

trim get_structure and put_structure arities when last arg is an index ptr (#1536)

print index_ptr offset (#1534)

use separate predicate for findall cleanup

inference count call_inline, fail on undefined index

streamline assertz/1, asserta/1

inline metacalls

Merge pull request #1630 from epilys/fix-1625

fix type_error with instantiated EOF -1 byte literal in get_byte/2

fix type_error with instantiated EOF -1 byte literal in get_byte/2

According to ISO Prolog, get_byte/2 predicate can receive an
instantiated input byte:

http://www.gprolog.org/manual/html_node/gprolog037.html#sec156

    get_byte(+stream_or_alias, ?in_byte)

Since in_byte can be -1 if EOF is reached, instantiating it with -1
should work but does not because the implementation is trying to convert
it to a u8 which is unsigned:

?- open("/dev/null", read, S, [type(binary)]), get_byte(S, -1).
   error(type_error(in_byte,-1),get_byte/2).

This commit adds an extra check for -1 before checking for a valid u8
instantiated value if in_byte is an input:

?- open("/dev/null", read, S, [type(binary)]), get_byte(S, -1).
   S = '$stream'(0x55601e65c998).

Closes #1625

Merge pull request #1628 from epilys/fix-1626

Fix xor/2 type error reporting wrong argument

Fix xor/2 type error reporting wrong argument

If first argument n1 in xor/2 is of wrong numerical type, the match
patterns fall through to a catch all case that reports the second
argument in the type error.

Fixes #1626

`xor/2 function reports the wrong argument in type error #1626`

https://github.com/mthom/scryer-prolog/issues/1626

Merge pull request #1530 from RossSmyth/FixImports

Fixed imports for num-rug-adapter

Fixed imports num-rug-adapter

capture and propagate (=..)/2 errors in phrase/{2,3} (#1460)

propagate inference_limit_exceeded errors through the loader (#1298)

use setup_cal_n_init_goal_info in dynamic_module_resolution

improve efficiency of call/N, replace '$call_with_default_policy' with
'$call_with_inference_counting'

simplify detecting undefined goal_ and term_expansion

Merge pull request #1510 from Skgland/add-gitattributes

add a .gitattributes file

add a .gitattributes file

- this should stop problems such as mthom/scryer-prolog#1491
  by specifying the line ending
  as this should take precedence over the global config

replace call with $call in more meta-predicates

emit indexing instructions in single clauses of dynamic predicates

do not emit indexing instructions for single clause subsequences (#1503)

Merge pull request #1505 from Skgland/optional_rustfmt

make rustfmt optional

adjust error message on failed formatting

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.