flatten the instruction dispatch loop

relocate most instruction routines from MachineState to Machine

remove LocalCodePtr::IndexingBuf

module-qualify incomplete goals in expand_goal/3

dereference first argument of (is)/2

generate heap_loc cells to refer to 0-arity atoms in read.rs

fix unify_float

dereference variables when looking for string terminators

properly iterate over read terms in MachineState::read_term

get test suite working

fix printing of CStr's

remove skeletons from replaced modules

use heap_loc to refer to 0-arity atom instead of str_loc

defer installation of inference counter for call_with_inference_limit til after goals expanded

fix bugs revealed by src/tests/builtins.pl

start to retune testing infrastructure

fix off by one bug in system_calls

fix bug in error_form

fix various partial string bugs (copying using them in arg/3)

detect attributed variables by properly detecting them in copy_term/2

upgrade rustyline

don't allow [] as a stream alias, restore domain error on source sink for open/{3,4}

keep cursor position after writing to byte stream

fix stream errors

break from loop upon successful peek in peek_char/1 and peek_code/1

break from loop in get_code upon successful character read

throw instantiation error if Arity is a variable in abolish/1

use strip module in retract/1, a meta-predicate

restore old thread_goals to fix top-level solutions printing bug

fix HeapPStrIter bug not recognizing nil focus if PStrLoc points to PStrOffset to CStr

fix number not recognizing floats

detect module resolved cut in interpreted (,)

fix arg/3 bug

add bounds check for attributed variables slice

tag DCG constructs with module names for proper resolution

break from get_char loop after successful char unification

unmark cell bits in occurs check

support comparison and unification of cyclic partial strings

greatly reduce the number of goal expansions done in callable if/then/else

use new heap term representation

Merge pull request #1156 from mthom/proper_var_list_order_issue_1121

Correct order of variables in read_term/3 equation and variable lists

create read_term/3 variable lists in order of variable occurrence within terms

Merge pull request #1132 from triska/tls_library

ADDED: library(tls) for negotiating TLS connections

Merge pull request #1141 from triska/layout_text_sequence

ENHANCED: Support also comments in integers with underscores

Merge pull request #1142 from triska/s

report time with "s" instead of "seconds", in analogy to time(1)

Merge pull request #1143 from heydtn/patch-1

Fix typo in abnf_lwsp/2

Merge pull request #1147 from triska/pio_improvements

ENHANCED: Use newly available fast chars test from library(error).

ENHANCED: Use newly available fast chars test from library(error).

Fix typo in abnf_lwsp/2

report time with "s" instead of "seconds", in analogy to time(1)

This addresses https://github.com/mthom/scryer-prolog/pull/1131#issuecomment-988670049 .

ENHANCED: support full layout text sequence (also comments) in integers with underscores

Example:

    ?- X = 1_/**/2.
    %@    X = 12.

Following the comment in https://github.com/mthom/scryer-prolog/pull/1112#issuecomment-981540485

remove redundant test: '\n' is a layout char.

Merge pull request #1131 from triska/cpu_time

walltime --> CPU time

use newly available predicates from library(tls) for HTTPS

ADDED: library(tls), providing all predicates for TLS connections.

The currently available predicates for TLS-connections can be extended
with predicates to load and reason about certificates etc.

implement tls_client_negotiate/3 for explicit negotiation

MODIFIED: Remove TLS-related predicates from library(sockets).

They will become available in a new library, library(tls).

walltime --> CPU time

Merge pull request #1129 from triska/tls_servers

ADDED: Support for creating TLS servers.

Merge pull request #1124 from triska/test_corrections

several corrections to test cases

Merge pull request #1127 from triska/retract_correction

Correct retract/1 issues due to module qualification

Merge pull request #1122 from triska/better_time

ENHANCED: Better reporting for time/1.

ADDED: Support for creating TLS servers.

The new predicates tls_server_context/2 and tls_server_negotiate/3 can
be used to negotiate TLS connections with clients for encrypted and
authenticated communication.

FIXED: retract/1 issues due to module qualification

This addresses #1125.

ENHANCED: Better reporting for time/1.

This addresses #378.

use anonymous variable

several corrections to test cases

Merge pull request #1120 from triska/char_type_correction

ENHANCED: Correct type error for char_type/2.

ENHANCED: Correct type error for char_type/2.

This addresses #905.

Merge pull request #1116 from aarroyoc/fix-open-lis

Allow all kinds of string to be processed in open/4

Merge pull request #1119 from mthom/expand_call_goals_as_call_goals

Expand call goals as call goals so that goals in control constructs are qualified properly

expand call goals as call goals (#1114)

Merge pull request #1117 from triska/indicate_failed_initialization

ENHANCED: indicate failed initialization/1 goal

Merge pull request #1115 from triska/get_char_type_test

ENHANCED: Character type checks for get_char/[1,2].

ENHANCED: indicate failed initialization/1 goal

This addresses #1109.

Fix use_module import errors

Allow all kinds of string to be processed in open/4

ENHANCED: Character type checks for get_char/[1,2].

This addresses #906.

Merge pull request #1096 from aarroyoc/number_chars_fix

Prevents panic in some strange cases. Seen in #721

Merge pull request #1112 from triska/underscores_in_integers

ENHANCED: Support '_' followed by layout text sequence in integers.

Merge pull request #1113 from triska/seq

Use newly available seq//1 and ... //0 in several libraries

Merge pull request #1111 from triska/fast_list_test

Use '$skip_max_list'/4 for fast list tests in can_be/2 and must_be/2

use seq//1

use seq//1 and ... //0 which are now available in library(dcgs)

use seq//1

use seq//1 which is now available in library(dcgs)

ENHANCED: Support '_' followed by layout text sequence in integers.

This is handy for writing large integers, for example in cryptographic
applications.

This addresses #994.

Examples:

    ?- X = 1_000_000.
    %@    X = 1000000.

    ?- X = 1_
    000_
    000.
    %@    X = 1000000.

use must_be(list, ...) earlier, since it is now faster

ENHANCED: use '$skip_max_list'/4 for fast list tests in can_be/2 and must_be/2

This also (partially) addresses #1108.

Merge pull request #1107 from triska/fast_chars_test

New type tests: must_be(chars, ...) and can_be(chars, ...)

use newly available must_be(chars, ...) for fast string tests

use newly available must_be(chars, ...) for fast string tests

ADDED: must_be(chars, ...) and can_be(chars, ...) for string tests.

Internal features of Scryer Prolog are used to make these tests fast.

Merge pull request #1098 from triska/format_improvements

Various smaller improvements to library(format)

Merge pull request #1099 from aarroyoc/uninstantiation_error-missing

Fix uninstantiation_error missing. Fix #1031

Merge pull request #1100 from aarroyoc/phrase-to-file-options

Add phrase_to_file/3 (phrase_to_file with Options)

Merge pull request #1102 from triska/meta_predicate_corrections

Meta predicate corrections

use round brackets for meta_predicate/1 declaration

FIXED: meta_predicate/1 declaration of cond_t/3.

FIXED: meta_predicate/1 declaration of (',')/3 and (;)/3.