rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
2,430 Commits 2 Branches 18 Tags
64c9ac40718aaedcc7082da6f4feedc734af9be3
Commit Graph

2430 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Mark Thom
64c9ac4071 Merge pull request #1348 from mthom/revert-1347-min-rust-version 
Revert "Set minimum rust version in Cargo.toml"
 2022-03-12 11:10:25 -07:00
Mark Thom
75fc922898 Revert "Set minimum rust version in Cargo.toml" 2022-03-12 11:10:17 -07:00
Mark Thom
59e2c3fd5e Merge pull request #1347 from Skgland/min-rust-version 
Set minimum rust version in Cargo.toml
 2022-03-12 11:07:03 -07:00
Skgland
5bd73741cf add a CI job to verify msrv is still correct 2022-03-12 19:02:34 +01:00
Skgland
fcfa3beaa3 add min rust version 
was proposed in https://github.com/mthom/scryer-prolog/issues/1335#issuecomment-1062039516 and got positive feedback
 2022-03-12 18:57:33 +01:00
Mark Thom
dfbdaa9dab Merge pull request #1342 from wkral/no-add-history 
Add --no-add-history flag
 2022-03-11 18:25:47 -07:00
William Kral
5f1f07e5a1 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.
 2022-03-10 21:48:41 -08:00
Mark Thom
eace0d9b37 print rationals that are integers as integers (#663) 2022-03-09 21:24:16 -07:00
Mark Thom
d83b32a200 print variables instead of offsets in setup_call_cleanup tests 2022-03-08 22:05:54 -07:00
Mark Thom
9cefb33388 correct loading of variable name strings in write_term/3 2022-03-08 22:00:12 -07:00
Mark Thom
bd5d6d0686 fix parser bounds check bug (#1333, #1301) 2022-03-08 21:25:19 -07:00
Mark Thom
ecebaf8216 unify empty list to '' in atom_chars/2 (#1334, #1336) 2022-03-08 18:25:40 -07:00
Mark Thom
8762647b55 wrap meta-predicate specifications in functors (#1330) 2022-03-07 22:36:52 -07:00
Mark Thom
664c0ee77c fix float formatting (#1331) 2022-03-07 19:44:39 -07:00
Mark Thom
7a9c3d351d Merge pull request #1332 from triska/call_nth_0 
ENHANCED: call_nth(Goal, 0) now fails, correct error for N < 0.
 2022-03-07 15:16:47 -07:00
Markus Triska
69e52d1ed8 ENHANCED: call_nth(Goal, 0) now fails, correct error for N < 0. 
This addresses #1307.
 2022-03-07 23:38:30 +01:00
Mark Thom
bd594e0c05 fix number/1 (#1329) 2022-03-06 19:17:52 -07:00
Mark Thom
3bf42860e2 Merge pull request #1328 from pmoura/fix_bounded_and_max_arity_flags 
Fix querying the values of the bounded and max_arity flags
 2022-03-06 18:51:14 -07:00
Paulo Moura
0532f51cc2 Fix querying the values of the bounded and max_arity flags 2022-03-07 00:30:35 +00:00
Mark Thom
1808597258 compare functor arity first (#1327) 2022-03-06 16:37:21 -07:00
Mark Thom
2744989cf1 fix compare/3 (#1327) 2022-03-06 15:49:01 -07:00
Mark Thom
0d04abb5c7 Merge pull request #1326 from pmoura/fix_halt_1_predicate_compliance 
Fix halt/1 built-in predicate for ISO Prolog Core standard compliance
 2022-03-06 14:46:46 -07:00
Paulo Moura
495168e7bb Fix halt/1 built-in predicate for ISO Prolog Core standard compliance 2022-03-06 21:33:49 +00:00
Mark Thom
475fbf9561 Merge pull request #1323 from triska/simplex 
ADDED: library(simplex), for solving linear programming problems.
 2022-03-06 13:46:32 -07:00
Markus Triska
c6264cf098 ADDED: library(simplex), for solving linear programming problems. 2022-03-06 21:49:52 +01:00
Mark Thom
bc9123affb only recommend git cloning to get the latest scryer version in README.md 2022-03-06 10:27:25 -07:00
Mark Thom
7fd12972ad Merge pull request #1322 from triska/explain_strings_better 
DOC: Better explanation of strings and partial strings.
 2022-03-06 10:07:37 -07:00
Mark Thom
2d19243b3b Merge branch 'rebis-dev' into 0.9.0 release
Some checks failed
Test / build (macos-10.15, beta) (push) Has been cancelled
Details
Test / build (macos-10.15, stable) (push) Has been cancelled
Details
Test / build (ubuntu-20.04, beta) (push) Has been cancelled
Details
Test / build (ubuntu-20.04, stable) (push) Has been cancelled
Details
v0.9.0 		2022-03-06 09:45:05 -07:00
Markus Triska
8ad4f188f2 DOC: Better explanation of strings and partial strings. 2022-03-06 11:05:31 +01:00
Mark Thom
0c19c56909 mark variables in ArithmeticEvaluator (#690) 2022-03-05 17:57:10 -07:00
Mark Thom
de35baadf3 use must_be(chars) in read_from_chars/2 (#1305) 2022-03-05 17:39:13 -07:00
Mark Thom
66c209f9e4 reset ReadlineStream from read_query_line (#1317, #1285) 2022-03-05 17:39:13 -07:00
Mark Thom
d7a3ed2d4a change domain_error(integer, ..) to type_error(integer, ..) in random.pl (#1310) 2022-03-05 17:39:13 -07:00
Mark Thom
0c25ffc26e dereference list link in delete_attribute (#1148) 2022-03-05 17:39:03 -07:00
Markus Triska
9f864574de ADDED: "f" to enumerate the next 5 solutions, similar to GUPU. 2022-03-02 21:05:49 +01:00
Mark Thom
a38f7c8524 save arguments to delayed goal before calling verify_attrs (#1304) 2022-03-01 23:59:41 -07:00
Mark Thom
bf85cd404c Merge pull request #1313 from triska/all_solutions 
ADDED: "a" to enumerate all solutions
 2022-03-01 15:34:21 -07:00
Markus Triska
102adb3544 ADDED: "a" to enumerate all solutions 
Example:

    ?- member(X, "hello").
    %@    X = h   <-- press "a"
    %@ ;  X = e
    %@ ;  X = l
    %@ ;  X = l
    %@ ;  X = o
    %@ ;  false.
 2022-03-01 23:52:51 +01:00
Mark Thom
c2b360d03e Merge pull request #1312 from triska/str_loc_as_cell 
FIXED: load_html/3: use str_loc_as_cell! to store attribute structures
 2022-03-01 12:09:42 -07:00
Markus Triska
1bec1b7002 FIXED: load_html/3: use str_loc_as_cell! to store attribute structures 2022-03-01 20:21:08 +01:00
Mark Thom
1b4b4807a5 refer to structures using str_loc_as_cell! (#1311) 2022-02-28 18:28:13 -07:00
Mark Thom
d4d135f2a9 fix unexpected error in length/2 (#1303) 2022-02-27 11:38:48 -07:00
Mark Thom
96faad1c01 add proper error throwing for call_with_inference_limit/3 (#1296) 2022-02-27 11:38:44 -07:00
Mark Thom
d55d5f15ae compare '[]' in pstr_comparator of compare_term_test (#1299) 2022-02-25 23:57:27 -07:00
Mark Thom
26e4560429 pop pstr offsets from iterator stack in printer (#1290) 2022-02-25 23:36:26 -07:00
Mark Thom
775bd3a08b unify '' to [] in unify_complete_string (#1292, #1288) 2022-02-25 23:01:08 -07:00
Mark Thom
d92d8bce89 recognize [] as equivalent to "" in unify_atom (#1288) 2022-02-22 23:45:58 -07:00
Mark Thom
1b91663244 Merge pull request #1287 from triska/rebis-dev-sgml 
FIXED: library(sgml): load_html/3 and load_xml/3 now both work again.
 2022-02-22 15:55:03 -07:00
Markus Triska
8fb673e93e use newly available get_n_chars/3 from library(charsio) 2022-02-23 00:03:36 +01:00
Markus Triska
d1372d9b3b FIXED: library(sgml): load_html/3 and load_xml/3 now both work again. 
This addresses #1249.
 2022-02-23 00:03:27 +01:00