qualify module quantification errors better (#2685)

style corrections

Merge pull request #2714 from triska/graphic_token

prevent accidental amalgamation of graphic token chars in output

Merge pull request #2717 from jasagredo/js/small-doc

Ensure max_assoc/3 is shown as documented

leave variable modules uninstantiated (#2685)

Ensure max_assoc/3 is shown as documented

use round brackets for goals involving operators

Examples:

    ?- portray_clause(((+) :- a=b,(-))).
    (+) :-
       a=b,
       (-).
       true.

    ?- portray_clause((a :- (b :- c))).
    a :-
       (b:-c).
       true.

This addresses #2715.

Currently, more round brackets than needed are emitted. Ideally, a
better approach to solve the issue here and also in toplevel.pl is
found in the future.

prevent accidental amalgamation of graphic token chars in output

This addresses #2713. Many thanks to @notoria for reporting this
excellent case!

Example:

    ?- portray_clause(A = @).
    A= @ .
       true.

At other positions the now inserted space is unnecessary, as in:

    ?- portray_clause((head:- @,b)).
    head :-
       @ ,
       b.
       true.

The toplevel has a similar issue:

    ?- C = # ; false.
       C = # |<-- cursor is here; redundant space after #

There may be a way to solve this issue for all cases like this.

Merge pull request #2582 from bakaq/rework_library_interface

Rework library interface

Merge pull request #2691 from aarroyoc/remove-meetup-2024

Remove Scryer Prolog Meetup 2024 announcements

Merge pull request #2683 from ffortier/master

Support hermetic build environment

Merge pull request #2689 from triska/weighted_maybe

introduce and use weighted_maybe/2

Merge pull request #2690 from notoria/next

Add '$random_integer'/3

Merge pull request #2696 from jasonhemann/patch-3

s/performance characters/performance characteristics/

Merge pull request #2698 from jasonhemann/patch-5

Documentation for read/2

Merge pull request #2703 from jasonhemann/patch-6

s/avaibale/available/

Merge pull request #2697 from jasonhemann/patch-4

"bound to an atom"

s/avaibale/available/

Quick typo fix to docs.

cargo fmt

Use Cow<'a,B> for toplevel configuration

FIXME in Drop for QueryState

Leave residual goals for later

Derive Default for StreamConfig

Rename lib_machine_tests.rs to tests.rs

Update builtins.pl

s/compund/compound/

Update builtins.pl

Simplifying docstring.

Documentation for read/2

Mirrored the wording in the docstrings for `read/1` and `read_term/3`.

"bound to an atom"

Quick typo.

s/performance characters/performance characteristics/

Small typo fix in docs.

Remove Scryer Prolog Meetup 2024 announcements

Handle errors in QueryState

Migrate benches

Migrate tests to new API

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

introduce and use weighted_maybe/2

Many thanks to @hurufu for the very nice definition!

This is until library(random) provides this functionality,
and a good name is found for it. See #2670.

Add '$random_integer'/3

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.

export toplevel repl/0

build: resolve include_str path during the compilation of libraries.rs instead of during he build.rs execution to support different build tools (bazel in this case)

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