serialize call_0 test (#1206)

Merge pull request #1207 from triska/semi-deterministic

deterministic --> semi-deterministic

deterministic --> semi-deterministic

Merge pull request #1199 from Skgland/do_not_gen_in_src

Generate into $OUT_DIR instead of src/

Merge pull request #1195 from triska/rebis-dev-format-U

ADDED: format specifier ~NU, using underscores to separate groups of digits

evaluate floats referenced from the heap by tagged pointers (#1203)

execute trust instead of retry at the end of dynamic choice blocks (#1204, #1173)

recognize characters as separate from atoms in ''/7 (#1192)

render [] as empty string in AtomOrString::as_str() (#1193)

improve between_/3 implementation (#1186, #1191)

imitate Rc-style equality for TypedArenaPtr (#1190)

correctly print [] functors (#1189)

only rerun build.rs when something in src/ has changed

by default (when no rerun-if is emitted) build.rs is rerun if something in the package changes

don't genrate code in src/

[Outputs of Build Script](https://doc.rust-lang.org/cargo/reference/build-scripts.html#outputs-of-the-build-script) states that only files in $OUT_DIR may be modified

ADDED: format specifier ~NL to limit the number of digits per line

Example:

    %?- format("~65L", [2^1000]).
    %@ 10715086071862673209484250490600018105614048117055336074437503883_
    %@ 70351051124936122493198378815695858127594672917553146825187145285_
    %@ 69231404359845775746985748039345677748242309854210746050623711418_
    %@ 77954182153046474983581941267398767559165543946077062914571196477_
    %@ 686542167660429831652624386837205668069376   true.

ADDED: format specifier ~NU, using underscores to separate groups of digits

Example:

    ?- format("~2U", [10^12]).
    %@ 10_000_000_000.00   true.

compare bigints by value not by pointer (#1183)

Merge pull request #1160 from aarroyoc/add-ugraphs-library

Add ugraphs library (ported from SWI)

Merge pull request #1182 from aarroyoc/sockets-arity

fix socket_client_open/3

remove TLS option in socket_client_open/3

fix socket_client_open/3

correct heap offsets in setup_call_cleanup tests

unify current time as a complete string, not an atom (#1175)

correct read/2 arity to 2 (#1171)

complete handling of control operators in interpreted (,)/2 (#1172)

Minor fixes

Merge remote-tracking branch 'upstream/rebis-dev' into add-ugraphs-library

add version dependency information to README

update README.md

add parser tests

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

Add ugraphs library

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.