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

WIP http_server

Merge pull request #722 from aarroyoc/history-file

History file support (Rustyline 7.0) (#152)

Merge pull request #720 from aarroyoc/max-min-list

Add list_max & list_min to lists module

History file support (Rustyline 7.0)

Change name to list_max, list_min as PR feedback

Use foldl as PR feedback suggested

Add max_list & min_list to lists

Merge pull request #710 from triska/clpz-reif

ADDED: Provisional support for (#=)/3 and (#<)/3.

ADDED: Provisional support for (#=)/3 and (#<)/3.

These predicates are intended for constructs from library(reif), such
as if_/3. For the time being, they are defined here. If you have any
recommendations or comments regarding the best location of these
predicates, or need more of them, please file an issue.

Suggested by @Qqwy in https://github.com/triska/clpz/issues/12.

Many thanks!

support number/1

Merge branch 'master' of https://github.com/mthom/rusty-wam into master

Merge pull request #706 from malbarbo/fix-num

Fix build with num features

Merge branch 'master' of https://github.com/mthom/rusty-wam into master

Update num-rug-adapter to fix build with num feature.

Merge pull request #702 from triska/showterm

Add showterm.el and showterm.pl to the distribution

use "r" interactive specifier

refer to new tools directory

ADDED: showterm.el and showterm.pl to draw terms as trees in Emacs

Merge pull request #700 from triska/development_environment

DOC: Development environment recommendations.

DOC: Development environment recommendations.

Merge branch 'master' of https://github.com/mthom/rusty-wam into master