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)

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)