ENHANCED: Much improved nth0/3, taken from #1529.

This also adds nth0/4 and bootstraps nth1/[3,4] from it.

ADDED: must_be/can_be(not_less_than_zero, ...)

See #1309.

better implementation of list_si/1

Per discussion in https://github.com/mthom/scryer-prolog/pull/1589.

ADDED: chars_si/1, testing for a string

Examples:

    ?- chars_si("hello").
       true.

    ?- chars_si(5).
       false.

    ?- chars_si([a,b,c|Rs]).
       error(instantiation_error,sort/2).

use new domain names from library(error): octet_character, octet_chars

ADDED: octet_character and octet_chars, testing for strings that represent bytes.

rely on the built-in DCG expansion, per discussion in #1577

ENHANCED: Use '$skip_max_list'/4 for greater efficiency of nth0/3.

This is now possible due to 4c7e2eb8614da9c04f2286f6116b468017fb442c.

See #1529 for the suggestion by @UWN.

ENHANCED: Improve determinism of ... //0 and seq//1.

Example:

    ?- phrase(..., "hello").
       true.

This addresses #1577.

offset into complete strings with '$skip_max_list'/4 (#1529)

don't return ops with priority 0 when building set for current_op (#1571)

treat functors with PI '.'/2 as lists (#1570)

introduce expand_call_goal/3 to expand goals in control meta-predicates (#1568)

use a DCG to describe the path

remove entailed must_be/2 goals

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)