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)

Merge pull request #1236 from triska/omit-module-prefix

omit module prefix, because the goals are already module-qualified

omit module prefix, because the goals are already module-qualified

Merge pull request #1235 from triska/better-initialization-warning

ENHANCED: more specific warning when initialization/1 fails (#1149)

ENHANCED: more specific warning when initialization/1 fails (#1149)

Merge pull request #1234 from aarroyoc/ctrld

Fix Ctrl-D in toplevel

print -0.0 as 0.0 (#1164)

throw error instead of overwriting builtin export (#1225)

remove number/3 from arithmetic.pl (#1170)

Fix Ctrl-D (#1168)

fix floor for f64 (#1223)

include library(error) in toplevel.pl (#1226)

clear alias in close before resetting the stream to null (#1231)

Merge pull request #1232 from triska/toplevel_read_from_chars

FIXED: toplevel to use (newly renamed) read_from_chars/2

FIXED: toplevel to use (newly renamed) read_from_chars/2

Merge pull request #1228 from triska/charsio-read-renames

MODIFIED: Rename two predicates in library(charsio)

Merge pull request #1229 from triska/faster_decryption

ENHANCED: library(crypto): Retain a compact internal representation of the ciphertext throughout decryption.

Merge pull request #1230 from josd/patch-1

Update clpz.pl

ENHANCED: library(crypto): Retain a compact internal representation of the ciphertext throughout decryption.

This allows efficient decryption also of very large files and long
strings.

It is usually highly advisable to stick to common and portable library
predicates such as append/3. However, since append/3 does not yet
recognize this opportunity for improvement, I apply it manually in
this case, so that also very large files can be efficiently decrypted
using the compact internal string representation.

Without this change, decrypting a 1 GB file takes 48 GB of RAM,
whereas with this change, it only takes 2 GB (one for the string, one
for its copy with the appended tag).