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

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