Merge branch 'master' into library-use-case

# Conflicts:
# Cargo.lock
# Cargo.toml
# src/bin/scryer-prolog.rs
# src/loader.pl
# src/machine/mock_wam.rs
# src/machine/mod.rs
# src/machine/system_calls.rs

Integration stress test showing Machine blocking on query

Remove some unused code from lib_toplevel.pl

dont spawn a runtime in machine; inherit from outside with runtime::handle::Current

allocate negator results in arena (#1898)

Merge pull request #1943 from triska/dead_skeleton

FIXED: do not attach constraint if the propagator is already entailed and killed

FIXED: do not attach constraint if the propagator is already entailed and killed

Example:

    ?- A#=A//A#==>B,A-B=1-1.
       A = 1, B = 1.

This addresses #1941.

Deactivate some debugging outputs

Switch back to run_input_once and use duplicated write_eqs/2 without any input handling

Fix build

Merge pull request #1938 from triska/remove_auxiliary_constraints

ENHANCED: forget auxiliary constraints set up by the propagator for multiplication

Merge pull request #1939 from triska/oncology_trial_design

better wording, applying the feedback of @dcnorris. Thank you a lot!

better wording, applying the feedback from @dcnorris. Thank you a lot!

ENHANCED: forget auxiliary constraints set up by the propagator for multiplication

This addresses the issue raised in https://github.com/mthom/scryer-prolog/discussions/1937.

Merge pull request #1929 from Skgland/master

detect and prevent concurrent AtomTable use

fix spelling

handle atom table resize

* bumping serial_test dev-dependency due to broken should_panic handling in old version

detect and prevent² concurrent AtomTable use

²in the case of `#[cfg(not(test))]` there is still a toctou race as I am not sufficently familiar with Atomics

Merge pull request #1927 from triska/ascii_punctuation

FIXED: correct handling of ascii_punctuation in char_type/2 (#1926)

FIXED: correct handling of ascii_punctuation in char_type/2 (#1926)

Try triska's toplevel and add some debugging println!s.

HashSet -> BTreeSet: Make parsing or results and thus tests deterministic. Add comments.

Add special case when parsing

Add consult that works with streams / strings in library use-case

simplify and correct prefix-bracket spacing in heap_print.rs (#1914, #1918)

overwrite code indices of dynamic_undefined predicates (dynamic, multifile, discontiguous) on export

Merge pull request #1907 from coasys/dashu

Replace rug with dashu

track the parent operator of the current operator in heap_print to emit space if necessary (#1906)

Merge branch 'dashu' of https://github.com/coasys/scryer-prolog into coasys-dashu

updated cargo to use git

Fixed warnings

Fixed stackoverflow error

remove rug completely

fix all the move errors

pop both pending redirections in format_bar_separator_op when max depth exceeded (#1903)

fix list abbreviation (#1901)

remove EMIT_NEWLINE (#1900)

use ExitCode when halting so Drop is called, close terminal stream in rustyline Drop

Merge pull request #1050 from pmoura/add_float_integer_part_and_float_fractional_part_standard_functions

WIP: Add float_integer_part/1 and float_fractional_part/1 standard arithmetic functions

additional write fixes, use rustyline 12.0.0 (#1876, #1901)

correct max_depth option (#1876)

Merge pull request #1899 from triska/master

remove another !/0 which is now no longer necessary due to improved indexing

remove another !/0 which is now no longer necessary due to improved indexing

Dedupe machine results

Add missing list_last_item to lib_toplevel.pl and increase MaxDepth of write_eq to avoid truncation of results

Merge branch 'add_float_integer_part_and_float_fractional_part_standard_functions' of https://github.com/pmoura/scryer-prolog into pmoura-add_float_integer_part_and_float_fractional_part_standard_functions

correct max_depth option (#1876)

remove now unnecessary cut in lists.pl

Explicitly dereference pointer to avoid calling neg() on reference

Fix result parsing for complex string results

Fixed missing functionality in dashu with their methods still has some issue with move

Add missing write_goal/3 to lib_toplevel.pl

type QueryResult = Result<QueryResolution, String>

improve goal expansion and (',') interpretation error handling

Error handling

Don't panic when parsing results fails

add log10, hyperbolic tan and inverse hyperbolic tan functions (#1898)

add EMIT_NEWLINE to add newlines to readline input only after query terms begin to be read (#1074, #1897)

check for unexpected EOF in get_to_eof (#1897)

dereference TermWriteResult variables sooner in read_term_body (#1894)

remove failing append choicepoint in atom_concat/3 special case (#1893)

Merge pull request #1885 from mthom/setof_bagof_fixes

Fix group_by_variants/4 and keysort in setof/3

call write_read_term_options if read_term_from_chars/3 succeeds by unifying Term to end_of_file (#1892)

catch errors thrown from tabling Worker (#1526, #1888)

remove read/{1,2} as a builtin, write read options upon EOF, throw better domain errors in parse_read_term_options/2

add specialized EOF handling for user input (#1892)

Add back newline at end of toplevel.pl

Add back all needed predicates to lib_toplevel.pl

Use lib constructor in lib tests

fmt machine/parsed_results.rs

WIP: refactor to generalize Machine::run_top_level()

Merge branch 'read_term_eof_changes'

omit anonymous variables from read_term variable_names and singletons lists

do a better job handling EOF in read_term (#1887)

print strings in tails of lists (#1890)

wip dashu move

Merge pull request #1891 from triska/initialization_goals

ENHANCED: use newly available read_term_from_chars/3 for better errors

ENHANCED: use newly available read_term_from_chars/3 for better errors

Examples, previously:

    $ scryer-prolog -g "member(X,Ls"
    ?-
    $ scryer-prolog -g "member(X,Ls)"
    member(_542,_543) causes: error(existence_error(procedure,member/2),member/2)
    ?-

Now:

    $ scryer-prolog -g "member(X,Ls"
    "member(X,Ls" cannot be read: error(syntax_error(incomplete_reduction),read_term_from_chars/3:0)
    $ scryer-prolog -g "member(X,Ls)"
    member(X,Ls) causes: error(existence_error(procedure,member/2),member/2)
    ?-

This also addresses #1185.

re-factor options handling of read_term into read_term_body (#1887)

generalize simple goal detection to fix call/N test failures in logtalk test suite

add read_term_from_chars/3 (#637)

use double_quotes in write_error (#1886)

add is_inbuilt check to err_on_builtin_overwrite (#1872)

eliminate call_with_inference_limit/3 leaks (#1300)

add unknown flag to set_prolog_flag and current_prolog_flag

fix group_by_variants/4 and keysort in setof/3 (#1440, #1856)

add (:-)/1 and (:-)/2 to ClauseType::is_inbuilt (#1872)

fix assert(a|z)/1 errors

Merge pull request #1884 from triska/countall

ADDED: countall/2, for compatibility with GNU Prolog.

ADDED: countall/2, for compatibility with GNU Prolog.

Example:

    ?- countall(member(X, "abc"), N).
       N = 3.

throw permission_error in compile_assert when attempting to assert a built-in (#1872)

arith_eval_by_metacall may receive a stack variable

correct peek_code/2, don't set stream position in peek functions

correct peek_byte/2 bugs (#1882)

improve ground/1 performance (#1389)

fix peek_byte/2 crash (#1882)

Merge pull request #1878 from mthom/lookahead_indexing

use lookahead to skip inapplicable clauses (#1028, #1502)

ENHANCED: improved determinism of member/2

Example:

    ?- member(X, "abc").
    %@    X = a
    %@ ;  X = b
    %@ ;  X = c.

This addresses #750.

use lookahead to skip inapplicable clauses (#1028, #1502)

remove unsafe unwrap in put_char (#1881)