Merge pull request #1395 from wkral/fix-test-indentation

Fix indentation before false in tests (#676)

Fix indentation before false in tests (#676)

indent plain false (#676)

Merge pull request #1386 from triska/better_call_nth

ENHANCED: more memory efficient call_nth/2 (#1264)

compare complete strings to one another in write_literal_to_var (#1388)

ENHANCED: more memory efficient call_nth/2 (#1264)

I hope that this will allow more extensive tests of Scryer Prolog. Enjoy!

don't mark forwarded refs in stackless iterator/marker (#1384)

be aware of temporary variables of stackless iterator in term_variables (#1383)

Merge pull request #1381 from wkral/build-fmt-error

Improve rustfmt missing error during build (#1379)

Improve rustfmt missing error during build (#1379)

Merge pull request #1380 from triska/as_is

as --> is

as --> is

fix dif/2 crash (#1378)

Merge pull request #1373 from aarroyoc/http-open

Add Hyper based `http_open/3`

print closed stream handle as '$dropped_value' (#1376)

dereference numbervars terms (#1377)

Add close handling of http stream

http_open/3 try_or_throw

http_open/3 with headers and data

http_open/3 with method option

extend small_letter_char! to include all non-uppercase letters (#1364)

Stream::close() should close file handles (#1374)

use ryu to print floats with a modification for compatible syntax (#1368, #1372)

fix char comparison misordering (#1371)

retrieve F64 behind Cons tags properly (#1369)

Merge pull request #1370 from triska/files_must_be_chars

ENHANCED: use newly available must_be(chars, ...), which is very fast

ENHANCED: use newly available must_be(chars, ...), which is very fast

fix functor/3 arity check (#1366)

advance arg in arithmetic comparison code (#1367)

detect float rounding overflows (#1365)

recognize missing syntax errors (#1354, #1361)

compare TypedArenaPtr<T> by value not pointer (#1362)

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