Merge pull request #501 from triska/elliptic_curves

ADDED: Reasoning about elliptic curves in library(crypto).

ADDED: Reasoning about elliptic curves in library(crypto).

This is useful to establish shared secrets, using ECDH key exchange.

Note that CLP(ℤ) goal expansion is currently disabled due to #445,
and this slows down the computations considerably for the time being.

Merge pull request #500 from triska/master

ADDED: ripemd160 digest algorithm

ADDED: ripemd160 digest algorithm

This is used for example for Bitcoin address generation.

Merge pull request #496 from triska/master

ADDED: crypto_data_hash/3, computing cryptographically secure digests

Merge pull request #498 from notoria/between

Enhanced between/3

Enhanced between/3

ADDED: crypto_data_hash/3, computing cryptographically secure digests

resolve warning messages (#495)

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

throw existence_error on failed put_byte write (#492)

do not unwrap stream write, TcpStream::shutdown results (#492)

return true on unmatching partial strings in eq_test to indicate failure (#491)

Merge pull request #494 from triska/master

ADDED: crypto_n_random_bytes/2, creating cryptographically secure random bytes

ADDED: crypto_n_random_bytes/2, creating cryptographically secure random bytes

The ring crate is used since it will be needed also for future
predicates in library(crypto).

reset current input in ReadQueryTerm

record names of variables at root in write_term_to_heap (#487)

fix at_end_of_stream/1 (#479)

change VarNames to VNNames (#476)

use heap_pstr_iter in AtomChars (#482)

set past end of stream, set Byte to -1, Char and Code to end_of_file, at end of stream (#479)

deref addr's in list of atom_codes (#484)

correct failed partial string matching (#483)

eliminate duplicates in term_variables/2, term_attributed_variables/2 (#481)

fix position property in stream_property/2 (#477)

place cut after infinitely expanding VarList in write_term_to_chars/3 (#476)

change wrong at_end_of_stream value 'end' to 'at' (#479)

detect source_sink domain error in open/4 (#480)

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

increase prolog_parser version

Merge pull request #475 from notoria/debug

Debug & warnings

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

halt on Ctrl-D in toplevel (#473)

Removed the warnings

Implemented Debug for the new data structures

Merge branch 'sockets-develop'

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

update README.md

add set_stream_position/2

Merge pull request #474 from triska/radix

ADDED: ~Nr and ~NR are now available for radix conversions

Merge pull request #471 from triska/master

ADDED: Initial version of library(crypto).

ADDED: ~Nr and ~NR are now available for radix conversions

add at_end_of_stream/{0,1}

carry past_end_of_stream in WrappedStreamInstance

add stream_property/2

ADDED: Initial version of library(crypto).

Merge pull request #468 from notoria/cont

Enhanced shift/1

Enhanced shift/1

add peek_char/{1,2}, peek_byte/{1,2}, peek_code/{1,2}

add sockets library, use new type_error function from sockets system calls

add put_code/{1,2}, get_code/{1,2}, improve get_* predicates

add put_byte/{1,2}, put_char/{1,2}

cleanup on reading predicates, add get_char/{1,2}

clean up stream error handling, add get_byte/{1,2}

change EOFCode eof_action from end_of_stream to end_of_file, add echo_server.pl example

add flush_output/{0,1}, past_end_of_stream

Merge pull request #460 from notoria/get_single_char

Fixed ctrl-c issue with get_single_char/1

Fixed ctrl-c issue with get_single_char/1

add close/{1,2}, better EOF action handling in read_term

adapt write_term family, add handling for EOF actions.

add open/3, write_term/3

Merge pull request #453 from triska/master

disable goal expansion until #445 is resolved

test

disable goal expansion until #445 is resolved

merge

improve answer substitutions at top-level

Merge branch 'master' into sockets-develop

improve answer substitutions at top-level

merge with master

make term{_attributed_}variables/2 order {attributed} variables by left-to-right occurrence

Merge pull request #450 from triska/master

do not project queue/2 attributes to residual goals

use select/3 in gather_equations for detecting whether variables are distinct.

use copy_term/3 as source of attribute goals

restore previous focus upon character match failure in compare_pstr_to_string (#441)

do not project queue/2 attributes to residual goals

Merge pull request #449 from notoria/read

Completed read/1, ctrl-d is end_of_file

version bump for prolog_parser

Completed read/1, ctrl-d is end_of_file

use complete strings in FileToChars (#430)

Project goals of query variables (#362)

wrap support code in modules

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

add term_attributed_variables/2 (#422)

Merge pull request #443 from notoria/arithmetic

Implemented expmod/4

Implemented expmod/4

remove now unnecessary dependencies, correct ordering of ! in (;)/3

Merge pull request #440 from notoria/arithmetic

Enhanced number_to_rational/2 and number_to_rational/3

Merge pull request #439 from notoria/cli2

Enhanced command line?

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

cut after compound check in (;)/2 only after semicolon_compound_selector succeeds

insert cuts where needed into (;)/3 (#434)

Enhanced number_to_rational/2 and number_to_rational/3

Added $scryer_prolog_version/1

Enhanced command line

Merge pull request #437 from triska/master

use ℤ

use ℤ

This is now possible thanks to the great contribution by @matt2xu.

Many thanks!

Merge pull request #436 from mthom/revert-419-cli

Revert "Enhanced command line"

Revert "Enhanced command line"

Merge pull request #419 from notoria/cli

Enhanced command line

accept any and all characters in comment chars