]> Repositorios git - scryer-prolog.git/log
scryer-prolog.git
4 years agohttp_open/3 with method option
Adrián Arroyo Calle [Sat, 19 Mar 2022 21:53:24 +0000 (22:53 +0100)]
http_open/3 with method option

4 years agoextend small_letter_char! to include all non-uppercase letters (#1364)
Mark Thom [Sun, 27 Mar 2022 19:34:29 +0000 (13:34 -0600)]
extend small_letter_char! to include all non-uppercase letters (#1364)

4 years agoStream::close() should close file handles (#1374)
Mark Thom [Sun, 27 Mar 2022 19:08:43 +0000 (13:08 -0600)]
Stream::close() should close file handles (#1374)

4 years agouse ryu to print floats with a modification for compatible syntax (#1368, #1372)
Mark Thom [Sun, 27 Mar 2022 17:28:10 +0000 (11:28 -0600)]
use ryu to print floats with a modification for compatible syntax (#1368, #1372)

4 years agofix char comparison misordering (#1371)
Mark Thom [Sun, 27 Mar 2022 03:44:37 +0000 (21:44 -0600)]
fix char comparison misordering (#1371)

4 years agoretrieve F64 behind Cons tags properly (#1369)
Mark Thom [Sun, 27 Mar 2022 03:18:07 +0000 (21:18 -0600)]
retrieve F64 behind Cons tags properly (#1369)

4 years agoMerge pull request #1370 from triska/files_must_be_chars
Mark Thom [Sat, 26 Mar 2022 18:30:58 +0000 (12:30 -0600)]
Merge pull request #1370 from triska/files_must_be_chars

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

4 years agoENHANCED: use newly available must_be(chars, ...), which is very fast
Markus Triska [Sat, 26 Mar 2022 17:59:11 +0000 (18:59 +0100)]
ENHANCED: use newly available must_be(chars, ...), which is very fast

4 years agofix functor/3 arity check (#1366)
Mark Thom [Sat, 26 Mar 2022 00:07:22 +0000 (18:07 -0600)]
fix functor/3 arity check (#1366)

4 years agoadvance arg in arithmetic comparison code (#1367)
Mark Thom [Fri, 25 Mar 2022 23:30:47 +0000 (17:30 -0600)]
advance arg in arithmetic comparison code (#1367)

4 years agodetect float rounding overflows (#1365)
Mark Thom [Thu, 24 Mar 2022 16:25:42 +0000 (10:25 -0600)]
detect float rounding overflows (#1365)

4 years agorecognize missing syntax errors (#1354, #1361)
Mark Thom [Wed, 23 Mar 2022 04:48:51 +0000 (22:48 -0600)]
recognize missing syntax errors (#1354, #1361)

4 years agocompare TypedArenaPtr<T> by value not pointer (#1362)
Mark Thom [Tue, 22 Mar 2022 06:55:44 +0000 (00:55 -0600)]
compare TypedArenaPtr<T> by value not pointer (#1362)

4 years agouse Rust's native UTF-8 functions (#1355)
Mark Thom [Sat, 19 Mar 2022 22:52:27 +0000 (16:52 -0600)]
use Rust's native UTF-8 functions (#1355)

4 years agocorrect float version of sign/1 (#1360)
Mark Thom [Sat, 19 Mar 2022 01:00:53 +0000 (19:00 -0600)]
correct float version of sign/1 (#1360)

4 years agoaccept remaining UTF-8 codepoints as alphabetic characters (#1355)
Mark Thom [Fri, 18 Mar 2022 23:49:54 +0000 (17:49 -0600)]
accept remaining UTF-8 codepoints as alphabetic characters (#1355)

4 years agoprint most characters directly ((#1355)
Mark Thom [Fri, 18 Mar 2022 00:43:30 +0000 (18:43 -0600)]
print most characters directly ((#1355)

4 years agocheck self.ignore_ops and max_depth in print_rational (#1359)
Mark Thom [Fri, 18 Mar 2022 00:08:30 +0000 (18:08 -0600)]
check self.ignore_ops and max_depth in print_rational (#1359)

4 years agoremove pstr offsets unconditionally from printer iteration stack, deal with fallout...
Mark Thom [Thu, 17 Mar 2022 01:11:39 +0000 (19:11 -0600)]
remove pstr offsets unconditionally from printer iteration stack, deal with fallout after the fact (#1357)

4 years agoimprove length/2 (#1325)
Mark Thom [Wed, 16 Mar 2022 00:43:57 +0000 (18:43 -0600)]
improve length/2 (#1325)

4 years agoprepare for publishing to crates.io (#1335)
Mark Thom [Tue, 15 Mar 2022 05:31:50 +0000 (23:31 -0600)]
prepare for publishing to crates.io (#1335)

4 years agoadd (:) meta-predicate argument indicator (#1302)
Mark Thom [Sun, 13 Mar 2022 18:53:31 +0000 (12:53 -0600)]
add (:) meta-predicate argument indicator (#1302)

4 years agoderefence target variable in check_sort_errors (#1350)
Mark Thom [Sun, 13 Mar 2022 19:54:39 +0000 (13:54 -0600)]
derefence target variable in check_sort_errors (#1350)

4 years agothrow errors on cycles in sort/2 and keysort/2 (#1350 and #1351)
Mark Thom [Sun, 13 Mar 2022 16:48:03 +0000 (10:48 -0600)]
throw errors on cycles in sort/2 and keysort/2 (#1350 and #1351)

4 years agopoint code index to switch_on_term after appending indexed clause to single-clause...
Mark Thom [Sun, 13 Mar 2022 03:12:28 +0000 (20:12 -0700)]
point code index to switch_on_term after appending indexed clause to single-clause predicate (#1346)

4 years agoMerge pull request #1349 from Skgland/min-rust-version
Mark Thom [Sat, 12 Mar 2022 20:12:03 +0000 (13:12 -0700)]
Merge pull request #1349 from Skgland/min-rust-version

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

4 years agoadd a CI job to verify msrv is still correct
Skgland [Sat, 12 Mar 2022 18:02:34 +0000 (19:02 +0100)]
add a CI job to verify msrv is still correct

4 years agoadd min rust version
Skgland [Sat, 12 Mar 2022 17:57:33 +0000 (18:57 +0100)]
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)

4 years agoMerge pull request #1348 from mthom/revert-1347-min-rust-version
Mark Thom [Sat, 12 Mar 2022 18:10:25 +0000 (11:10 -0700)]
Merge pull request #1348 from mthom/revert-1347-min-rust-version

Revert "Set minimum rust version in Cargo.toml"

4 years agoRevert "Set minimum rust version in Cargo.toml" revert-1347-min-rust-version origin/revert-1347-min-rust-version
Mark Thom [Sat, 12 Mar 2022 18:10:17 +0000 (11:10 -0700)]
Revert "Set minimum rust version in Cargo.toml"

4 years agoMerge pull request #1347 from Skgland/min-rust-version
Mark Thom [Sat, 12 Mar 2022 18:07:03 +0000 (11:07 -0700)]
Merge pull request #1347 from Skgland/min-rust-version

Set minimum rust version in Cargo.toml

4 years agoadd a CI job to verify msrv is still correct
Skgland [Sat, 12 Mar 2022 18:02:34 +0000 (19:02 +0100)]
add a CI job to verify msrv is still correct

4 years agoadd min rust version
Skgland [Sat, 12 Mar 2022 17:57:33 +0000 (18:57 +0100)]
add min rust version

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

4 years agoMerge pull request #1342 from wkral/no-add-history
Mark Thom [Sat, 12 Mar 2022 01:25:47 +0000 (18:25 -0700)]
Merge pull request #1342 from wkral/no-add-history

Add --no-add-history flag

4 years agoAdd --no-add-history flag
William Kral [Fri, 11 Mar 2022 05:48:41 +0000 (21:48 -0800)]
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.

4 years agoprint rationals that are integers as integers (#663)
Mark Thom [Thu, 10 Mar 2022 04:24:16 +0000 (21:24 -0700)]
print rationals that are integers as integers (#663)

4 years agoprint variables instead of offsets in setup_call_cleanup tests
Mark Thom [Wed, 9 Mar 2022 05:05:54 +0000 (22:05 -0700)]
print variables instead of offsets in setup_call_cleanup tests

4 years agocorrect loading of variable name strings in write_term/3
Mark Thom [Wed, 9 Mar 2022 05:00:12 +0000 (22:00 -0700)]
correct loading of variable name strings in write_term/3

4 years agofix parser bounds check bug (#1333, #1301)
Mark Thom [Wed, 9 Mar 2022 04:25:19 +0000 (21:25 -0700)]
fix parser bounds check bug (#1333, #1301)

4 years agounify empty list to '' in atom_chars/2 (#1334, #1336)
Mark Thom [Wed, 9 Mar 2022 01:25:40 +0000 (18:25 -0700)]
unify empty list to '' in atom_chars/2 (#1334, #1336)

4 years agowrap meta-predicate specifications in functors (#1330)
Mark Thom [Tue, 8 Mar 2022 05:36:52 +0000 (22:36 -0700)]
wrap meta-predicate specifications in functors (#1330)

4 years agofix float formatting (#1331)
Mark Thom [Tue, 8 Mar 2022 02:44:31 +0000 (19:44 -0700)]
fix float formatting (#1331)

4 years agoMerge pull request #1332 from triska/call_nth_0
Mark Thom [Mon, 7 Mar 2022 22:16:47 +0000 (15:16 -0700)]
Merge pull request #1332 from triska/call_nth_0

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

4 years agoENHANCED: call_nth(Goal, 0) now fails, correct error for N < 0.
Markus Triska [Mon, 7 Mar 2022 22:38:30 +0000 (23:38 +0100)]
ENHANCED: call_nth(Goal, 0) now fails, correct error for N < 0.

This addresses #1307.

4 years agofix number/1 (#1329)
Mark Thom [Mon, 7 Mar 2022 02:17:52 +0000 (19:17 -0700)]
fix number/1 (#1329)

4 years agoMerge pull request #1328 from pmoura/fix_bounded_and_max_arity_flags
Mark Thom [Mon, 7 Mar 2022 01:51:14 +0000 (18:51 -0700)]
Merge pull request #1328 from pmoura/fix_bounded_and_max_arity_flags

Fix querying the values of the bounded and max_arity flags

4 years agoFix querying the values of the bounded and max_arity flags
Paulo Moura [Mon, 7 Mar 2022 00:30:35 +0000 (00:30 +0000)]
Fix querying the values of the bounded and max_arity flags

4 years agocompare functor arity first (#1327)
Mark Thom [Sun, 6 Mar 2022 23:37:21 +0000 (16:37 -0700)]
compare functor arity first (#1327)

4 years agofix compare/3 (#1327)
Mark Thom [Sun, 6 Mar 2022 22:48:54 +0000 (15:48 -0700)]
fix compare/3 (#1327)

4 years agoMerge pull request #1326 from pmoura/fix_halt_1_predicate_compliance
Mark Thom [Sun, 6 Mar 2022 21:46:46 +0000 (14:46 -0700)]
Merge pull request #1326 from pmoura/fix_halt_1_predicate_compliance

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

4 years agoFix halt/1 built-in predicate for ISO Prolog Core standard compliance
Paulo Moura [Sun, 6 Mar 2022 21:33:49 +0000 (21:33 +0000)]
Fix halt/1 built-in predicate for ISO Prolog Core standard compliance

4 years agoMerge pull request #1323 from triska/simplex
Mark Thom [Sun, 6 Mar 2022 20:46:32 +0000 (13:46 -0700)]
Merge pull request #1323 from triska/simplex

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

4 years agoADDED: library(simplex), for solving linear programming problems.
Markus Triska [Sun, 6 Mar 2022 20:36:55 +0000 (21:36 +0100)]
ADDED: library(simplex), for solving linear programming problems.

4 years agoonly recommend git cloning to get the latest scryer version in README.md
Mark Thom [Sun, 6 Mar 2022 17:27:25 +0000 (10:27 -0700)]
only recommend git cloning to get the latest scryer version in README.md

4 years agoMerge pull request #1322 from triska/explain_strings_better
Mark Thom [Sun, 6 Mar 2022 17:07:37 +0000 (10:07 -0700)]
Merge pull request #1322 from triska/explain_strings_better

DOC: Better explanation of strings and partial strings.

4 years agoMerge branch 'rebis-dev' into 0.9.0 release v0.9.0
Mark Thom [Sun, 6 Mar 2022 16:39:28 +0000 (09:39 -0700)]
Merge branch 'rebis-dev' into 0.9.0 release

4 years agoDOC: Better explanation of strings and partial strings.
Markus Triska [Sun, 6 Mar 2022 10:05:15 +0000 (11:05 +0100)]
DOC: Better explanation of strings and partial strings.

4 years agomark variables in ArithmeticEvaluator (#690)
Mark Thom [Sat, 5 Mar 2022 22:27:36 +0000 (15:27 -0700)]
mark variables in ArithmeticEvaluator (#690)

4 years agouse must_be(chars) in read_from_chars/2 (#1305)
Mark Thom [Sat, 5 Mar 2022 18:14:24 +0000 (11:14 -0700)]
use must_be(chars) in read_from_chars/2 (#1305)

4 years agoreset ReadlineStream from read_query_line (#1317, #1285)
Mark Thom [Sat, 5 Mar 2022 17:38:16 +0000 (10:38 -0700)]
reset ReadlineStream from read_query_line (#1317, #1285)

4 years agochange domain_error(integer, ..) to type_error(integer, ..) in random.pl (#1310)
Mark Thom [Fri, 4 Mar 2022 06:24:26 +0000 (23:24 -0700)]
change domain_error(integer, ..) to type_error(integer, ..) in random.pl (#1310)

4 years agodereference list link in delete_attribute (#1148)
Mark Thom [Fri, 4 Mar 2022 06:22:36 +0000 (23:22 -0700)]
dereference list link in delete_attribute (#1148)

4 years agoADDED: "f" to enumerate the next 5 solutions, similar to GUPU.
Markus Triska [Wed, 2 Mar 2022 20:02:19 +0000 (21:02 +0100)]
ADDED: "f" to enumerate the next 5 solutions, similar to GUPU.

4 years agosave arguments to delayed goal before calling verify_attrs (#1304)
Mark Thom [Wed, 2 Mar 2022 06:59:33 +0000 (23:59 -0700)]
save arguments to delayed goal before calling verify_attrs (#1304)

4 years agoMerge pull request #1313 from triska/all_solutions
Mark Thom [Tue, 1 Mar 2022 22:34:21 +0000 (15:34 -0700)]
Merge pull request #1313 from triska/all_solutions

ADDED: "a" to enumerate all solutions

4 years agoADDED: "a" to enumerate all solutions
Markus Triska [Tue, 1 Mar 2022 22:52:51 +0000 (23:52 +0100)]
ADDED: "a" to enumerate all solutions

Example:

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

4 years agoMerge pull request #1312 from triska/str_loc_as_cell
Mark Thom [Tue, 1 Mar 2022 19:09:42 +0000 (12:09 -0700)]
Merge pull request #1312 from triska/str_loc_as_cell

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

4 years agoFIXED: load_html/3: use str_loc_as_cell! to store attribute structures
Markus Triska [Tue, 1 Mar 2022 19:20:51 +0000 (20:20 +0100)]
FIXED: load_html/3: use str_loc_as_cell! to store attribute structures

4 years agorefer to structures using str_loc_as_cell! (#1311)
Mark Thom [Tue, 1 Mar 2022 01:28:13 +0000 (18:28 -0700)]
refer to structures using str_loc_as_cell! (#1311)

4 years agofix unexpected error in length/2 (#1303)
Mark Thom [Sat, 26 Feb 2022 18:07:38 +0000 (11:07 -0700)]
fix unexpected error in length/2 (#1303)

4 years agoadd proper error throwing for call_with_inference_limit/3 (#1296)
Mark Thom [Sat, 26 Feb 2022 17:57:52 +0000 (10:57 -0700)]
add proper error throwing for call_with_inference_limit/3 (#1296)

4 years agocompare '[]' in pstr_comparator of compare_term_test (#1299)
Mark Thom [Sat, 26 Feb 2022 06:57:27 +0000 (23:57 -0700)]
compare '[]' in pstr_comparator of compare_term_test (#1299)

4 years agopop pstr offsets from iterator stack in printer (#1290)
Mark Thom [Sat, 26 Feb 2022 06:36:26 +0000 (23:36 -0700)]
pop pstr offsets from iterator stack in printer (#1290)

4 years agounify '' to [] in unify_complete_string (#1292, #1288)
Mark Thom [Sat, 26 Feb 2022 06:01:08 +0000 (23:01 -0700)]
unify '' to [] in unify_complete_string (#1292, #1288)

4 years agorecognize [] as equivalent to "" in unify_atom (#1288)
Mark Thom [Wed, 23 Feb 2022 06:45:04 +0000 (23:45 -0700)]
recognize [] as equivalent to "" in unify_atom (#1288)

4 years agoMerge pull request #1287 from triska/rebis-dev-sgml
Mark Thom [Tue, 22 Feb 2022 22:55:03 +0000 (15:55 -0700)]
Merge pull request #1287 from triska/rebis-dev-sgml

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

4 years agouse newly available get_n_chars/3 from library(charsio)
Markus Triska [Tue, 22 Feb 2022 22:51:01 +0000 (23:51 +0100)]
use newly available get_n_chars/3 from library(charsio)

4 years agoFIXED: library(sgml): load_html/3 and load_xml/3 now both work again.
Markus Triska [Tue, 22 Feb 2022 22:49:01 +0000 (23:49 +0100)]
FIXED: library(sgml): load_html/3 and load_xml/3 now both work again.

This addresses #1249.

4 years agocorrect '$skip_max_list/4' for non-lists (#1276)
Mark Thom [Mon, 21 Feb 2022 06:44:18 +0000 (23:44 -0700)]
correct '$skip_max_list/4' for non-lists (#1276)

4 years agoupdate setup_call_cleanup tests
Mark Thom [Sat, 19 Feb 2022 05:17:15 +0000 (22:17 -0700)]
update setup_call_cleanup tests

4 years agoadjust dynamic external indices upon retraction, reset dynamic_mode to Next regardles...
Mark Thom [Sat, 19 Feb 2022 02:49:16 +0000 (19:49 -0700)]
adjust dynamic external indices upon retraction, reset dynamic_mode to Next regardless of success or failure

4 years agothrow instantiation_error on variables from (#1283)
Mark Thom [Sat, 19 Feb 2022 02:33:16 +0000 (19:33 -0700)]
throw instantiation_error on variables from  (#1283)

4 years agodelay callable errors in control predicates (#1282)
Mark Thom [Fri, 18 Feb 2022 03:26:30 +0000 (20:26 -0700)]
delay callable errors in control predicates (#1282)

4 years agobuild CStr's to vars in write_literal_to_var (#1284)
Mark Thom [Wed, 16 Feb 2022 05:22:36 +0000 (22:22 -0700)]
build CStr's to vars in write_literal_to_var (#1284)

4 years agodon't unify module-qualified variables to ! (#1281)
Mark Thom [Tue, 15 Feb 2022 01:46:15 +0000 (18:46 -0700)]
don't unify module-qualified variables to ! (#1281)

4 years agouse VecDeque for generating indices during code generation (#1053)
Mark Thom [Sat, 12 Feb 2022 02:23:43 +0000 (19:23 -0700)]
use VecDeque for generating indices during code generation (#1053)

4 years agoadd missing fact to beginning of tmember_t/3 (#1275)
Mark Thom [Sat, 12 Feb 2022 00:25:01 +0000 (17:25 -0700)]
add missing fact to beginning of tmember_t/3 (#1275)

4 years agogroup predicate subsequences by first instantiated arg (#1053)
Mark Thom [Wed, 9 Feb 2022 06:34:42 +0000 (23:34 -0700)]
group predicate subsequences by first instantiated arg (#1053)

4 years agoprint bounded depth partial strings correctly
Mark Thom [Mon, 7 Feb 2022 21:09:22 +0000 (14:09 -0700)]
print bounded depth partial strings correctly

4 years agoupdate setup_call_cleanup tests
Mark Thom [Mon, 7 Feb 2022 04:46:06 +0000 (21:46 -0700)]
update setup_call_cleanup tests

4 years agouse printer cycle detection when printing partial strings (#1263), refactor skip_max_...
Mark Thom [Mon, 7 Feb 2022 04:12:54 +0000 (21:12 -0700)]
use printer cycle detection when printing partial strings (#1263), refactor skip_max_list functions

4 years agoreference partial strings properly in read_term (#1271)
Mark Thom [Sun, 6 Feb 2022 22:14:18 +0000 (15:14 -0700)]
reference partial strings properly in read_term (#1271)

4 years agofix write_canonical on strings (#1233)
Mark Thom [Sun, 6 Feb 2022 03:40:28 +0000 (20:40 -0700)]
fix write_canonical on strings (#1233)

4 years agofix '$skip_max_list'/4 (#1260)
Mark Thom [Sat, 5 Feb 2022 04:51:22 +0000 (21:51 -0700)]
fix '$skip_max_list'/4 (#1260)

4 years agofix float formatting (#1233, #1258)
Mark Thom [Fri, 4 Feb 2022 02:57:41 +0000 (19:57 -0700)]
fix float formatting (#1233, #1258)

4 years agoreset instruction pointers with calls, make HCPrinter::range_from safe (#1233)
Mark Thom [Tue, 1 Feb 2022 04:24:19 +0000 (21:24 -0700)]
reset instruction pointers with calls, make HCPrinter::range_from safe (#1233)

4 years agocount cycle lengths in skip_max_list_cycle (#1260)
Mark Thom [Tue, 1 Feb 2022 01:23:16 +0000 (18:23 -0700)]
count cycle lengths in skip_max_list_cycle (#1260)

4 years agotag length/2 as the source of finite_memory errors in list.pl (#1259)
Mark Thom [Tue, 1 Feb 2022 01:08:00 +0000 (18:08 -0700)]
tag length/2 as the source of finite_memory errors in list.pl (#1259)

4 years agoMerge pull request #1257 from mthom/rebis-dev_improved-length
Mark Thom [Sun, 30 Jan 2022 18:30:16 +0000 (11:30 -0700)]
Merge pull request #1257 from mthom/rebis-dev_improved-length

Improved length/2 and arg/3 range checking

4 years agoadd range check to arg/3 (#1250) rebis-dev_improved-length origin/rebis-dev_improved-length
Mark Thom [Sat, 29 Jan 2022 19:50:09 +0000 (12:50 -0700)]
add range check to arg/3 (#1250)