use Rust's native UTF-8 functions (#1355)

correct float version of sign/1 (#1360)

accept remaining UTF-8 codepoints as alphabetic characters (#1355)

print most characters directly ((#1355)

check self.ignore_ops and max_depth in print_rational (#1359)

remove pstr offsets unconditionally from printer iteration stack, deal with fallout after the fact (#1357)

improve length/2 (#1325)

prepare for publishing to crates.io (#1335)

add (:) meta-predicate argument indicator (#1302)

derefence target variable in check_sort_errors (#1350)

throw errors on cycles in sort/2 and keysort/2 (#1350 and #1351)

point code index to switch_on_term after appending indexed clause to single-clause predicate (#1346)

Merge pull request #1349 from Skgland/min-rust-version

Set minimum rust version in Cargo.toml (Attempt 2)

add a CI job to verify msrv is still correct

add min rust version

was proposed in https://github.com/mthom/scryer-prolog/issues/1335#issuecomment-1062039516 and got positive feedback

(cherry picked from commit fcfa3beaa32f23f6c08fcc7d4f3755b10bc62431)

Merge pull request #1348 from mthom/revert-1347-min-rust-version

Revert "Set minimum rust version in Cargo.toml"

Revert "Set minimum rust version in Cargo.toml"

Merge pull request #1347 from Skgland/min-rust-version

Set minimum rust version in Cargo.toml

add a CI job to verify msrv is still correct

add min rust version

was proposed in https://github.com/mthom/scryer-prolog/issues/1335#issuecomment-1062039516 and got positive feedback

Merge pull request #1342 from wkral/no-add-history

Add --no-add-history flag

Add --no-add-history flag

Flag prevents the input stream from saving terms to ~/.scryer_history
when set. Use the flag when running tests to increase test isolation.

print rationals that are integers as integers (#663)

print variables instead of offsets in setup_call_cleanup tests

correct loading of variable name strings in write_term/3

fix parser bounds check bug (#1333, #1301)

unify empty list to '' in atom_chars/2 (#1334, #1336)

wrap meta-predicate specifications in functors (#1330)

fix float formatting (#1331)

Merge pull request #1332 from triska/call_nth_0

ENHANCED: call_nth(Goal, 0) now fails, correct error for N < 0.

ENHANCED: call_nth(Goal, 0) now fails, correct error for N < 0.

This addresses #1307.

fix number/1 (#1329)

Merge pull request #1328 from pmoura/fix_bounded_and_max_arity_flags

Fix querying the values of the bounded and max_arity flags

Fix querying the values of the bounded and max_arity flags

compare functor arity first (#1327)

fix compare/3 (#1327)

Merge pull request #1326 from pmoura/fix_halt_1_predicate_compliance

Fix halt/1 built-in predicate for ISO Prolog Core standard compliance

Fix halt/1 built-in predicate for ISO Prolog Core standard compliance

Merge pull request #1323 from triska/simplex

ADDED: library(simplex), for solving linear programming problems.

ADDED: library(simplex), for solving linear programming problems.

only recommend git cloning to get the latest scryer version in README.md

Merge pull request #1322 from triska/explain_strings_better

DOC: Better explanation of strings and partial strings.

Merge branch 'rebis-dev' into 0.9.0 release

DOC: Better explanation of strings and partial strings.

mark variables in ArithmeticEvaluator (#690)

use must_be(chars) in read_from_chars/2 (#1305)

reset ReadlineStream from read_query_line (#1317, #1285)

change domain_error(integer, ..) to type_error(integer, ..) in random.pl (#1310)

dereference list link in delete_attribute (#1148)

ADDED: "f" to enumerate the next 5 solutions, similar to GUPU.

save arguments to delayed goal before calling verify_attrs (#1304)

Merge pull request #1313 from triska/all_solutions

ADDED: "a" to enumerate all solutions

ADDED: "a" to enumerate all solutions

Example:

    ?- member(X, "hello").
    %@    X = h   <-- press "a"
    %@ ;  X = e
    %@ ;  X = l
    %@ ;  X = l
    %@ ;  X = o
    %@ ;  false.

Merge pull request #1312 from triska/str_loc_as_cell

FIXED: load_html/3: use str_loc_as_cell! to store attribute structures

FIXED: load_html/3: use str_loc_as_cell! to store attribute structures

refer to structures using str_loc_as_cell! (#1311)

fix unexpected error in length/2 (#1303)

add proper error throwing for call_with_inference_limit/3 (#1296)

compare '[]' in pstr_comparator of compare_term_test (#1299)

pop pstr offsets from iterator stack in printer (#1290)

unify '' to [] in unify_complete_string (#1292, #1288)

recognize [] as equivalent to "" in unify_atom (#1288)

Merge pull request #1287 from triska/rebis-dev-sgml

FIXED: library(sgml): load_html/3 and load_xml/3 now both work again.

use newly available get_n_chars/3 from library(charsio)

FIXED: library(sgml): load_html/3 and load_xml/3 now both work again.

This addresses #1249.

correct '$skip_max_list/4' for non-lists (#1276)

update setup_call_cleanup tests

adjust dynamic external indices upon retraction, reset dynamic_mode to Next regardless of success or failure

throw instantiation_error on variables from  (#1283)

delay callable errors in control predicates (#1282)

build CStr's to vars in write_literal_to_var (#1284)

don't unify module-qualified variables to ! (#1281)

use VecDeque for generating indices during code generation (#1053)

add missing fact to beginning of tmember_t/3 (#1275)

group predicate subsequences by first instantiated arg (#1053)

print bounded depth partial strings correctly

update setup_call_cleanup tests

use printer cycle detection when printing partial strings (#1263), refactor skip_max_list functions

reference partial strings properly in read_term (#1271)

fix write_canonical on strings (#1233)

fix '$skip_max_list'/4 (#1260)

fix float formatting (#1233, #1258)

reset instruction pointers with calls, make HCPrinter::range_from safe (#1233)

count cycle lengths in skip_max_list_cycle (#1260)

tag length/2 as the source of finite_memory errors in list.pl (#1259)

Merge pull request #1257 from mthom/rebis-dev_improved-length

Improved length/2 and arg/3 range checking

add range check to arg/3 (#1250)

improve '$skip_max_list'/4 and length/2 (#1023, #110)

Merge pull request #1254 from triska/valid_dotdotdot

ENHANCED: Make toplevel output a Prolog term that can be read back also for "...".

ENHANCED: Make toplevel output a Prolog term that can be read back also for "...".

This addresses #1240.

inline store & deref calls in '' (#1176)

use expand_goal directly for existential-qualified goals in all-solutions predicates (#1246)

don't read into the heap while incrementing self.s (#1233, #1245)

lazily throw exceptions of dcg_body from goal-expanded phrase/{2,3} (#1244)

recognize []/N as callable (#1241, #989)

expand phrase/{2,3} using dcg_body whenever possible

module-qualify callables more liberally but not for built-ins (#1243)

dereference car of Lis in HeapPStRIter::step (#1238)

throw errors from phrase/{2,3} where expected (#1220)

streamline and fix phrase/{2,3} (#1237)