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

fix macro hygien

change prolog_parse_rebis to use 2018 edition rust

so all crates use the same edition

remove use statements from main.rs that temporary replaced extern crate and fixed paths that previously used them

remove extern crate declaration and fix outfall (macros now need to be imported into scope)

using use declarations in main.rs so that use paths don't need to be updated as well, this will be done in a later commit

set rustyline to check the cursor position (#802), don't add .pl extension to files in loader.pl (#800)

remove dynamic clause declaration for clause internal

shed module names from arguments of the (->)/2, (,)/2, (;)/2 predicates

collate paths as atoms in loader.pl (#778)

gather initialization goals and call them once load succeeds (#792)

implement abolish/1

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

bootstrap the top-level by calling ''/1 as in master (#790)

delay premature set_switch_var_offset_* calls in retract_clause, add module resolution for asserta/assertz/retract/clause

Merge pull request #798 from triska/rebis-dev

CLP(ℤ) enhancements for Rebis

make load_context_path/2 handle .pl file extensions, remove commented out code

ENHANCED: Enable goal expansion for CLP(ℤ).

This is now possible since #445 is resolved.

Revert "preliminary workaround for #788"

This reverts commit 164b9930640656700505188eab684b3575ab1fe8,
which was made obsolete by 75a52f032b95fc74c1c3fa93996fd0f61775c28f.

implement dynamic, multifile, and discontiguous properties and callable type checking for predicate_property/2

remove defunct reset function (#782)

modify rightmost_power/2 to ignore module qualification on (^)/2 (#794)

perform goal expansion in call/N (#788, #797)

Merge pull request #793 from triska/rebis-dev

preliminary workaround for #788

preliminary workaround for #788

This change can be reverted once the issue is resolved.

respect module context in expand_module_names (#788)

resolve calls to tranpose_ and same_length in lists.pl (#790)

introduce cuts over indexed (:)/2 of dcgs:phrase_/3 (#786)

Merge pull request #787 from triska/rebis-dev

add meta_predicate declaration for with_local_attributes/3

add meta_predicate declaration for must_succeed/1

enable phrase_ rules for module resolved grammars (#785)

add meta_predicate declaration for with_local_attributes/3

This is needed for all_distinct/1 etc.

Example:

    ?- all_distinct([X,Y,Z]).
       clpz:all_distinct([X,Y,Z])
    ;  false.

manually expand module names in higher-order predicates of lists.pl and give call_residue_vars/2 a meta-predicate definition

Use term expansion for generated predicates.

restore cut after dcg_constr check (#784)

add meta-predicate declarations to reif library

Merge branch 'master' into rebis-dev

restore prolog_parser test files (#782)

do not traverse data structures when binding to local variables in unify_with_occurs_check (#781)

use find_inner_choice_instr when appending an indexed clause to an indexed subsequence

expand attributed variable goals

replace Char '!' with QueryTerm::BlockedCut

set target_pos' clause_start correctly in append_compiled_clause

Merge pull request #774 from brightly-salty/re-add-prolog_parser

Add prolog_parser to scryer_prolog

Add prolog_parser

export loader's public predicates from builtins, handle module resolution from DCGs

add built_in to predicate_property

add meta-predicate declarations before their definitions

move term expansion logic entirely into loader.pl

add module scoping to predicate_property, expand subgoals in module resolved predicates

call attribute variable goals with module resolution

replace (:) with 0 in meta-predicate declarations, remove support for (:) in meta-predicate declarations

Merge branch 'master' into rebis-dev

Merge pull request #771 from notoria/args

Handled the empty case (#770)

Fix errors, move prolog_parser

Add prolog_parser to scryer_prolog

Handled the empty case (#770)

fix bug in append_compiled_clause, generalize merging indexed subsequences of clauses

properly thread functors whose first subterm is a variable in thread_goals/4

target prolog_parser_rebis on crates.io

explain motive for Rebis development branch in README.md

move to a predicate-based module system, move to loader.[rs|pl]-based compilation, add support for incremental clause compilation

Merge pull request #766 from aarroyoc/http-form

HTTP Server: urlencoded forms and some syntax improvements

Merge pull request #769 from notoria/between

Removed redundant choicepoint from between/3

Removed redundant choicepoint from between/3

Test against macOS 10.15

urlencoded forms and some syntax improvements

Merge pull request #762 from aarroyoc/gh-action

GitHub Actions

Fix Beta

Disable Windows

Minor fix

Delete Travis CI

GitHub Actions

Merge pull request #747 from triska/determinism

reflect better determinism thanks to #732

reflect better determinism thanks to #732

Merge pull request #726 from aarroyoc/http-server

HTTP Server

PR feedback

URL Decode

Log time

Improve docs & Route matching

File response

Use phrase instead of forall

Queries

Merge branch 'master' into http-server

Redirections, default status code, rout matching 1.0

fix bug in code walker causing entire clauses to be skipped (#736)

Merge pull request #743 from triska/determinism

reflect determinism improvement thanks to the latest changes

reflect determinism improvement thanks to the latest changes

Merge pull request #741 from triska/determinism

reflect improved determinism thanks to the improvements by @notoria

reflect improved determinism thanks to the improvements by @notoria