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

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

remove unnecessary cause of failure in parser, qualify call to op_/3 in builtins.pl

add missing variable checks in various places

handle user:goal_expansion, but not Target:goal_expansion, explicitly in loader.pl

support discontiguous and multifile declarations

compile scoped clauses from loader.pl

remove vestigial uses of constant_eq

Box LoadStatePayload when storing it in the heap

remove unused is_internal function from indexing.rs

use machine-generated PartialEq instance for hashing Constant (#817)

update call/N indices in user-level code_dir in addition to those of pre-loaded modules

offset SwitchOnTerm's Internal indices only if the proper instructions were emitted

roll back extent of heap when loads are complete in loader.pl

use IndexMap over HashMap in prolog_parser

break out of the first inner loop if constants contains no key in remove_constant_indices (#816)

Merge pull request #813 from triska/rebis-dev

~| now incorporates the number of characters described so far

reset merging_ptr offset before insertion of each overlapping constant (#816)

check for control functors (,/;/->) before jumping to internal interpretation (#815)

qualify exception handling code in loader.pl (#809)

Merge branch 'rebis-dev' of https://github.com/mthom/scryer-prolog into rebis-dev

~| now incorporates the number of characters described so far

Therefore, subsequent uses of ~N| now yield the specified column,
instead of potentially overshooting.

Example:

    ?- format("hello~|~t~8|!", []).
    hello   !   true.

Such cases are probably rather uncommon: Relative positioning with ~N+
is more likely to be used in such cases, and that worked as intended
also previously as it does now:

    ?- format("hello~|~t~3+!", []).
    hello   !   true.

In fact, if absolute positions are used, then ~| can be omitted entirely:

    ?- format("hello~t~8|!", []).
    hello   !   true.

throw exceptions when modules do not contain claimed exports

correct faulty removal of clauses in abolish/1

clean up implementation of (->)/2, (;)/2, and (,)/2

remove tidy_trail

append .pl to names of files that do not exist in loader.pl

use parent() instead of ancestors().next() in load_context_directory()

Merge branch 'Skgland-clean_up' into rebis-dev

change reposity url

rename `prolog_parser_rebis` to `prolog_parser`

also remove remaining extern crate statements that slipped through earlier

fix incorrect rug path

more clippy lints

more clippy lints

fix clippy lint match|if let looks like matches! macro

fix clippy lint `Manual RangeInclusive::contains implementation`

fix some clippy lint warnings