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 throw/1 control construct to throw an instantiation error when the argument is not bound

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)

remove intra-module predicates from module code directory when module is being re-defined (#848)

Merge pull request #866 from Skgland/add_tests

Add tests for some recently closed Issues

fix expected output for syntax_error test

address problems brought up in review

add more tests

for some of the recently closed issues

improve comment

clean up tests/

give helper function a more descriptive name

fix is_cyclic_term (#864)

Merge pull request #861 from notoria/mod

Small improvement for mod in CLP(Z)

Added a test for mod in CLP(Z)

Merge pull request #862 from notoria/xor

Implemented a propagator for xor in CLP(Z)

Use functional notation in CLP(Z) for compatibility

Implemented a propagator for xor in CLP(Z)

Small improvement for mod in CLP(Z)

Merge pull request #858 from triska/master

CLP(B) correction