Added an entry in README

Added library(debug)

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

Merge pull request #579 from triska/master

ENHANCED: throw Prolog exception on expired certificates

ENHANCED: throw Prolog exception on expired certificates

Example:

    ?- socket_client_open('expired.badssl.com':443, S, [tls(true)]).
    caught: error(permission_error(open,source_sink,'expired.badssl.com'),socket_client_open/3)

Merge pull request #577 from triska/tls

ADDED: Encrypted client connections in library(sockets) via new option tls/1.

ADDED: Encrypted client connections in library(sockets) via new option tls/1.

Use tls(true) to negotiate an encrypted network connection via TLS.

ADDED: type checks for type boolean

Merge pull request #578 from triska/format_improvements

Various improvements for format_//2

Merge pull request #576 from triska/crypto_curve_scalar_mult

ENHANCED: Faster Rust-based crypto_curve_scalar_mult/4 using OpenSSL.

type check for ~d and ~D specifiers

ENHANCED: format_//2 now evaluates arithmetic expressions for ~d, ~D, ~f, ~r and ~R

Example:

    ?- phrase(format_("~d", [1+2]), Cs).
       Cs = "3"
    ;  false.

better domain error in format_//2

Example:

    ?- format("", [hello]).
    caught: error(domain_error(empty_list,[hello]),format_//2)

add type check for scalar argument in crypto_curve_scalar_mult/4

Suggested by @notoria in #576. Many thanks!

use secp256k1 in the example

ENHANCED: Faster Rust-based crypto_curve_scalar_mult/4 using OpenSSL.

s/prolog-implementation/prolog-system (cargo does not allow keywords to exceed 20 characters)

bump version number

update prolog_parser version, correct atom_chars/2 (#379)

remove double_quotes checks from unnecessary places in system_calls.rs and elsewhere (#513, #542)

remove unreachable branch in increment_s_ptr (#575)

correct unexpected bad variables while ensuring better names are generated in order (#571)

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

order generation of variable names in attributed goals after toplevel variables (#465)

plug missing variables in equations (#488), exclude/3 regression (#452), incorrect answer substitution (#326)

Merge pull request #568 from triska/logo

How about an actual raven for a logo?

ADDED: Logo.

Motivation and considerations:

- A Scryer certainly needs a raven. Ravens are among the most
  intelligent animals on earth.
- When writing Prolog programs, a few strokes are often enough.
- Purple is the colour most associated with magic and royalty,
  indicating the almost surreal and pure features provided by Scryer,
  in the lineage of Marseille Prolog.
- The shape of the silhouette looks a bit like an "S" for "Scryer".
- A square which surrounds the image is traditionally associated with
  finishing a proof (square, Latin "quadratum", has the same starting
  letters as "quod erat demonstrandum").

I call this raven: *Cryer*. Cryer is an archaic spelling for "crier",
an officer who makes public announcements in a court of justice.
The Prolog top-level likewise makes announcements about what is true.

Merge pull request #524 from matt2xu/decode_utf8

Add decoding of UTF-8 sequences

Merge pull request #563 from triska/master

ADDED: halt/1, halting with specified exit code

throw evaluable type error for unrecognized atoms in arith_eval_by_metacall

Add type errors where appropriate in arith_eval_by_metacall (#392)

throw type_error(number, E) in arith_eval_by_metacall (#392)

(**)/2 should always evaluate to floating point (#558)

update (^)/2 in light of Draft Technical Corrigendum 3 (#559)

ADDED: halt/1, halting with specified exit code

address arity discrepancies in builtins.n and call/N (#525)

Merge pull request #560 from notoria/cargo

Added some informations in Cargo.toml

Merge pull request #557 from mthom/docker

Merge Master with Docker branch

Added some informations in Cargo.toml

use -1 as eof_code for binary streams (#555)

Merge pull request #556 from panasenco/docker

Valid Dockerfile and README

Implementation of UTF-8 bytes to chars

Phrasing

Fixed link in Dockerfile documentation. Updated README with working Docker link. Made general improvements to the Docker section of the README now that I'm not in a sleep-deprived zombie state.

Revert "Revert "Created and Tested Dockerfile""

This reverts commit e00d864199549c179a4403fba910b234646cdba5.

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

correct get_byte/1 not emitted -1 upon discovery of end_of_stream position (#555)

Merge pull request #552 from mthom/master

Scryer Dockerfile

Merge pull request #554 from triska/format3

ADDED: format/3, writing formatted output to a stream

ENHANCED: Faster format/3 for binary streams.

This speeds up web servers considerably when sending binary files.

ADDED: format/3, writing formatted output to a stream

Both binary and text streams are supported.

modify int_pow so that a power of -1 is valid (#548)

Merge pull request #545 from triska/ed25519

ADDED: Public key signatures and signature verification with Ed25519

document that lists of integers can be specified if encoding(octet) is used

This seems to be a good compromise: The API now strongly encourages
lists of characters, which are ideally suited to represent text, and
also allows lists of bytes if the encoding(octet) option is used.

correct mode indication for ed25519_verify/4

Noted by @notoria in #545. Many thanks!

"PrivateKey" --> "KeyPair"

remove several mentions of list of bytes in predicate descriptions

This is to focus more on the intended core representation of text: In
Prolog, text is ideally represented as a list of characters, and this
is what we want to encourage, especially given Scryer's compact
representation for strings.

For the time being, library(crypto) still also supports lists of bytes in
several predicates. This will likely be removed at some point in the
future. Please use lists of characters to make your code future-proof.

require PKCS#8 v2 format for better security

Notably, this format requires that the public key also be present.
This format is what ed25519_new_keypair/1 generates, and it is
strongly encouraged for higher security.