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

Fix current_predicate/1 predicate error checking

Merge pull request #956 from pmoura/fix_subsumes_term_predicate

Fix subsumes_term/2 predicate to use unify_with_occurs_check/2 instead of (=)/2

Merge pull request #960 from triska/master

FIXED: correct propagation of tuples_in/2 (#929)

Merge pull request #958 from pmoura/fixes_for_retract_predicates

Fixes for retract predicates

Merge pull request #957 from pmoura/fix_at_end_of_stream_predicate_missing_check_for_instantiation_error

Fix at_end_of_stream/1 predicate missing check for instantiation error

Merge pull request #955 from pmoura/fix_abolish_predicate_throw_of_instantiation_error

Fix abolish/1 predicate throw of instantiation_error

Merge pull request #954 from pmoura/fix_set_stream_position_exception_term_missing_argument

Fix set_stream_position/2 predicate missing argument in exception term

FIXED: correct propagation of tuples_in/2 (#929)

Many thanks to @notoria for producing a very short test case.

Fix retract_clause/2 internal predicate to correctly handle module qualification and no lose body bindings

Fix retractall/1 predicate to retract both facts and rules

Fix at_end_of_stream/1 predicate missing check for instantiation error

Fix subsumes_term/2 predicate to use unify_with_occurs_check/2 instead of (=)/2

Fix abolish/1 predicate throw of instantiation_error

Fix set_stream_position/2 predicate missing argument in exception term

Merge pull request #952 from panasenco/dockerfile

Made rust version in Dockerfile static

Made rust version in Dockerfile static, this seems to have really fixed the cache issues

Merge pull request #951 from pmoura/add_max_arity_prolog_flag

Add max_arity Prolog flag

Add max_arity Prolog flag

Merge pull request #948 from pmoura/fix_bounded_and_integer_rounding_function_flags_for_current_prolog_flag

Fix querying bounded and integer_rounding_function flag values

Fix querying bounded and integer_rounding_function flag values

Merge pull request #946 from pmoura/fix_char_code_predicate_error_term_on_bould_non_atom_first_argument

Fix char_code/2 predicate wrong error term when the first argument is bound but is not an atom

Fix char_code/2 predicate wrong error term when the first argument is bound but is not an atom

Merge pull request #934 from panasenco/dockerfile

Dockerfile update: Switched from using @LukeMathWalker's image to using the official Rust image.

Merge pull request #938 from pmoura/fix_bitwise_shift_functions_type_error_in_second_argument

Fix bitwise shift functions type error in the second argument

Merge pull request #937 from pmoura/fix_open_predicate_error_term_on_bound_stream_argument

Fix open/3-4 predicates error term when the stream argument is bound

Merge pull request #936 from pmoura/fix_throw_1_control_construct_with_var_argument

Fix throw/1 control construct to throw an instantiation error when the argument is not bound

Merge pull request #939 from pmoura/fix_missing_argument_in_current_op_3_predicate_exception_term

Fix missing argument in current_op/3 predicate exception term

Merge pull request #940 from pmoura/fix_power_infix_operator_type_as_per_standard

Fix (**)/2 operator type

Merge pull request #944 from triska/master

FIXED: module qualification for between/3 in goal expansion (#941)

Merge pull request #945 from pmoura/fix_char_code_error_checking

Fix char_code/2 predicate failure instead of exception on non-integer second argument

Merge pull request #942 from pmoura/fix_op_3_predicate_operator_priority_domain_error

Fix op/3 predicate operator_priority domain error

Fix char_code/2 predicate failure instead of exception on non-integer second argument

FIXED: module qualification for between/3 in goal expansion (#941)

Many thanks to @dcnorris for reporting this issue!

Fix op/3 predicate operator_priority domain error

Fix (**)/2 operator type

Fix missing argument in current_op/3 predicate exception term

Fix bitwise shift functions type error in the second argument

Fix open/3-4 predicates error term when the stream argument is bound

Fix throw/1 control construct to throw an instantiation error when the argument is not bound

Switched from using @LukeMathWalker's image to using the official Rust image. Was experiencing cache issues before that, either due to the image, or due to Docker cache being weird...

Merge pull request #928 from panasenco/permutation

Ported permutation/2 from SWI library(lists)