add missing fact to beginning of tmember_t/3 (#1275)

group predicate subsequences by first instantiated arg (#1053)

print bounded depth partial strings correctly

update setup_call_cleanup tests

use printer cycle detection when printing partial strings (#1263), refactor skip_max_list functions

reference partial strings properly in read_term (#1271)

fix write_canonical on strings (#1233)

fix '$skip_max_list'/4 (#1260)

fix float formatting (#1233, #1258)

reset instruction pointers with calls, make HCPrinter::range_from safe (#1233)

count cycle lengths in skip_max_list_cycle (#1260)

tag length/2 as the source of finite_memory errors in list.pl (#1259)

Merge pull request #1257 from mthom/rebis-dev_improved-length

Improved length/2 and arg/3 range checking

add range check to arg/3 (#1250)

improve '$skip_max_list'/4 and length/2 (#1023, #110)

Merge pull request #1254 from triska/valid_dotdotdot

ENHANCED: Make toplevel output a Prolog term that can be read back also for "...".

ENHANCED: Make toplevel output a Prolog term that can be read back also for "...".

This addresses #1240.

inline store & deref calls in '' (#1176)

use expand_goal directly for existential-qualified goals in all-solutions predicates (#1246)

don't read into the heap while incrementing self.s (#1233, #1245)

lazily throw exceptions of dcg_body from goal-expanded phrase/{2,3} (#1244)

recognize []/N as callable (#1241, #989)

expand phrase/{2,3} using dcg_body whenever possible

module-qualify callables more liberally but not for built-ins (#1243)

dereference car of Lis in HeapPStRIter::step (#1238)

throw errors from phrase/{2,3} where expected (#1220)

streamline and fix phrase/{2,3} (#1237)

Merge pull request #1236 from triska/omit-module-prefix

omit module prefix, because the goals are already module-qualified

omit module prefix, because the goals are already module-qualified

Merge pull request #1235 from triska/better-initialization-warning

ENHANCED: more specific warning when initialization/1 fails (#1149)

ENHANCED: more specific warning when initialization/1 fails (#1149)

Merge pull request #1234 from aarroyoc/ctrld

Fix Ctrl-D in toplevel

print -0.0 as 0.0 (#1164)

throw error instead of overwriting builtin export (#1225)

remove number/3 from arithmetic.pl (#1170)

Fix Ctrl-D (#1168)

fix floor for f64 (#1223)

include library(error) in toplevel.pl (#1226)

clear alias in close before resetting the stream to null (#1231)

Merge pull request #1232 from triska/toplevel_read_from_chars

FIXED: toplevel to use (newly renamed) read_from_chars/2

FIXED: toplevel to use (newly renamed) read_from_chars/2

Merge pull request #1228 from triska/charsio-read-renames

MODIFIED: Rename two predicates in library(charsio)

Merge pull request #1229 from triska/faster_decryption

ENHANCED: library(crypto): Retain a compact internal representation of the ciphertext throughout decryption.

ENHANCED: library(crypto): Retain a compact internal representation of the ciphertext throughout decryption.

This allows efficient decryption also of very large files and long
strings.

It is usually highly advisable to stick to common and portable library
predicates such as append/3. However, since append/3 does not yet
recognize this opportunity for improvement, I apply it manually in
this case, so that also very large files can be efficiently decrypted
using the compact internal string representation.

Without this change, decrypting a 1 GB file takes 48 GB of RAM,
whereas with this change, it only takes 2 GB (one for the string, one
for its copy with the appended tag).

MODIFIED: library(charsio): read_n_chars/3 is now called get_n_chars/3

This is because "read" is associated with general Prolog terms.

MODIFIED: library(charsio): read_term_from_chars/2 is now called read_from_chars/2

This is for compatibility with SICStus Prolog and GNU Prolog.

dereference second argument of '/2

Merge pull request #1224 from triska/working_directory

correct reference to '$working_directory'/2

correct reference to '$working_directory'/2

Merge pull request #1222 from triska/retain_string_of_nil

retain the string "[]" as is, instead of converting it to '[]' (i.e., "")

retain the string "[]" as is, instead of converting it to '[]' (i.e., "")

This addresses #1215.

deduplicate but do not sort anonymous variables in toplevel (#1196)

add missing cases to retract_clause (#1214)

allow late dynamic declaration for predicates (#1205)

put_complete_string should push the empty list to the heap for empty strings (#1209)

fix off-by-one error in DynamicIndexedChoice (#1210)

fix syntax regressions (#1198, #1164)

write plaintext and ciphertext directly to atoms (#1193)

delimit partial strings around \x0\

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