Separate lib_machine tests into separate file

Shrink MVP API surface

Rename PrologTerm to Term

Remove parsed_results.rs

MachineBuilder

Fix Machine links

#[deny(missing_docs)]

Document test methods

Add interfaces for QueryState methods

Docs for Machine and QueryState

Docs for run_binary()

LeafAnswer docs and success checking methods

More PrologTerm documentation

Conjunctions, disjunction, and LeafAnswer to PrologTerm

Associated functions for creating PrologTerm

Basic docs and non_exhaustive for PrologTerm

Machine and stream config rework

Rename LeafAnswer

Rename PrologTerm

instantiate module resolutions for meta-predicate lookups when expanding calls (#2255, #2619, #2684)

Merge pull request #2677 from jasagredo/js/get-single-char-windows

Ignore `KeyEventKind::Release` events when reading a char

Merge pull request #2679 from jasonhemann/patch-2

s/red/read/ typo in documentation.

s/red/read/ typo in documentation.

Small quick fix.

Ignore `KeyEventKind::Release` events when reading a char

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