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)

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

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)