Use functional notation in CLP(Z) for compatibility

Implemented a propagator for xor 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

wrap variable goals in module-expanded call/1

do not print error messages if .scryerrc[.pl] does not exist (#842)

print errors arising from term and goal expansion calls from loader.pl

introduce bind_fn, use in applicable Fact/Query instructions (#841)

pop non-composite terms from iter stack in is_cyclic_term

add error value to occurs_check prolog flag (#783)

Merge pull request #838 from Skgland/librarify

Split main.rs into lib.rs and bin/scryer-prolog.rs

revert removal of PartialEq

move the signal handler to the binary

remove #[allow(dead_code)]

only commenting out the unused variant as `OptArgIndexKeyType`
as it appears to mirror `OptArgIndexKey` and there List is not unused
so this appears to be not yet used rather than obsolete

fix CI lib build with beta compiler

adjust ci

split into lib and bin

* makes most pub things in src/ pub(crate) as not to expose things accidentally
  * only those things needed by src/bin/scryer-prolog.rs and tests/scryer.rs
    should be pub
* split src/main.rs into src/lib.rs and src/bin/scryer-prolog.rs
* add tests folder and run most of the files in src/tests with cargo test
  added bytes method to Stream in src/machine/streams.rs to check if stdout is as expected

restore .scryerrc loading

add occurs_check flag (#309)

enable op declarations with lists of operands using term expansion (#839)

add lines read from devour_whitespace (#836)

set compilation_target of assert loader to match that of predicate qualifier

update the parser with the number of lines already read by the underlying stream (#836)

implement logical update semantics for dynamic database predicates

Merge pull request #837 from triska/rebis-dev

Small improvements for Rebis

add entry for library(lambda)

omit internal residual goals for global_cardinality/2

remove unused attribute_goal/2

Merge pull request #835 from triska/lambda

ADDED: library(lambda) by Ulrich Neumerkel

adapt libraries and toplevel output to Scryer Prolog

use individual meta_predicate/1 declarations

ADDED: library(lambda) by Ulrich Neumerkel.

Source: http://www.complang.tuwien.ac.at/ulrich/Prolog-inedit/lambda.pl

More information:

    http://www.complang.tuwien.ac.at/ulrich/Prolog-inedit/ISO-Hiord

add copy_term_nat/2 (#795)

no longer delay verify_attributes for cut instructions (#807)

no longer generate a choice point in bb_b_put/2 (#742)

consume whitespace before reading a term in loader.pl, modify prolog_load_context at file key to better reflect loading context, use it when reporting singleton variables (#812)

extend existing local predicate skeletons in LoadState::compile

anonymize singleton variables in iso_ext.pl, charsio.pl

issue singleton variable warnings from loader.pl (#812)

wrap stream instances in one Rc<RefCell<..>>, use Ref/RefMut to access stream options

Merge pull request #834 from aarroyoc/rebis-http

Fix HTTP server in rebis

Fix typo

Use notoria's comment

Merge pull request #830 from aarroyoc/rebis-http

Fix HTTP server on Rebis. Breaking change

tweak bimetatrans_tests.pl

add set_prolog_flag to declarations recognized by loader.pl

correct comment before call meta_predicate declarations

add 'e' as evaluable functor for Euler's constant (#832)

use env::current_dir in Machine::current_dir (#833)

move to a local num-rug-adapter crate addressing #822

remove nl after top-level use_module (#818)

qualify command-line specified goals with user: (#820)

treat LocalCodePtr::Halt received at lookup_local_instr as an interrupt (#823)

add qualified imports use_module library modules

Fix HTTP server to work on Rebis branch. Breaking change

Merge pull request #829 from aarroyoc/uuidv4

UUIDv4 library

UUIDv4 generation

use add_dynamically_generated_module in get_or_insert_local_code_index

add '$remove_module_exports' to loader.rs

Merge pull request #828 from triska/rebis-dev

enable meta_predicate/1 declarations

enable meta_predicate/1 declarations

Merge pull request #827 from triska/rebis-dev

add appropriate meta_predicate/1 declarations

add appropriate meta_predicate/1 declarations

Merge pull request #826 from triska/rebis-dev

add appropriate meta_predicate/1 declarations

add appropriate meta_predicate/1 declarations

Merge pull request #825 from tniessen/readme-typo-fix

Fix typo in README

instantianted -> instantiated

Fix typo in README

try to canonicalize to absolute path in current_dir(), use it in setting LoadContext directories (#821)

restore support for tabling and delimited continuations (#779)

add second term expansion to capture the addition of hook predicates to the expansion process in loader.pl, loader.rs

remove VNs variable from loader.pl