rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Commit Graph

  • 25afc11168 correct skipping of not fully visited lists in stackful heap iterator (#2056, #2063, #2065) Mark 2023-09-30 15:24:30 -06:00
  • 9e713406d3 correct max_depth marking for lists Mark 2023-09-30 11:44:20 -06:00
  • f33f641f11 further max_depth improvements Mark 2023-09-29 11:48:05 -06:00
  • ca2ddfeed0 improve max_depth write option (#1876, #2053) Mark 2023-09-29 01:00:14 -06:00
  • 11cd42379b do not deref AttrVar binding in redo_attr_var_binding (#2059) Mark 2023-09-28 15:25:57 -06:00
  • 40d3345cd5 revert throwing domain errors for unexpected forms of read-options (#2015) Mark 2023-09-27 18:58:45 -06:00
  • 035e214ef5 check for ChildCloseList in print_struct on [] (#2039) Mark 2023-09-27 18:16:23 -06:00
  • f630a8cc1a fix add_predicate_declaration bug not correctly identifying lists of predicate indicators (#2049, #2050, #2051, #2052) Mark 2023-09-27 17:55:15 -06:00
  • 0bfb08e464 remove debug symbols from release builds (#2054) Mark 2023-09-27 13:53:33 -06:00
  • 5f6ae3857b Merge pull request #1998 from aarroyoc/warp-http-server Mark Thom 2023-09-27 13:35:46 -06:00
  • 750544dd2a fix max_depth settings for partial strings on lists (#1876) Mark 2023-09-27 13:34:11 -06:00
  • 660860bccf Replace Hyper with Warp for HTTP server Adrián Arroyo Calle 2023-09-05 20:40:58 +02:00
  • 841aaa78b4 Merge pull request #2048 from infogulch/master Mark Thom 2023-09-27 10:43:54 -06:00
  • 93f46a4142 Tidy ci.yaml infogulch 2023-09-27 02:58:48 -05:00
  • a86db1bde8 Build windows with msvc infogulch 2023-09-27 02:57:02 -05:00
  • 4163437d5a Add ubuntu 22.04 infogulch 2023-09-27 00:31:08 -05:00
  • a6535c28ea remove module_resolution_error (#2035) Mark 2023-09-26 14:06:21 -06:00
  • 2efe95f2fb filter our builtins from current_predicate/1 (#153) Mark 2023-09-26 13:46:21 -06:00
  • 56992570d8 check for predicate_indicator list and sequence types in add_predicate_declaration (#1586) Mark 2023-09-26 12:54:16 -06:00
  • 39934208c3 throw instantiation_error when appropriate from parse_write_options_ (5.5.12 of the standard, #1965) Mark 2023-09-26 12:08:51 -06:00
  • 193bb313fd correct OutOfFiles resource error (#1375) Mark 2023-09-26 11:22:56 -06:00
  • e8334f9b67 add predicate indicator sequences to loader:add_predicate_declaration (#1586) Mark 2023-09-26 11:21:47 -06:00
  • 280ff8b5d0 throw an error instead of allowing builtin modules to be overwritten (#2042) Mark 2023-09-25 19:20:11 -06:00
  • 172bb9e96a Merge branch 'master' of ssh://github.com/mthom/scryer-prolog Mark 2023-09-25 16:09:20 -06:00
  • c04f1dea48 fix off-by-1 bug in '$skip_max_list'/4 (#2037) Mark 2023-09-23 18:32:32 -06:00
  • 9114c982e0 Merge pull request #2032 from bakaq/phrase_from_stream Mark Thom 2023-09-25 12:04:33 -06:00
  • f644a76281 Remove reposition option from phrase_from_file/2 bakaq 2023-09-25 02:18:05 -03:00
  • 63bb993c02 Inline string_get_n_chars_/3 bakaq 2023-09-24 19:29:51 -03:00
  • c50291cec8 Better string_get_n_chars_/3 bakaq 2023-09-24 19:21:03 -03:00
  • 2fe79b5fc3 Fixed bug with '$skip_max_list'/4 bakaq 2023-09-24 15:07:39 -03:00
  • b4fab5a806 Use '$skip_max_list'/4 in string_get_n_chars/4 bakaq 2023-09-23 01:43:45 -03:00
  • 35d0042be1 Add phrase_from_stream/2 to library(pio) bakaq 2023-09-21 21:06:02 -03:00
  • 75dcc3f276 Merge pull request #2040 from rujialiu/allow-cr Mark Thom 2023-09-24 11:11:15 -06:00
  • 9c43974747 Solves CRLF/CR issue by considering'\r' a layout_char #553 #2028 Rujia Liu 2023-09-24 19:10:40 +08:00
  • 4be5fc6d43 Merge pull request #2038 from infogulch/patch-1 Mark Thom 2023-09-24 00:44:33 -06:00
  • f03336b3a2 Allow all jobs to run to completion even if one fails Joe Taber 2023-09-23 21:43:51 -05:00
  • a5db117ef6 fix off-by-1 bug in ''/4 (#2037) Mark 2023-09-23 18:32:32 -06:00
  • 142e0c2c3a don't parse bracketed non-operators as functor terms (#2033) Mark 2023-09-23 14:26:28 -06:00
  • 1c8cd85f6c record compaction depth after reduce_op if '|' an operator (#1905) Mark 2023-09-23 00:19:54 -06:00
  • c547f67c54 add (now failing) test 317 to iso_conformity_tests.pl Mark 2023-09-21 16:49:45 -06:00
  • c26e9436b4 generalize multifile/dynamic/discontiguous declarations over lists of predicate indicators (#1586) Mark 2023-09-21 16:22:41 -06:00
  • b3239abea1 throw resource error if OpenOptions raises an error of uncategorized kind (#1375) Mark 2023-09-21 14:36:53 -06:00
  • 81edd4592f Merge pull request #2027 from bakaq/dif Mark Thom 2023-09-21 11:32:38 -06:00
  • 7484433e2b Merge pull request #2026 from infogulch/master Mark Thom 2023-09-21 11:31:35 -06:00
  • cb79e83510 Avoid dif/1 attribute with empty list bakaq 2023-09-21 14:00:37 -03:00
  • cac52c0537 Run dif tests on cargo test bakaq 2023-09-21 12:14:27 -03:00
  • f5c23fbb16 Tests for dif/2 bakaq 2023-09-20 20:56:25 -03:00
  • a64a765f32 Improved dif/2 bakaq 2023-09-20 20:56:04 -03:00
  • eecfeb2d03 Simplify maybe infogulch 2023-09-20 16:38:58 -05:00
  • 54a0313d72 Merge pull request #2025 from aarroyoc/random-seed Mark Thom 2023-09-20 15:03:21 -06:00
  • 7cf6e77f4d Use a SeedableRng to generate random numbers Adrián Arroyo Calle 2023-09-20 21:54:14 +02:00
  • 4968fa0024 Remove debugging println! Nicolas Luck 2023-09-18 19:31:56 +02:00
  • 5e55625733 Remove some debug println!s Nicolas Luck 2023-09-18 19:12:50 +02:00
  • 65f64e428e Construct and return exception string Nicolas Luck 2023-09-18 13:25:27 +02:00
  • d2f5291412 mthom's changes fixing the panic Nicolas Luck 2023-09-18 13:01:27 +02:00
  • 9dc1c339ef remove unnecessary Result return type from read_term_from_heap Mark 2023-09-15 14:10:42 -06:00
  • c86304b18e Remove lib_toplevel.pl Nicolas Luck 2023-09-15 11:01:16 +02:00
  • 7c83a1fb8e Cleanup code that's not needed anymore Nicolas Luck 2023-09-15 10:48:41 +02:00
  • f02728aab3 Construct QueryResult from printer output Nicolas Luck 2023-09-15 10:44:59 +02:00
  • 48283c4dbc mthom's changes to run_query with backtracking Nicolas Luck 2023-09-15 10:04:11 +02:00
  • 6bdd7f3a3f mthom's revised run_query with manually created printer and some cleanup Nicolas Luck 2023-09-14 22:00:50 +02:00
  • 6e0dd371a0 Merge pull request #2018 from triska/libffi Mark Thom 2023-09-13 15:05:31 -06:00
  • 5b1df8c4b3 use version from crates.io Markus Triska 2023-09-13 20:45:38 +02:00
  • 5fa68e253c lib_machine tests should not be tokio/async Nicolas Luck 2023-09-13 19:51:57 +02:00
  • 3e14ef634f Merge pull request #2017 from cmpute/master Mark Thom 2023-09-13 10:41:34 -06:00
  • adb5fcf708 Upgrade dashu and some changes Jacob 2023-09-13 12:29:12 -04:00
  • 136463c92e Merge branch 'master' into library-use-case Nicolas Luck 2023-09-13 18:13:14 +02:00
  • ef56193c44 Use write_term_to_heap as suggest, clean up, and include error in comment Nicolas Luck 2023-09-13 17:17:02 +02:00
  • 4077040d03 update syn crates Mark 2023-09-12 14:52:42 -06:00
  • de440a8c92 get rid of OssifiedOpDir, DBRef, simplify current_op/3 Mark 2023-09-11 15:36:15 -06:00
  • c75f74f681 Merge pull request #1993 from coasys/dashu-fixes Mark Thom 2023-09-11 11:33:16 -06:00
  • 46c78ad338 Merge pull request #2013 from gruhn/fix-docker-debian-bullseye Mark Thom 2023-09-11 11:23:10 -06:00
  • 2b7a8875c0 fix Docker image Niklas Gruhn 2023-09-11 01:40:05 +02:00
  • 2ee131c52c Merge pull request #2010 from aarroyoc/update-website-0.9.2 Mark Thom 2023-09-10 17:45:45 -06:00
  • f3901cd8b8 Update website to mention 0.9.2 and playground Adrián Arroyo Calle 2023-09-10 23:12:10 +02:00
  • 7f0536b51d Merge branch 'master' into dashu-fixes Fayeed Pawaskar 2023-09-10 21:51:02 +05:30
  • af76659830 Removed value method and use deref to get type Fayeed Pawaskar 2023-09-10 21:40:22 +05:30
  • fb658c4918 Merge pull request #2008 from triska/clpb_improvements Mark Thom 2023-09-09 00:40:30 -06:00
  • 85cc4a80d0 remove code that is not needed in Scryer Prolog Markus Triska 2023-09-09 07:23:34 +02:00
  • 6fe85c5779 remove more attributes so that they do not appear in residual goals Markus Triska 2023-09-08 23:19:10 +02:00
  • b38a56e7d3 move compatibility predicates and meta_predicate/1 declarations so that they are correctly taken into account Markus Triska 2023-09-08 23:12:33 +02:00
  • cbf18e5c3a Merge pull request #2006 from infogulch/wasm-ci Mark Thom 2023-09-08 23:34:59 -06:00
  • 96bd0d267c Merge pull request #2007 from triska/rust_1_70 Mark Thom 2023-09-08 23:34:36 -06:00
  • ec67752db4 shorter partition/5, relying on first instantiated argument indexing Markus Triska 2023-09-08 22:47:59 +02:00
  • ad4c17fbb6 add meta_predicate/1 declaration for include/3 and exclude/3 Markus Triska 2023-09-08 22:41:49 +02:00
  • 672979c515 shorter include/3 and exclude/3, relying on improved indexing Markus Triska 2023-09-08 22:40:50 +02:00
  • efcc2b81cd add licensing information, addressing part of #1798 Markus Triska 2023-09-08 22:37:18 +02:00
  • 640f29fe0f update required Rust version Markus Triska 2023-09-09 07:30:23 +02:00
  • 13a0085408 Add wasm build steps Joe Taber 2023-09-08 19:25:36 -05:00
  • 74440d503e Merge pull request #2004 from triska/generalize_description Mark Thom 2023-09-08 16:11:06 -06:00
  • f4769de5c4 Merge pull request #2003 from triska/clpz_comment Mark Thom 2023-09-08 15:22:49 -06:00
  • b843b76b7a this holds for all architectures (also 32-bit systems) Markus Triska 2023-09-08 23:22:36 +02:00
  • 182afe3b7d update comment Markus Triska 2023-09-08 22:33:55 +02:00
  • 920e0c6b56 Merge pull request #1986 from rujialiu/wasm32-support Mark Thom 2023-09-08 11:15:51 -06:00
  • b6ce6b7cdb Basic WebAssembly support with minimal Javascript API #615. Currently 6/12 crypto functions supported. Tested in browser with all default features disabled. Rujia Liu 2023-09-08 17:27:22 +08:00
  • a0b5a24853 check atom == ',' in ambiguity_check mirroring logic in print_op_addendum (#2000) Mark 2023-09-05 14:56:26 -06:00
  • fa11d6bdd4 remove error printing redundancy and inconsistent state resulting from file_load_cleanup (#1995) Mark 2023-09-05 13:52:18 -06:00
  • a9aef2bc84 Merge pull request #1980 from Skgland/atomtable Mark Thom 2023-09-05 12:32:20 -06:00
  • bf2b73706a Merge pull request #1997 from triska/countall Mark Thom 2023-09-05 12:04:52 -06:00
  • 83ebce86b6 call_with_inference_limit/3 should fail if inference limit is exceeded and R term is not inference_limit_exceeded (#1977) Mark 2023-09-05 11:51:06 -06:00