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

Merge pull request #740 from triska/indexing

small documentation improvements related to the new indexing strategy

Merge pull request #734 from triska/deterministic_format

ENHANCED: format_//2, format/[2,3], portray_clause/1 are now deterministic

Merge pull request #732 from notoria/indexing

Implemented a different way to index clauses

small documentation improvements related to the new indexing strategy

Renamed find_optimal_index to first_instantiated_index

Merge pull request #6 from triska/indexing

document first instantiated argument indexing

document first instantiated argument indexing

Many thanks to @notoria for this brilliant idea and implementation!

Organized changes into find_optimal_index

HTTP Body

Simplified the code, removed first_arg, the Option

ENHANCED: format_//2, format/[2,3], portray_clause/1 are now deterministic.

This works as soon as #732 is merged, since then maplist/N and foldl/N
are deterministic in the required cases.

This also resolves the extra choicepoint of time/1 (see #378).

Many thanks to @notoria for implementing better indexing in #732,
which allowed me to find this opportunity for improvement!

Implemented a different way to index clauses

Merge pull request #729 from brightly-salty/replace-dirs

Replace dirs with dirs-next

Replace dirs with dirs-next

Read body

Request and Response headers