correct inference counting over index backtracking, built-ins (#1977, #1987)

Merge pull request #1991 from triska/discoverable_flags

FIXED: make occurs_check and answer_write_options flags discoverable

Merge pull request #1990 from triska/clpb_max

remove clpb_max/1 attribute for residual goal projection

FIXED: make occurs_check and answer_write_options flags discoverable

Quoting from 7.11 Flags:

   NOTE - A built-in predicate current_prolog_flag(Flag, Value)
   (8.17.2) enables a program to discover all the flags supported
   by a processor and their current values.

update answer

untabify

remove clpb_max/1 attribute for residual goal projection

Example:

    ?- sat(A+B), weighted_maximum([1,1], [A,B], Max).
       A = 1, B = 1, Max = 2.

Merge pull request #1988 from triska/answer_write_options

ADDED: New Prolog flag, answer_write_options.

Merge pull request #1989 from triska/mention_binaries

mention precompiled binaries

mention precompiled binaries

ADDED: New Prolog flag, answer_write_options.

This lets us specify additional write options used by the top level
for writing answers.

refine is/2 compilation so errors are thrown when expected without needlessly allocating (#1974, #1984)

don't compile is instruction if bound to anonymous variable (#1974)

update Cargo.toml version numbers and bump version number

Merge pull request #1978 from aarroyoc/ci-32-bits

32 bit CI for Linux

Merge pull request #1979 from triska/normalize_space

ENHANCED: rudimentary implementation of normalize_space

32 bit CI for Linux

replace adjacent whitespace characters with a single SPACE character

ENHANCED: rudimentary implementation of normalize_space

This removes leading and trailing whitespace from the text. Whitespace
within the string is not yet considered.

Merge pull request #1972 from rujialiu/32-bit-support

32-bit system support #615 #1509 (WIP)

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

Merge pull request #1973 from triska/clpz

CLP(ℤ) improvements, notably related to queue handling

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

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