Fix abolish/1 predicate throw of instantiation_error

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)

Merge pull request #933 from pmoura/add_epsilon_arithmetic_constant

Add epsilon/0 arithmetic constant

Moved MIT header to top of lists.pl

Add epsilon/0 arithmetic constant

Merge pull request #932 from pmoura/fix_abolish_bug_with_no_existing_predicates

Fix abolish/1 to succeed on non-existing predicates as per standard

Fix abolish/1 to succeed on non-existing predicates as per standard

Ported permutation/2 from SWI library(lists)

add missing default RevJmpBy arm to thread_choice_instr_at_to (prompted by #922)

set self.dynamic_mode to FirstOrNext::Next independently of succeed or failure in dynamic indexing instructions (prompted by #922)

correct assertz/1 bugs (#922)

fix incremental compilation and multifile bugs

import builtins to dynamically generated modules unless builtins is being defined

add read/2 and nl/1 (#896)

add user_error stream (#917)

fail on undefined multifile/discontiguous/dynamic predicates (#915)

support full paths in load_context_path/2 (#916)

fail when retracting undefined dynamic predicates (#918)

Merge pull request #920 from panasenco/serialize

Character logic cleanup and extension

Oops, we want to keep digits as characters in library(abnf), but as numbers in library(json).

Restructuring and improving documentation.

Replaced object() with pairs() in library(json), and made key type explicit.

Added ABNF grammar to library(charsio) as well as octet character type that it depends on. Modified library(json) to use the new ABNF grammar.

Alphabetized character logic in macros.rs and system_calls.rs

fix use of local skeletons to reload predicates (#919)

Merge pull request #913 from panasenco/json

Another thorough rewrite of library(json) to better preserve the complete set of answers as much as possible

Replaced raw_chars//1 in library(pio) with seq//1 in library(dcgs).

Added \raw_chars//1 to library(pio). Began using setup_call_cleanup/3 as suggested by @triska.

Another thorough rewrite of library(json) to better preserve the complete set of answers as much as possible and thereby write more elegant and simple code. Some performance gains too!

Merge pull request #912 from panasenco/json

library(json) beta

Rewrote many parts of library(json) to leave no choicepoints when generating JSON. However, the generating performance actually worsened slightly...

Now preserving distinction between ints and floats

Seem to be generating JSON correctly and at a good speed too!

Removed CLP(Z) from library(json), achieving a 100x speedup in JSON parsing.

Fixed forward slash special case issue, added a bunch of test files that were successfully read!

Fixed defaulty representations of json_members//1 and json_elements//1

Changed formatting to match Markus Triska's as much as I can tell

Complete reordering and partial rewrite to match the official McKeeman form of the JSON specification

Added objects and type distinction based on the principal functor

Parsing and generating JSON numbers works perfectly now as far as I can tell

Began working on json library (fresh start after thinking about instantiation in terms of search strategies)

Merge pull request #909 from triska/master

add a new section about support and discussions

add a new section about support and discussions

Merge pull request #900 from triska/master

remove rectractall/1 (built-in since 8188e3d0cfde3f2277232a5e9ff2931873211af6).

assertz/1, asserta/1, retract/1, retractall/1 are meta-predicates (#902, #903)

remove rectractall/1 (built-in since 8188e3d0cfde3f2277232a5e9ff2931873211af6).

This resolves #899.

Merge pull request #897 from panasenco/master

Switched to cargo-chef for preparing the Docker image

Switched to cargo-chef for preparing the Docker image

add missing standard predicates (#896)

call '$erase_ball' before running cleanup code in setup_call_cleanup (#886)

stop unifying ! to free variables in control_functor/1 (#887)

make retract_local_clauses safe, remove warning about overwriting warning in do_not_duplicate_path_components test

use occurs check when enabled in UnifyValue (#885)

reorder declaration matching in loader.pl

flush loader term queue before compiling declarations, declare '/1' as dynamic before asserting

remove redundant retraction records for incremental compilation

compare the tails of partial string prefixes in compare_pstr_prefixes (#883)

 copies only those attributes planted by the calling module

remove vestigial attribute goals struct field and related predicates

rename issue841-occure-check.pl to issue841-occurs-check.pl

recognize cuts in (->)/(,)/(;) calling contexts (#878)

Merge pull request #872 from notoria/charsio

Extend alnum, add forgotten graphic_token

fix findall/4 (#873)

restore deleted parts of number_chars/2 and number_codes/2 (#721)

print floating point zero as 0.0 (#859)

make chars callable (#713)

always print variable bindings before names (#865)

check that a load context path is a filename before potentially returning it as a string

findall/4 should be declared as a meta-predicate (#873)

issue an imcomplete reduction error if stream ends with tokens remaining to be parsed (#871)

Extend alnum, add forgotten graphic_token

remove operators declared at user-level from files when reloading

clear user-level definitions when reloading a file (#455)

don't warn about overwriting a clause asserted to a dynamic predicate whose clauses have all been retracted (#870)