Remove some unused code from lib_toplevel.pl

dont spawn a runtime in machine; inherit from outside with runtime::handle::Current

Deactivate some debugging outputs

Switch back to run_input_once and use duplicated write_eqs/2 without any input handling

Fix build

Try triska's toplevel and add some debugging println!s.

HashSet -> BTreeSet: Make parsing or results and thus tests deterministic. Add comments.

Add special case when parsing

Add consult that works with streams / strings in library use-case

Dedupe machine results

Add missing list_last_item to lib_toplevel.pl and increase MaxDepth of write_eq to avoid truncation of results

Fix result parsing for complex string results

Add missing write_goal/3 to lib_toplevel.pl

type QueryResult = Result<QueryResolution, String>

Error handling

Don't panic when parsing results fails

Add back newline at end of toplevel.pl

Add back all needed predicates to lib_toplevel.pl

Use lib constructor in lib tests

fmt machine/parsed_results.rs

WIP: refactor to generalize Machine::run_top_level()

Add test for programatic queries

Fix build warnings

Refactor result parsing to idiomatic Rust and extract into parsed_results.rs

Remove debug println!s

Parsed QueryResult

Make run_input_once/0 match and print all results

Add convenience methods Machine::load_module_string() and Machine::run_query()

Add Machine::run_input_once() which reads one goal from user input and runs it

Add Machine::set_user_input(&mut self, input: String) and get_user_output() -> String. Make read_term_from_user_input() handle Stream::Byte.

Merge pull request #1635 from mthom/rebis-dev

Merge rebis-dev into master

bump version to 0.9.1

remove num-rug-adapter

move asserta/2, assertz/2 to iso_ext

introduce InlineTermStream to avoid arena allocations during call_inline (#1576)

Merge pull request #1630 from epilys/fix-1625

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

FIXED: CLP(ℤ): Correctly remove all attributes during propagation of all_distinct/1 and other global constraints.

The constraints from library(clpz) were already correctly removed, but
others such as pending freeze/2 goals were not, potentially leading to
an accumulation of redundant constraints during propagation.

Test case:

   ?- freeze(A,(X=1;X=2)), all_distinct([A]), A = 1.
      A = 1, X = 1
   ;  A = 1, X = 2.

The combination of freeze/2 and CLP(ℤ) is useful for example when
creating animations of search processes.

This addresses #1624.

build partial strings using PStrLoc in write_term_to_heap (#1627)

export asserta/2 (#1623)

cache ball terms before unifying in handle_ball/3 (#1608)

Some minor fixes. Thanks to @triska for them!

fix crash in read_term (#1616)

adjust rust-version declaration

Set default Shell

Add Windows MSYS2

ENHANCED: library(crypto): Faster conversion to bytes when the integer is known.

These entailed constraints only affect performance, and can be removed
without affecting the correctness of the code. They speed up scalar
multiplication of a curve point, used for example in Bitcoinolog.

use newly available u8s_to_string

remove redundant error handling, since this case is checked in Prolog

This restores f668640e3d9c4ccbd1fc0c6e98e1fb9c2cf1a39c, where this
change was already made. It seems it was accidentally overwritten in
0404c3bd949b09d6713d3869e37d30a6b8a77f97.

introduce and use u8s_to_string

use (slightly) better variable names

use newly available must_be(chars, ...) for better and shorter type test

ENHANCED: Eliminate the OpenSSL dependency of library(crypto).

This is achieved by using the newly available crrl crate by @pornin
to implement crypto_curve_scalar_mult/4 for secp256k1. Many thanks!

properly match strings concluding with characters in lists (#1597)

correct nth0/4 and nth1/4

As per https://github.com/triska/scryer-prolog/commit/56b430ecaf9bd59fb7bd0b1e56d451ab322c422e#commitcomment-82155379.

remove nth1/3, which is now provided by library(lists)

remove nth1/3, which is now provided by library(lists)

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

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