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

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.

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.

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)

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

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

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

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

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)

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)

emit stream aliases as permission error culprits whenever possible

Revert "Allow comparisons with stream terms"

This reverts commit 076a75d1381926f83dd77150fdbda43969c168bf.

Revert "add stream alias check to atom/1 (#1855)"

This reverts commit b746a8f9ab191da151ba06e2dd5fbe41f23382b2.

Revert "add stream alias processing to atom_chars/2, atom_codes/2"

This reverts commit 811ff652097849bbb05e0e6f51c186d65cd2e236.

use indexing functions to set num_cells in allocate_and_frame/or_frame (#1877)