Configure streams separately

Refactor UserInput to use channels

Test for callback streams

Add input stream channel

Add callback streams

Merge pull request #2791 from Skgland/patch-1

Expand the build/install section of the readme

Merge pull request #2804 from dnmfarrell/line-count-off-by-one

Line numbers start at 1

Merge pull request #2818 from adri326/stream-cleanup

Fix various issues around close/1 and stream realiasing

Merge pull request #2812 from bakaq/attr_vars_arity_fix

Fix bug in finding arity for verify attributes

Test corner cases of stream aliasing

Fix set_output/1 and set_input/1 not updating the alias

Before this change, the following set of queries would behave incorrectly:

```
?- open("/tmp/out.log", write, S), set_output(S).
   prints(""), write("/tmp/out.log", "S = stream(...)").
?- write(user_output, hello).
   prints("hello"), unexpected.
   prints(""), write("/tmp/out.log", "hello"). % Expected, but not found.
```

Now, `set_output/1` and `set_input/1` properly bind the `user_output` and
`user_input` aliases, making the queries above behave as expected.

Fix stream realiasing possibly shadowing other streams.

Fix realiased streams causing close/1 to leave a dangling stream

Encapsulate accesses to IndexStore::streams and ::stream_aliases

These two fields are able to hold `Stream` instances, which predicates like `close/1`
expect to be managed properly for their correctness. To ensure that this is the case,
I have removed direct accesses to those two fields, so that they can be properly managed
in one place.

Scan entire predicate in InstallVerifyAttr

Fix bug in finding arity for verify attributes

Fix close/1 messing up stream_aliases when user_input or user_output aren't set to Stdin and Stdout

Line numbers start at 1

Bumps the line number for the singleton warning. When the singleton
occurs on the same line at the term starts, the line number is correct:

    foo(X).

However it stills mis-reports this line number as 1 instead of 5:

    foo(1) :-
        true,
        true,
        true,
        Y.

See issue #1356.

Merge pull request #2798 from bakaq/clippy_warnings

Fix clippy warnings

Fix clippy warnings

fix spelling and grammar errors found by mthom

https://github.com/mthom/scryer-prolog/pull/2791#discussion_r1930025598

Merge pull request #2777 from adri326/fix-2772-rnd_i-clipping

Fix invalid casts in is/2

Merge pull request #2738 from adri326/fix-2275-dcgs-call-module

Fix dcgs using call(M:Pred) when M was left unassigned

Merge pull request #2793 from Skgland/fix-ci

fix ci and update all used actions

Add integration tests for arithmetic operators

This extensively tests the behavior of is/2, both when compiled and in metacalls.

Fix integer overflow in >>/2 and <</2

Fix min/2 and max/2 returning the cast version of its arguments

It now behaves the same way as SWI-Prolog.

Fix `X is gcd(1, 2 ^ 64)` triggering a panic

The implementation for gcd/2 would cast the second argument to an isize.

Fix round() losing precision on bigints

The original issue can be reproduced with `X is round(2 ^ 54 + 1) - 2 ^ 54, X = 1.`

Fix rnd_i clipping floats that don't fit in Fixnum

Fixes #2772.

The current implementation of `rnd_i` incorrectly casts `f` (an `f64`)
into an `i64`, before casting it into an `Integer`.

This fixes that issue by using `Integer::try_from(f)` instead,
and failing if `f` is infinite or NaN.

A fixme is left for a future PR to properly handle the resulting errors
in floor/1 and friends (right now they can only be triggered through FFI).

fix typo

Update README.md

fix ambiguity regarding the install location for the cargo install method, also include the binary name

fix ci and update all used actions

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

Fix #2725 by calling load_context/1 in the unspecified branch of strip_module/3

This fixes #2725, by making it so that `strip_module(Pred, M, P), call(M:P)`
doesn't throw an `instanciation_error` when `Pred` isn't in the form `module:predicate`.

Now, `strip_module(hello, M, P)` will call `load_context(M)`, which unifies `M`
with the topmost module (or `user`).

Two new test cases are added: issue2725.pl, which tests the minimal case id(X) --> X.
and the strip_module(P, M, _), call(M:P) scenario, and module_resolution,
which tests the behavior of strip_module in a few scenarios.

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