Remove DCGs that have thrown an exception during term expansion

Some DCG constructs aren't supported and can't be expanded, here we
remove offending DCG rule and don't compile it at all – in a similar
fashion to what we do when incorrect goal was found – whole predicate
isn't getting compiled.

Fixes #2675

admit YF in current_op/3 (#2639)

Merge pull request #2652 from gruhn/patch-1

update Docker install instructions

Merge pull request #2653 from srenatus/sr/issue-2650

toplevel.pl: fix arity mismatch in read_input/2

toplevel: add more Stop=continue, remove nesting

Signed-off-by: Stephan Renatus <[email protected]>

toplevel.pl: attempt to fix continue/stop logic

Signed-off-by: Stephan Renatus <[email protected]>

toplevel.pl: fix arity mismatch in read_input/2

I ran into the same problem today and I figured I'd take a stab at it.
Unfortunately, I'm not certain it is the right approach, but it no
longer errors like it did before.

Fixes #2650.

Signed-off-by: Stephan Renatus <[email protected]>

README: update Docker install instructions

Merge pull request #2647 from panasenco/master

Updated Dockerfile

Updated and tested Dockerfile

Merge pull request #2527 from bakaq/leaf_answers_callbacks

Toplevel reimplementation with leaf answer callbacks

Fix priority in op/3

Merge pull request #2596 from Skgland/issue-2588

fix issue #2588

fix miri

fix issue #2588

Merge remote-tracking branch 'upstream/master' into issue-2588

add test for load_html

Remove trailing whitespace in toplevel.pl

Merge pull request #2581 from bakaq/fix_hostname_feature

Fix not compiling without hostname feature

Fix not compiling without hostname feature

Merge pull request #2573 from srenatus/sr/readme-link-to-latest-releases

README: link to latest release

README: link to latest release

This will automatically redirect to the release marked "latest" in GitHub.
So the link won't become stale and doesn't need updating.

Signed-off-by: Stephan Renatus <[email protected]>

Merge pull request #2523 from bakaq/visibility

Be conservative with visibility

Merge pull request #2533 from hurufu/fix-warnings

Assorted small fixes

Merge pull request #2534 from hurufu/document_non_counted_backtracking

Document non counted backtracking

Merge pull request #2558 from bakaq/error_to_doclog

Convert library(error) docs to Doclog format

Convert library(error) docs to Doclog format

Change wording for non_counted_backtracking comment

Explain non_counted_backtracking a little bit more

Revert "Explain non_counted_backtracking a little bit more"

This reverts commit 2b7310763157eeaa8edb73a0f16217c5cd80e93f.

Add mechanism to stop query

Fix Clippy

Fix warnings

Make macros private

Add argument with extra info to callback

Documentation for run_query/3 and run_query_goal/4

Address review comments and remove old toplevel

Revert "Remove unnecessary "unsafe" block to fix compiler warning"

This reverts commit 7af93f153240b7ddb2023ea1a24d42db802e747a.

Revert "Fix rustc warning"

This reverts commit 7b09d447d6ed4533c773a0c492cbe5c7561794e8.

Remove unnecessary "unsafe" block to fix compiler warning

Explain non_counted_backtracking a little bit more

Fix mistake in predicate indicator

Remove executable bit for files that don't need it

Fix rustc warning

Toplevel reimplementation with leaf answer callbacks

Be conservative with visibility

Merge pull request #2491 from coasys/reqwest-version-relax

Relax version constraint on reqwest dependency

Fix spelling of reqWest

Co-authored-by: Bennet Bleßmann <[email protected]>

Clean-up comment

More precise comment mentioning Deno

Co-authored-by: Bennet Bleßmann <[email protected]>

Merge pull request #2475 from bakaq/value_heap_walk

Value heap walk in lib_machine

Fix order of variables in bindings

Merge pull request #2474 from Skgland/fix-looping-memory-allocation

Fix looping memory allocation

Merge pull request #2495 from Skgland/fix2467

fix looping from issue #2467

fix looping from issue 2467

Explanatory comment for the wildcard patch version

Explanatory comment for the wildcard patch version

Fix partial strings ending in lists

Fix lists of chars as strings

Represent atom [] as empty list

Differentiate anonymous variables

typo

Relax constraint on version of reqwest dependency (Cargo will pick the latest patch that's possible, but not fail if another dep. has it pinned to something below patch 27)

Value::from_heapcell() implemented with heap walk

Value::from_heapcell()

Merge pull request #2472 from bakaq/query_iterator

Add run_query_iter()

Tests for run_query_iter()

Implement run_query() in terms of run_query_iter()

Add run_query_iter()

Merge pull request #2482 from bakaq/flake

Add flake.nix

Merge pull request #2485 from aarroyoc/learn-pages-docs

Upgrade docs to DocLog 2.0. Includes a test learning page

Upgrade docs to DocLog 2.0. Includes a test learning page

flake.nix

include the type name for better pin-pointing of the error source

- only done here as all other places are non-generic and the panic already includes file and line info, only here are we in a generic context and might need more differentiation

check whether (re-)allocation succeeded

fixes mthom/scryer-prolog#2449

add detail to comment

Merge pull request #2463 from Skgland/split-up-inconsitent-entry-error

Split up inconsistent entry error

switch invalid term from type to domain error

fix remaining use of declaration instead of directive

remove obsolete ExistenceError::Declaration

change declaration to directive

ajust/add devlaration errors to be more standard compliant

impl PartialEq<str> and PartialEq<&str> for Atom

adjust errors to be more standard compliant

fix compilation for 1.77

split up CompilationError::InconsistentEntry

add test for declaration errors

use an enum for OpDesc spec

Merge pull request #2466 from Skgland/upgrade-deps

Upgrade dependencies

replace derive_deref with derive_more

- the latter already used in our transitive dependencies
- derive_more appears better maintained

replace select by scrape

- the latter appears better maintained and more up to date
- removes some dupplicate/outdated transitive deps

resolve problems from deps upgrade

- downgrade reqwest to 0.11.27
  - fixes problems with missmatched transitive dependencies between it and warp, mainly http
- replace deprecated ripemd160 with ripemd (as specified in the formers readme)
- indexmap: replace deprecated remove with functionally identical swap_remove

update/upgrade dependencies

Merge pull request #2462 from Skgland/fix-segfault

fix segfault by dropping loader state payload after resetting machine

prevent accidental double free by checking tag before drop

drop payload after resetting machine

- under some circumstances the payload is accessed durring reset which would cause a segfault if we drop the payload too early

Merge pull request #2457 from Skgland/library

simplify generated libraries map by using `include_str!`

Fix build on WASM after #2442

(cherry-pick of 3acf4c637b6f8b17bb0230edeaaae0507d9030d1 from PR
mthom/scryer-prolog#2446)

fix copy-past error

add a features for gating things we can use once 1.80 is msrv