update install link

Update README.md

Update README.md

Merge pull request #2768 from robstolarz/RSTO-nix-macos-fix

fix: compile under Nix flake on macOS

Merge pull request #2756 from adri326/fix-load-context-unreachable

Fix load_context_module triggering unreachable!()

fix: compile under Nix flake on macOS

Add tests for PR #2756

Fix load_context_module triggering unreachable code in unify_atom

Merge pull request #2742 from triska/clpb

Revert "FIXED: CLP(B): Delay BDD restriction until after the instantiation"

Merge pull request #2728 from aarroyoc/lets-play-brisca

Add tutorial: Let's play Brisca

Merge pull request #2743 from triska/crypto

atom --> string

Merge pull request #2744 from triska/files

state when the predicates are true

state when the predicates are true

"returns" is not used in this way in logic programming. "return"
suggests that something went away and is now coming back, but this is
never the case in these situations. The arguments may be variables or
also fully known at the time of the call in most cases.

atom --> string

Revert "FIXED: CLP(B): Delay BDD restriction until after the instantiation."

This reverts commit e185b626bdf1a99ab8188ae39875f645c0de90f0.

This change is now no longer needed, and the underlying issue is
apparently somewhere else entirely. See the description at:

    https://github.com/mthom/scryer-prolog/issues/2732

Current master behaves differently from Scryer as it was at
099d9aaca6509496ccb28c522659b990f42037f0 (i.e., preceding
the commit that is now being reverted), even on the same file.

For an example, see:

    https://github.com/triska/scryer-prolog/commit/dd41176b97d8369c3bb7de1c9932a9c3d10a0466

Scryer now works as expected, and compatibly with SICStus. We still
need to find out what fixed the root cause of this issue.

Add tutorial: Let's play Brisca

Merge pull request #2681 from hurufu/remove-dcgs-that-have-failed-to-expand

Remove DCGs that have thrown an exception during term expansion

qualify module quantification errors better (#2685)

style corrections

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

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]>