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)

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

Merge pull request #592 from triska/http_open

ADDED: library(http/http_open), opening HTTP and HTTPS streams for reading

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

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

clarify meaning of AssertItems and QueryItems in BiMetaTrans source-level documentation

Merge pull request #602 from triska/put_char

put_char/[1,2]: throw type errors for atoms that are not characters

put_char/[1,2]: throw type errors for atoms that are not characters

Example:

    ?- put_char(hello).
    %@ caught: error(type_error(character,hello),put_char/2)

Merge pull request #597 from triska/faster_format

ENHANCED: much faster format/3 for text streams

ADDED: library(http/http_open), opening HTTP and HTTPS streams for reading

Example:

   ?- http_open("https://github.com/mthom/scryer-prolog", Stream, []),
      length(Ls, 10),
      maplist(get_char(Stream), Ls).

Yielding:

   %@    Stream = '$stream'(0x7fba4c59ef10), Ls = "\n\n\n\n\n<!DOC"
   %@ ;  false.

cover Addr::Fixnum when not referenced as an Addr::Con, undefine dynamic predicate definitions from within modules too (#588)

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

fix copy_partial_string bug (#572)

ENHANCED: much faster format/3 for text streams

This is now also used by format/2 to emit output on the terminal,
and significantly speeds up toplevel output of long strings.

Merge pull request #590 from triska/read_line_to_chars

ADDED: read_line_to_chars/3, reading up to and including "\n" from a stream

change the plurality of AssertItem(s), QueryItem(s) in bimetatrans.pl

Merge pull request #595 from triska/faster_format

ENHANCED: faster format/3 when writing to binary streams

use format/3 to benefit from efficiency improvements

ENHANCED: faster format/3 when writing to binary streams

This is also more secure, since it does not change the atom table
and therefore leaves little trace of what was processed.

Merge pull request #589 from triska/lazy_pio

ENHANCED: Read more characters at once, significantly speeding up library(pio)

Merge pull request #593 from triska/portray_clause

ADDED: portray_clause/2, writing to a specified stream.

Merge pull request #594 from triska/scryerrc

explain .scryerrc configuration file

fix broken links in README (#591)

use take() for extra fast processing of binary files

Suggested by @notoria in #589. Many thanks!

better naming: str --> string

Suggested by @notoria in #589. Many thanks!

explain .scryerrc configuration file

ADDED: portray_clause/2, writing to a specified stream.

ENHANCED: Read more characters at once, significantly speeding up library(pio).

ADDED: read_line_to_chars/3, reading up to and including "\n" from a stream, yielding a list difference.

This works for both binary and text streams.

rename bimetatrans example files and directory

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

remove vestigial prolog/ directory (#444)

Merge pull request #587 from triska/lazy_pio

ENHANCED: phrase_from_file/[2,3] now read the file lazily.

add missing ! in int_pow (#580)

adjust the tail created by CreatePartialString to point to the last cell it pushed to the heap (#586)

credit Ulrich Neumerkel for partial strings in README

include library(pio) and library(charsio) in the itemization

ENHANCED: phrase_from_file/[2,3] now read the file lazily.

This allows processing extremely large files. In addition, the
efficient string representation helps to reduce memory usage.

These features unleash the full power of Prolog for text processing,
the exact use case Prolog was designed for.

remove most cuts from bimetatrans_ruleml.pl

fix printing of atoms like '.x' (#585)

eliminate unnecessary find_min_time_ predicate in least_time.pl example

Merge pull request #582 from triska/format_time

ADDED: format_time//2 for describing strings involving dates and times

ADDED: format_time//2 for describing strings involving dates and times

current_time/1 yields the current system time as an opaque time stamp.

scryer and prolog_parser version bump (#581)

prolog_parser version bump, scryer version bump