Fix parsing of floats

32-bit system support, addressing all (at most) 4GB addresses of RAM.

Enable multiple Machines per process by having ATOM_TABLE_BUF_BASE always be thread_local, not only in cfg(test) mode.

Merge pull request #1973 from triska/clpz

CLP(ℤ) improvements, notably related to queue handling

Fix list result parsing

attach more propagators before starting propagation

This prevents repeated triggering of already attached propagators
while new propagators are being attached to involved variables.

remove optional (+)/1 prefix in get_atts/2 and put_atts/2 calls

The (+)/1 prefix in get_atts/2 at line 4219 by itself already causes a
greater than 15% slowdown for the benchmark shown in #1730:

    ?- N #= 2^14,
       time(((between(1, N, _),
              X #\= Y,
              false)
            ; true)).

The performance impact is not a good reason to remove the optional
(+)/1 prefix! Performance issues should be addressed at the root, in
this case get_atts/2 (#1962). We should never manually work around
performance issues in built-in predicates.

In contrast, readability is a good argument, and I find the calls
slightly easier to read without the optional (+)/1 prefix.

The prefix is now consistently omitted when possible.

use pneq/2

enforce same queue in more constraints

append the entire queues instead of inserting each element individually

adapt query to Scryer Prolog

update answers

use can_be/2

Merge pull request #1967 from rujialiu/optional-features

Allow users to disable optional features

Allow users to disable optional features. Needed for wasm32 support (see #615).

Merge pull request #1968 from rujialiu/atom-64bit

Make Atom 64-bit regardless of architecture

Merge pull request #1970 from triska/crrl

switch to using crrl for scalar multiplication on Curve25519

ENHANCED: more extensive type checking in curve25519_scalar_mult/3

switch to using crrl for scalar multiplication on Curve25519

This is to facilitate WASM compilation as currently worked on
by @rujialiu in #615. Many thanks, and many thanks to @pornin
for crrl which makes this possible!

Make Atom 64-bit regardless of architecture

Merge pull request #1964 from triska/master

use newly available double_quotes/1 write option in portray_clause_//1

use newly available double_quotes/1 write option in portray_clause_//1

Merge pull request #1963 from triska/master

ENHANCED: domain error in zcompare/3 (#1723)

ENHANCED: domain error in zcompare/3 (#1723)

Merge pull request #1961 from triska/succ

ADDED: succ/2, part of the Prologue for Prolog

reorder tests, per https://github.com/mthom/scryer-prolog/pull/1961#pullrequestreview-1574380588

ADDED: succ/2, part of the Prologue for Prolog

Specification:

   https://www.complang.tuwien.ac.at/ulrich/iso-prolog/prologue#succ

Fixed libffi dep

Updated hyper to 1.0.0-rc.4

Ignore stress test because it fails on windows

Remove unused toplevel predicate

Use new `double_quotes` write-option

Merge branch 'master' into library-use-case

shed CodeIndex for control predicates in disjuncts.rs (#1791)

retract discontiguous non-multifile predicates between consultations (#1202, #1058, #1585)

Merge pull request #1950 from triska/chars_si

ENHANCED: more efficient chars_si/1, using specialized predicates of Scryer

ENHANCED: more efficient chars_si/1, using specialized predicates of Scryer

Source:

    https://github.com/mthom/scryer-prolog/issues/1947#issuecomment-1665113488

Merge pull request #1948 from triska/chars_si

add character_si/1 and use it to correct chars_si/1

add character_si/1 and use it to correct chars_si/1

This addresses #1947.

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)