FIXED: meta_predicate/1 declaration for tpartition/4.

This addresses #1101.

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

reset attributed variables queue when backtracking (#678, etc.)

reset attributed variables queue after successful verify_attributes interrupt (#669, etc)

Add preliminary current_module/1 predicate definition requiring a bound argument

Merge pull request #1045 from triska/phrase_to_file

ADDED: Rudimentary version of phrase_to_file/2 in library(pio)

use round brackets for meta_predicate declarations

This is because meta_predicate is not a standard operator.

ADDED: Rudimentary version of phrase_to_file/2 in library(pio)

See #691 for more information.

Merge pull request #1033 from aarroyoc/fix-1022

Add a -f switch to load alternative initialization files

Merge pull request #1032 from aarroyoc/fix-1009

Fix #1009 by providing a naive num-bigint implementation of count_ones

Rename init_file to disable_init_file

use consult instead of use_module

Rename to disable_init_file and change description

PR feedback

Read scryerrc if goals specified but not -f specified

Clean the code

Add a -f switch to load alternative initialization files

Make it line

Fix #1009 by providing a naive num-bigint implementation of count_ones

Merge pull request #1029 from triska/format

ENHANCED: Domain error non_empty_list for empty arguments, addressing #1024

ENHANCED: Domain error non_empty_list for empty arguments, addressing #1024.

Example:

    ?- format("~d", []).
    %@ caught: error(domain_error(non_empty_list,[]),format_//2)

Merge pull request #1027 from triska/format

ENHANCED: format_string domain error for invalid radix in format string

ENHANCED: format_string domain error for invalid radix in format string

This addresses #1024.

Example:

    ?- format("hello ~0r!", [12]).
    %@ caught: error(domain_error(format_string,"~0r"),format_//2)

Merge pull request #1026 from triska/format

ENHANCED: If N is omitted in ~Nr or ~NR, it defaults to 8.

ENHANCED: If N is omitted in ~Nr or ~NR, it defaults to 8.

This is for compatibility with Quintus, SICStus and GNU Prolog,
addressing #1024.

Example:

    ?- format("~r", [10]).
    %@ 12   true.

run user-level and module-level initialization goals from loader.pl (#1012)

Merge pull request #1001 from triska/master

ADDED: ... //0, describing an arbitrary number of elements

ADDED: ... //0, describing an arbitrary number of elements

This is a very versatile nonterminal. For instance, repeated elements:

    ?- phrase((...,[E],...,[E],...), "hello!!").
    %@    E = l
    %@ ;  E = !
    %@ ;  false.

Merge pull request #996 from triska/master

address #995: wrong results for popcount/1

address #995: wrong results for popcount/1

Many thanks to @notoria and @flexoron for very useful test cases!

Merge pull request #993 from triska/master

ADDED: popcount(+Integer)

Merge pull request #986 from Regan-Koopmans/981

Add popcount/2

981 Prefer must_be/2

ADDED: popcount(+Integer)

Example:

    ?- X #= popcount(3+5).
       X = 1.

This builds on #986 provided by @Regan-Koopmans. Many thanks!

981 Reimplement as library system call

Merge pull request #983 from triska/master

check for correct domain of integers in reifiable expressions also in the expanded code

check for correct domain of integers in reifiable expressions also in the expanded code

This is to preserve domain errors instead of failing silently. Example:

   ?- 5 #> 3 #<==> 2.
   %@ caught: error(domain_error(clpz_reifiable_expression,2),unknown(2)-1)

Merge pull request #978 from Skgland/master

fix beta build and tests

Merge pull request #982 from triska/master

ENHANCED: Goal expansion for reified constraints.

ENHANCED: Goal expansion for reified constraints.

Used in package precautionary by @dcnorris.

ignore setup_call_cleanup tests as their output is apparently non-deterministic

fix tests

fix beta build

Merge pull request #972 from pmoura/add_pid_predicate

Add pid/1 predicate to the os library

leave the expansion of incomplete goals in meta-predicates to call/N (#967, #970)

Add pid/1 predicate to the os library

Merge pull request #971 from pmoura/add_rename_file_predicate

Add rename_file/2 predicate to the files library

Add rename_file/2 predicate to the files library

Merge pull request #968 from pmoura/add_make_directory_path_predicate

Add make_directory_path/1 predicate to the files library

Merge pull request #969 from pmoura/add_delete_directory_predicate

Add delete_directory/1 predicate to the files library

Add delete_directory/1 predicate to the files library

Add make_directory_path/1 predicate to the files library

Merge pull request #965 from pmoura/fix_current_predicate_error_checking

Fix current_predicate/1 predicate error checking