Merge pull request #686 from triska/call_nth

ADDED: Preliminary version of call_nth/2.

ADDED: First version of call_nth/2.

A thread-safe implementation is possible for example with
'$nb_setarg'/3 (see #390).

flatten passage of cut point B in (,)/2, (->)/2 and (;)/2 (#685, #683)

Merge pull request #682 from triska/dif_improvements

Improvements to dif/2

dif/2: Omit entailed residual goals, if the arguments are not unifiable.

This addresses #135.

dif/2: Succeed unconditionally if the arguments are not unifiable.

This addresses one part of #135.

Merge pull request #677 from notoria/clpz_mod

Made mod stronger and addressed #675

Use nonterminal fd_put//3 in mod from clpz

Simplified the code

Using queue_goal//1 to correctly bind variables

Fixed variable bindings in mod from clpz

Made mod stronger and addressed #675

Merge pull request #674 from notoria/clpz_mod

Improved mod in clpz

More improvement on mod from CLP(Z)

Improved mod in CLP(Z)

This is still a work in progress.

Merge pull request #671 from triska/clpb_restriction

FIXED: CLP(B): Delay BDD restriction until after the instantiation.

FIXED: CLP(B): Delay BDD restriction until after the instantiation.

This is necessary to actually take the new value into account.

Example:

    ?- sat(A*B>=C*D), A=1,B=0,C=1,D=1.
    false.

This addresses #670.

Merge pull request #668 from triska/xbrl

library(sgml): Correctly parse XML leaf nodes that are not text nodes.

library(sgml): Correctly parse XML leaf nodes that are not text nodes.

Example:

    ?- load_xml("<schemaRef type=\"simple\"/>", Node, []).
       Node = [element(schemaRef,[type="simple"],[])].

This is necessary for example to parse XBRL files. See #665.

Merge pull request #667 from triska/clpb_taut

omit internal attributes in residual goals when using taut/2

omit internal attributes in residual goals when using taut/2

Examples:

    ?- taut(X=:=X,1).
       clpb:sat(X=:=X)
    ;  false.

    ?- taut(X=\=X,0).
       clpb:sat(X=:=X)
    ;  false.

update prolog_parser version (#657)

Merge branch 'master' of https://github.com/mthom/scryer-prolog

fix bugs in PausedPrologStream (#661)

Merge pull request #656 from notoria/try_from_number

Fixed some conversion issues

Merge pull request #660 from triska/shorter_crypto

Shorten and improve implementation of several cryptographic routines

ensure proper lengths of key and initialization vector

This avoids crashes when using unsuitable lengths.

remove entailed constraint

use self.deref(...) (see #653)

use atom_argument_to_string

Fixed some conversion issues

fix crash in CryptoPasswordHash (#653), conversion of Rational integers in number_chars/2 (#655)

Merge pull request #654 from triska/aad

ADDED: library(crypto): Support for additional authenticated data (AAD).

shorten, and increase readability

use "octet" as a string literal, reducing the number of arguments

ADDED: library(crypto): Support for additional authenticated data (AAD).

Additional authenticated data can now be specified with the new
aad(Chars) option for encryption and decryption. It is authenticated,
but not encrypted.

update prolog_parser to 0.8.67 (#648)

unify '[]' with proper [] in atom_chars/2 (#569)

reconcile '[]' and [] (#644), solve remaining conformity issues (#648), move (-->) from dcgs.pl to builtins.pl (#649)

Merge pull request #647 from notoria/newline

Improved readline

Improved readline

Merge pull request #645 from triska/curve25519

ADDED: library(crypto): ECDH key exchange over Curve25519 (X25519)

ADDED: library(crypto): ECDH key exchange over Curve25519 (X25519)

the indexer now categorizes partial strings only as lists (#623, #642)

Merge pull request #639 from triska/flush_output

ENHANCED: flush output for impure I/O (format/[2,3], portray_clause/1 etc.)

ENHANCED: flush output for impure I/O (format/[2,3], portray_clause/1 etc.)

Without this, we do not get a (timely) prompt in cases like:

    ?- format("press a key: ", []), get_single_char(C).

whereas for example write/1 already works in such cases:

    ?- write('press a key: '), get_single_char(C).
    press a key:

Merge pull request #638 from triska/base64

ADDED: chars_base64/3 for efficient bidirectional Base64 conversion.

throw an error if a character cannot be encoded

better error handling for options

use newly available chars_base64/3

ADDED: chars_base64/3 for efficient bidirectional Base64 conversion.

Merge pull request #636 from triska/path_segments

ADDED: path_segments/2 for portable reasoning about path components.

ADDED: path_segments/2 for portable reasoning about path components.

The platform-specific directory separator is taken into account.
The clean representation of segments as a list simplifies reasoning.

Merge pull request #633 from triska/file_time

ADDED: file_creation_time/2 and file_access_time/2.

Merge pull request #631 from cduret/lib_csv

add write_csv & change skip_header to with_header option

Merge pull request #635 from triska/more_links

DOC: add more links to libraries, and include iso_ext in the enumeration

DOC: add more links to libraries, and include iso_ext in the enumeration

look up operator precedence when arity does not match what the atom records, don't print brackets around outermost '+' (#629)

ADDED: file_creation_time/2 and file_access_time/2.

The code can be simplified once if- and while-let-chains are available:

    https://github.com/rust-lang/rust/issues/53667

Merge pull request #632 from triska/path_canonical

ADDED: path_canonical/2, obtaining the canonical absolute path.

set domain_error exception & use format/3 with setup_call_cleanup/3 for stream writing

ENHANCED: Reorder fields in time stamps so that (@<)/2 is meaningful.

ADDED: file_modification_time/2, obtaining a time stamp.

This addresses a remaining aspect of #511.

ADDED: path_canonical/2, obtaining the canonical absolute path.

This addresses a remaining aspect of #511.

set throw() to follow ISO recommendations

add write_csv & change skip_header to with_header option

Merge pull request #630 from triska/delete_file

ADDED: delete_file/1, addressing a remaining aspect of #511

ADDED: working_directory/2, addressing a remaining aspect of #511

ADDED: delete_file/1, addressing a remaining aspect of #511

Merge pull request #626 from triska/compact_crypto

ENHANCED: library(crypto): Retain the compact representation of strings.

mention symmetric encryption and ChaCha20-Poly1305

ENHANCED: library(crypto): Retain the compact representation of strings.

This avoids the costly (in terms of space requirements!) conversion of
compact lists of characters to lists of integers, making hashing, HKDF,
encryption, decryption, signing and signature verification an order of
magnitude more efficient (primarily in terms of space, also in time).

This makes library(crypto) suitable to process also very large files.

Merge pull request #625 from triska/os

ADDED: library(os), reasoning about environment variables.

use newly available character type in must_be/2

ADDED: library(os), reasoning about environment variables.

Together with library(files), this addresses #511.

slight update to the BiMetaTrans README

update bimetatrans tests

add bimetatrans README

Merge pull request #621 from notoria/tabling

Tabling

Enhanced the implementation

The restriction has been removed by using read_library_path from
cfd15f4e027b4df216e723bbd35facac28a09a1c.

Allowing paths in use_module(library(..)) (#604)

In a module, the path is restricted in being an atom.

Revert "allow paths in use_module(library(..)) (#604)"

This reverts commit cfd15f4e027b4df216e723bbd35facac28a09a1c.

Revert "build.rs recursively delves into directories during library bake stage, correct misnamed file at machine/mod.rs:455 (#617)"

This reverts commit c1b577f2c7a148b13c1692ab8ac741aa57b0ac43.

Merge pull request #606 from triska/files

ADDED: library(files), for reasoning about files and directories.

build.rs recursively delves into directories during library bake stage, correct misnamed file at machine/mod.rs:455 (#617)

Merge pull request #613 from cduret/csv_lib

add csv library

add csv library

directory_files/2: throw representation error if into_string() fails

Suggested by @notoria in #606. Many thanks!

comment on indexing, addressing a comment by @pmoura in #606

If indexing is needed for lists of characters, it should be added to
the engine.

ADDED: library(files), for reasoning about files and directories.

Merge pull request #608 from triska/xml

ADDED: load_xml/3 to load XML files from streams, files and strings.

library(format) is not used in this example

ADDED: load_xml/3 to load XML files from streams, files and strings.

Merge pull request #607 from triska/xpath

ADDED: library(xpath) for convenient analysis of HTML and XML documents.

import member/2 from library(lists)

This is needed when processing redirects.

ADDED: library(xpath) for convenient analysis of HTML and XML documents.

Merge pull request #596 from triska/sgml

ADDED: library(sgml), providing load_html/3 to parse HTML documents

Merge pull request #605 from notoria/debug

Added library(debug)

Added an entry in README

Added library(debug)