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

is is --> is

FIXED: CLP(B): weighted_maximum/3 with repeated variables

Many thanks to @jburse for reporting this issue:

    https://github.com/triska/clpz/issues/15

Example:

    ?- sat(~(Y*X)), sat(Z=:=Y), weighted_maximum([7,2,5],[X,Y,Z],W).
       W = 7, Y = 0, X = 1, Z = 0
    ;  W = 7, Y = 1, X = 0, Z = 1
    ;  false.

adapt comment to Scryer Prolog

qualify '$print_project_attributes_exception' call (#857)

call project_attributes from top-level (#846)

Merge pull request #856 from triska/master

Improvements for library(format)

ENHANCED: more readable indentation of nested disjunctions

Example:

    ?- portray_clause((h :- a ; b ; c)).
    h :-
       (  a
       ;  b
       ;  c
       ).
       true.

remove unnecessary argument

Merge pull request #854 from triska/master

Better indentation for nested ( If -> Then ; Else ) constructs

use the new portray_clause/1 output for generated definitions

separate side-effects from declarative description to facilitate test cases etc.

ENHANCED: more readable indentation of nested ( If -> Then ; Else ) constructs

Example:

    ?- portray_clause((h :- ( a -> b ; c -> d ; e, f))).
    h :-
       (  a ->
          b
       ;  c ->
          d
       ;  e,
          f
       ).
       true.

catch exceptions thrown from initialization goals (#852)

has_tail must be false for use as a filename from open/{3,4}

Merge pull request #851 from Skgland/fix_num_test2

Workaround to make num tests work

workaround to make num tests work

Merge pull request #849 from triska/master

Remove duplicated definitions

remove min_/3 and max_/3 which are also defined elsewhere

remove group_pairs_by_key/2, which is now provided by library(pairs)

warn when overwriting a predicate (#848)

do not check for non-unifiability in dif:attribute_goals, which is sure to succeed, resulting in no goals being printed at top-level (#844)

Merge pull request #845 from triska/master

explain the new occurs_check flag

explain the new occurs_check flag

use atom_chars to convert .scryerrc path string to atom

use plain ! while interpreting control functors in metacalls (#724)

apply expand_module_names to call(A) goals

suppress tabled/2 existence errors in tabling library, do not print evaluation errors generated by term and goal expansion in loader.pl

Merge pull request #843 from mthom/rebis-dev

Merge rebis-dev into master

check that Module is an atom before calling Module:goal_expansion/2