Merge pull request #1127 from triska/retract_correction

Correct retract/1 issues due to module qualification

Merge pull request #1122 from triska/better_time

ENHANCED: Better reporting for time/1.

FIXED: retract/1 issues due to module qualification

This addresses #1125.

ENHANCED: Better reporting for time/1.

This addresses #378.

use anonymous variable

Merge pull request #1120 from triska/char_type_correction

ENHANCED: Correct type error for char_type/2.

ENHANCED: Correct type error for char_type/2.

This addresses #905.

Merge pull request #1116 from aarroyoc/fix-open-lis

Allow all kinds of string to be processed in open/4

Merge pull request #1119 from mthom/expand_call_goals_as_call_goals

Expand call goals as call goals so that goals in control constructs are qualified properly

expand call goals as call goals (#1114)

Merge pull request #1117 from triska/indicate_failed_initialization

ENHANCED: indicate failed initialization/1 goal

Merge pull request #1115 from triska/get_char_type_test

ENHANCED: Character type checks for get_char/[1,2].

ENHANCED: indicate failed initialization/1 goal

This addresses #1109.

Fix use_module import errors

Allow all kinds of string to be processed in open/4

ENHANCED: Character type checks for get_char/[1,2].

This addresses #906.

Merge pull request #1096 from aarroyoc/number_chars_fix

Prevents panic in some strange cases. Seen in #721

Merge pull request #1112 from triska/underscores_in_integers

ENHANCED: Support '_' followed by layout text sequence in integers.

Merge pull request #1113 from triska/seq

Use newly available seq//1 and ... //0 in several libraries

Merge pull request #1111 from triska/fast_list_test

Use '$skip_max_list'/4 for fast list tests in can_be/2 and must_be/2

use seq//1

use seq//1 and ... //0 which are now available in library(dcgs)

use seq//1

use seq//1 which is now available in library(dcgs)

ENHANCED: Support '_' followed by layout text sequence in integers.

This is handy for writing large integers, for example in cryptographic
applications.

This addresses #994.

Examples:

    ?- X = 1_000_000.
    %@    X = 1000000.

    ?- X = 1_
    000_
    000.
    %@    X = 1000000.

use must_be(list, ...) earlier, since it is now faster

ENHANCED: use '$skip_max_list'/4 for fast list tests in can_be/2 and must_be/2

This also (partially) addresses #1108.

Merge pull request #1107 from triska/fast_chars_test

New type tests: must_be(chars, ...) and can_be(chars, ...)

use newly available must_be(chars, ...) for fast string tests

use newly available must_be(chars, ...) for fast string tests

ADDED: must_be(chars, ...) and can_be(chars, ...) for string tests.

Internal features of Scryer Prolog are used to make these tests fast.

Merge pull request #1098 from triska/format_improvements

Various smaller improvements to library(format)

Merge pull request #1099 from aarroyoc/uninstantiation_error-missing

Fix uninstantiation_error missing. Fix #1031

Merge pull request #1100 from aarroyoc/phrase-to-file-options

Add phrase_to_file/3 (phrase_to_file with Options)

Merge pull request #1102 from triska/meta_predicate_corrections

Meta predicate corrections

use round brackets for meta_predicate/1 declaration

FIXED: meta_predicate/1 declaration of cond_t/3.

FIXED: meta_predicate/1 declaration of (',')/3 and (;)/3.

FIXED: meta_predicate/1 declaration for tfilter/3.

FIXED: meta_predicate/1 declaration for tmember_t/3.

FIXED: meta_predicate/1 declaration for tmember/2.

FIXED: meta_predicate/1 declaration for tpartition/4.

This addresses #1101.

mention phrase_to_file/3 which is being prepared in #1100

'f' --> f

better layout

use newly available seq//1 from library(dcgs)

I am using seq(Ls) instead of plain Ls so that DCGs can be debugged
declaratively, by generalizing away nonterminals in rules.

Fix mistake in phrase_to_file/2 definition

Add phrase_to_file/3 (phrase_to_file with Options)

Fix uninstantiation_error missing. Fix #1031

more elegant solution for parsing numeric arguments, using a DCG

mention the format("~s", [Ls]) pattern and new library(pio) predicates

Prevents panic in some strange cases. Seen in #721

Merge pull request #1082 from pmoura/fix_format_predicates_missing_numbervars_option_on_w_and_q_formats

Fix the format/2-3 predicates missing the numbervars(true) option in the ~w and ~q formats

Merge pull request #1087 from Skgland/fix_beta_check

fix failing lint warnings in beta build

Merge pull request #1078 from triska/pio_improvements

Various improvements for pure output

Merge pull request #1086 from Skgland/pass_-f_flag_in_cargo_test

pass -f to scryer-prolog in cargo test so that we ignore .scryerrc

Merge pull request #1088 from triska/call_nth_metapredicate

FIXED: meta_predicate/1 directive for call_nth/2.

remove unused fields instead, prompting more dead_code removal

use functional notation for all meta_predicate/1 directives

FIXED: meta_predicate/1 directive for call_nth/2.

This addresses #1021.

fix failing lint warnings in beta build

pass -f to scryer-prolog in cargo test so that we ignore .scryerrc

fixes issue #1085

Fix the format/2-3 predicates missing the numbervars(true) option in the ~w and ~q formats

FIXED: instantiation errors for alias(Var) in open/4 options

This addresses #1030.

FIXED: instantiation errors for type(Var) in open/4 options

This addresses #1030.

add motivation and comments about library(pio) predicates

use newly available library predicate read_n_chars/3

mention pure output predicates in the README

ADDED: library(format): DCG nonterminal portray_clause_//1, in analogy to format_//2.

express format/3 and portray_clause/2 in terms of phrase_to_stream/2

ADDED: phrase_to_stream/2, writing a list of characters to a stream.

Merge pull request #1077 from pmoura/fix_get_code_predicates_at_end_of_file

Fix the get_code/1-2 predicates to return -1 at the end of stream as per standard

Merge pull request #1071 from triska/read_n_chars

ADDED: read_n_chars/3, reading N characters from a stream.

Merge pull request #1070 from triska/open_stream

ENHANCED: open/4 to allow opening a stream by specifying stream(S).

Merge pull request #1069 from triska/crypto_improvements

Performance improvements for library(crypto)

Fix the get_code/1-2 predicates to return -1 at the end of stream

import also partial_string/3 (used in #1071)

ADDED: read_n_chars/3, reading N characters from a stream.

move error handling to Prolog by using the new '$first_non_octet'/2

ENHANCED: open/4 to allow opening a stream by specifying stream(S).

This allows switching standard output to binary, using for example:

  ?- current_output(S0), open(stream(S0), write, S, [type(binary)]).

format/3 can then be used to write binary data to S. This is needed
for example when piping binary data to other programs.

This addresses #614, please read the discussion for more information.

The current implementation is very preliminary: Specifically, it works
by destructively modifiying the parameters of the underlying stream,
making it no longer usable in its original mode. Currently, if the
type of standard output is set to binary, then the toplevel no longer
works. Therefore, after writing binary output to standard output,
the program should either halt, or set the stream type back to text.

use partial_string/1 for much quicker test

use '$first_non_octet'/2 for much faster domain check

ADDED: '$first_non_octet'/2, for much more efficient domain checks in library(crypto).

'$first_non_octet'(Cs, C) <=> C is the leftmost character in the
string Cs whose character code is not in 0..255.

ENHANCED: Much faster Base64 encoding/decoding, using partial_string/1 for a quick check.

Merge pull request #1065 from aarroyoc/pio-string

Disable check of atom and leverage to open/4 the domain_error

Merge pull request #1066 from aarroyoc/rust-2021

Rust 2021

Rust 2021

Disable check of atom and leverage to open/4 the domain_error

Disable check of atom and leverage to open/4 the domain_error

Merge pull request #1052 from aarroyoc/shell-predicate

Implement shell/1 and shell/2

Go back and accept only list of chars

Accept atom or shell

Implement shell/1 and shell/2

Merge pull request #1051 from aarroyoc/close-stream

Throw exception if closing a closed TCP stream #1046

Close Stream test feedback

Close Stream bug files

Close Stream bug files

Merge pull request #1049 from pmoura/add_preliminary_current_module_predicate_definition

Add preliminary current_module/1 predicate definition requiring a bound argument

use shutdown error values to throw exceptions in close stream

launch exception if closing a closed TCP stream #1046