Renamed find_optimal_index to first_instantiated_index

Merge pull request #6 from triska/indexing

document first instantiated argument indexing

document first instantiated argument indexing

Many thanks to @notoria for this brilliant idea and implementation!

Organized changes into find_optimal_index

Simplified the code, removed first_arg, the Option

Implemented a different way to index clauses

Merge pull request #729 from brightly-salty/replace-dirs

Replace dirs with dirs-next

Replace dirs with dirs-next

Merge pull request #722 from aarroyoc/history-file

History file support (Rustyline 7.0) (#152)

Merge pull request #720 from aarroyoc/max-min-list

Add list_max & list_min to lists module

History file support (Rustyline 7.0)

Change name to list_max, list_min as PR feedback

Use foldl as PR feedback suggested

Add max_list & min_list to lists

Merge pull request #710 from triska/clpz-reif

ADDED: Provisional support for (#=)/3 and (#<)/3.

ADDED: Provisional support for (#=)/3 and (#<)/3.

These predicates are intended for constructs from library(reif), such
as if_/3. For the time being, they are defined here. If you have any
recommendations or comments regarding the best location of these
predicates, or need more of them, please file an issue.

Suggested by @Qqwy in https://github.com/triska/clpz/issues/12.

Many thanks!

support number/1

Merge branch 'master' of https://github.com/mthom/rusty-wam into master

Merge pull request #706 from malbarbo/fix-num

Fix build with num features

Merge branch 'master' of https://github.com/mthom/rusty-wam into master

Update num-rug-adapter to fix build with num feature.

Merge pull request #702 from triska/showterm

Add showterm.el and showterm.pl to the distribution

use "r" interactive specifier

refer to new tools directory

ADDED: showterm.el and showterm.pl to draw terms as trees in Emacs

Merge pull request #700 from triska/development_environment

DOC: Development environment recommendations.

DOC: Development environment recommendations.

Merge branch 'master' of https://github.com/mthom/rusty-wam into master

Merge pull request #698 from triska/file_must_exist

ENHANCED: library(files): Error handling if requested files do not exist.

ENHANCED: library(files): Error handling if requested files do not exist.

We now throw exceptions instead of failing silently, or even crashing
when using file_size/2 etc. with nonexistent files.

refactor SystemClauseType::Open in anticipation of #614

preface the 'spelling error' with an explainer comment (#687)

Merge pull request #696 from triska/format_distinct_variables

FIXED: format_//2: Keep different variables distinct.

FIXED: format_//2: Keep different variables distinct.

Example:

        ?- phrase(format_("~w~w", [_,_]), Ls).
        %@    Ls = "AB"
        %@ ;  false.

Merge pull request #694 from triska/write_all

FIXED: reliably write all characters when using format/3

FIXED: reliably write all characters when using format/3

This addresses #693.

Many thanks to @notoria for a brilliant test case, and the
suggestion of this correction!

Merge pull request #689 from matteoredaelli/patch-1

Update README.md

Update README.md

wrong link to source file dcgs.pl

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)

try to build strings from list as potential matches in SwitchOnConstant (#623)

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