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

Commit Graph

  • e20363b462 correct create_partial_string (#2593) Mark Thom 2025-04-11 23:59:53 -07:00
  • 549a26dd03 restore more tabu_list use to compare_term_tests (#2633) Mark Thom 2025-04-10 21:06:44 -07:00
  • 8981ab72d1 restore tabu_list insertions to PStr-Lis comparisons (#2636) Mark Thom 2025-04-10 21:03:29 -07:00
  • 98dae9aecc do not allow strings containing null characters to be inlined (#2848) Mark Thom 2025-04-09 23:03:28 -07:00
  • 22080f3787 move CodeIndex to F64Table-like table Mark Thom 2025-04-06 12:11:57 -07:00
  • 9e1e99f961 Revert "remove Term" Mark Thom 2025-03-15 13:19:26 -07:00
  • eef7b06919 make write_with forward return values, use it to correct partial string handling Mark Thom 2025-03-15 02:10:56 -07:00
  • 2ad870c740 read Str focus properly in build_meta_predicate_clause Mark Thom 2025-03-15 02:10:04 -07:00
  • 3dee07f648 some fixes in response to miri Mark Thom 2025-03-13 12:33:37 -07:00
  • 9daf016d63 Fix parsing of \x0\ in partial strings bakaq 2025-03-02 18:51:57 -03:00
  • fadcfb966e copy partial string blocks properly in all solutions predicates Mark Thom 2025-03-04 00:17:20 -08:00
  • 57f76169fd run cargo fmt Mark Thom 2025-03-01 13:58:50 -08:00
  • ae4d12a123 remove pstr_vec Mark Thom 2024-12-06 21:47:36 -08:00
  • 3c85ef2724 globalize ALIGN_CELL/ALIGN, fix compute_pstr_size Mark Thom 2025-02-24 19:54:35 -08:00
  • 15f1320d05 Fix allocate_pstr randomly refusing to properly allocate memory Emilie Burgun 2024-12-29 23:54:03 +01:00
  • 7b357ba84d Fix Heap::drop not accounting for null-initialized HeapInner Emilie Burgun 2024-12-29 22:04:40 +01:00
  • c0cd371056 dereference clause_clause value, reserve more parser space (#2579) Mark Thom 2024-11-14 22:04:09 -07:00
  • 79be0c0625 unmark_cell_bits! in push_literal (#2645) Mark Thom 2024-10-31 22:58:29 -06:00
  • c0f72704ec introduce bespoke Heap type for in-heap partial strings Mark Thom 2024-05-13 18:00:56 -06:00
  • f7bbdfe73a variable revision Mark Thom 2024-07-31 14:04:55 -06:00
  • 1ef681bd21 remove Term Mark Thom 2024-07-16 15:38:22 -06:00
  • 34ac85bb6d restore ubuntu testing to ci.yml with rust version 1.77 Mark Thom 2024-05-13 14:40:09 -06:00
  • a69303dc93 throw syntax error after parsing infinite floats (#2998) Mark Thom 2025-07-07 21:30:04 -07:00
  • 778068129f don't skip '.' char in parse_number_from_string (#2997) Mark Thom 2025-07-07 21:28:07 -07:00
  • ce56b5ed6b modify number_token to produce partial lexing results (#2986) Mark Thom 2025-07-05 00:58:28 -07:00
  • 8e01eea440 be more careful about concatenating '.' in parse_number_from_string (#2986) Mark Thom 2025-07-01 18:40:49 -07:00
  • 1cf5de8f5c Merge pull request #2970 from notoria/clpz Mark Thom 2025-06-16 21:02:38 -07:00
  • 686f20db74 Merge pull request #2980 from triska/hophrase Mark Thom 2025-06-16 21:02:20 -07:00
  • 17377064cf use nonterminal indicators, correct meta_predicate/1 for higher-order phrase//N Markus Triska 2025-06-14 22:43:35 +02:00
  • f49a0ae79b Merge pull request #2965 from rotu/zygomorphic-puma Mark Thom 2025-05-27 22:18:47 -07:00
  • 4b480a7eab Strengthened (mod)/2 in CLP(Z) notoria 2025-05-25 13:39:31 +02:00
  • 4a6f86591c Strengthened (mod)/2 in CLP(Z) notoria 2025-05-25 13:38:56 +02:00
  • 37ac5bb3c1 Strengthened (mod)/2 in CLP(Z) notoria 2025-05-25 13:37:28 +02:00
  • 9456517bed Remove obsolete compatibility for Rust<1.80 Dan Rose 2025-05-22 13:57:55 -05:00
  • 8f514ce419 Merge pull request #2955 from rotu/radical-cockroach Mark Thom 2025-05-19 22:47:41 -07:00
  • e40125ff3a Document when/2 Condition Dan Rose 2025-05-18 16:46:28 -05:00
  • c790bbfce9 Merge pull request #2956 from bakaq/update_arcu_libffi Mark Thom 2025-05-13 21:26:29 -07:00
  • b767e4de25 xor is not a standard operator Dan Rose 2025-05-13 15:00:00 -05:00
  • ca173873af Update dependencies and fix breaking changes in libffi-sys and arcu bakaq 2025-05-13 19:53:13 -03:00
  • 036c59e5fa Merge pull request #2950 from triska/meetups Mark Thom 2025-05-08 22:53:04 -07:00
  • 7809edca19 link to Scryer Prolog Meetup 2025 page and its announcement Markus Triska 2025-05-09 07:38:13 +02:00
  • a42a88a2c9 Merge pull request #2802 from adri326/null-stream-safety Mark Thom 2025-05-01 17:35:30 -07:00
  • 9dab070c11 Merge pull request #2930 from triska/meetups Mark Thom 2025-04-30 18:51:43 -07:00
  • ec28872a9a correct grammar Markus Triska 2025-04-30 19:53:33 +02:00
  • eb96a0c957 ADDED: Section about Scryer Prolog Meetups. Markus Triska 2025-04-30 19:53:10 +02:00
  • 90f4716cc3 Merge branch 'null-stream-safety' of https://github.com/adri326/scryer-prolog into adri326-null-stream-safety Mark Thom 2025-04-29 23:32:48 -07:00
  • 3a6289324e Merge pull request #2901 from matteob8/patch-1 Mark Thom 2025-04-29 21:41:07 -07:00
  • f496abbbef use loader:strip_subst_module/4 in second module check of retract/1 (#2891, #2893) Mark Thom 2025-04-22 23:28:19 -07:00
  • f1793744bc Merge pull request #2905 from bakaq/bump-msrv Mark Thom 2025-04-22 22:28:02 -07:00
  • bd4b305649 Remove Ubuntu 20.04 runner bakaq 2025-04-22 17:32:36 -03:00
  • 638a765937 Bump MSRV and update flake.lock bakaq 2025-04-22 17:10:29 -03:00
  • 78fec46517 Merge pull request #2895 from hakujin/master Mark Thom 2025-04-21 22:11:43 -07:00
  • 00a44921db Update http_server.pl matteob8 2025-04-21 20:54:43 +02:00
  • d79bc199b3 Update http_server.pl matteob8 2025-04-21 19:13:20 +02:00
  • 4da0f90097 Update libffi and libffi-sys dependencies to fix aarch64 macOS build Colin King 2025-04-18 21:40:29 -05:00
  • d18ef52e67 Merge pull request #2873 from constraintAutomaton/doc/update-readme-wasm-example Mark Thom 2025-04-12 21:09:40 -07:00
  • 925921e9ab Merge pull request #2879 from triska/ad4m Mark Thom 2025-04-12 21:09:20 -07:00
  • b98076b39e enumerate applications, add AD4M by @coasys Markus Triska 2025-04-12 09:05:28 +02:00
  • 3090cb0084 Example update to use iterable. constraintAutomaton 2025-04-12 07:18:00 +02:00
  • 971521791c Merge branch 'master' into doc/update-readme-wasm-example constraintAutomaton 2025-04-12 07:00:14 +02:00
  • 2c8041250d Merge pull request #2875 from constraintAutomaton/feature/wasm-result-iterator Mark Thom 2025-04-11 20:52:45 -07:00
  • 1b22c89211 mark cyclic lists with ellipses at the head (#2635) Mark Thom 2025-04-10 22:39:35 -07:00
  • 4e207fc34a Made WasmQueryState an iterable. constraintAutomaton 2025-04-10 19:02:04 +02:00
  • 8558bd2214 Merge pull request #2874 from triska/read_from_chars_instantiated Mark Thom 2025-04-10 08:47:21 -07:00
  • ba9fed3eae generalize read_from_chars/2 and read_term_from_chars/3 to allow instantiated Term Markus Triska 2025-04-09 22:23:12 +02:00
  • 024c498bee Fix DOM manipulation to avoid deprecated functions in Sudoku solver example. constraintAutomaton 2025-04-08 20:13:02 +02:00
  • 8c348a7160 better identation of the knowledge base. constraintAutomaton 2025-04-08 19:29:34 +02:00
  • 1f82dafcb6 Useless console.log in the example deleted. constraintAutomaton 2025-04-08 19:17:20 +02:00
  • d2dfb7ccda Update README with working WebAssembly usage example. constraintAutomaton 2025-04-08 19:12:27 +02:00
  • 20525e5013 Merge pull request #2869 from triska/format_w Mark Thom 2025-04-06 15:31:59 -07:00
  • 14c8fc3e34 move ~w to least prominent position, point to more suitable specifiers Markus Triska 2025-04-05 10:01:22 +02:00
  • 3d60094330 ENHANCED: format specifier ~w more faithfully emulates write/1 Markus Triska 2025-04-05 09:47:29 +02:00
  • ae27e78d80 Merge pull request #2861 from averms-forks/update-deps Mark Thom 2025-03-31 19:49:54 -07:00
  • 3826ef38cd Merge pull request #2860 from averms-forks/push-spzqsznlnlnm Mark Thom 2025-03-31 19:49:46 -07:00
  • 7b6f4439bb Install correct locked version of iai-callgrind-runner in CI. Aman Verma 2025-03-31 04:03:31 -05:00
  • 464cfd9213 Update lexical. Aman Verma 2025-03-28 14:05:45 -05:00
  • 9dbf592a58 Remove unused deps: regex, assert_cmd, predicates-core. Aman Verma 2025-03-27 21:11:21 -05:00
  • e273b007a2 Update ordered-float to 5.0.0. Aman Verma 2025-03-27 21:02:14 -05:00
  • 6df4eaf809 Update scraper and ego-tree. Aman Verma 2025-03-27 20:35:01 -05:00
  • 165d47c7b5 Bump dependencies except for arcu v0.1.1 and half 2.4.1. Aman Verma 2025-03-27 20:20:46 -05:00
  • a45a1f6197 Use backticks when referencing predicate in docs. Aman Verma 2025-03-27 18:49:03 -05:00
  • 16187390cd Merge pull request #2847 from triska/call_with_error_context Mark Thom 2025-03-09 13:21:25 -07:00
  • 57bf1ec39b ADDED: type pair Markus Triska 2025-03-08 14:42:48 +01:00
  • 7ac84d3565 Merge pull request #2846 from triska/call_with_error_context Mark Thom 2025-03-08 00:39:03 -08:00
  • 32d91449b5 ADDED: call_with_error_context/2 Markus Triska 2025-03-08 09:12:17 +01:00
  • 3799974b82 Merge pull request #2837 from notoria/next Mark Thom 2025-03-01 13:40:09 -08:00
  • 9da0a06afa Merge pull request #2836 from triska/format_floats Mark Thom 2025-03-01 01:45:55 -08:00
  • b8526e0510 FIXED: portray_clause/1 for numbers Markus Triska 2025-02-28 08:22:54 +01:00
  • 2d4fcf9714 correct handling of floats with N digits (~f and ~Nf) Markus Triska 2025-02-28 08:14:34 +01:00
  • 4f3843742c Fix conversion from float to rational notoria 2025-02-28 08:00:00 +01:00
  • a0e3283d64 Merge pull request #2835 from thierrymarianne/fix-http_open-hanging-on-top-of-main-branch Mark Thom 2025-02-27 21:38:58 -08:00
  • c9a0f3332e Merge pull request #2792 from triska/must_be_chars Mark Thom 2025-02-27 21:26:40 -08:00
  • aeacccbe4c Merge pull request #2825 from bakaq/wasm_rework Mark Thom 2025-02-27 21:26:20 -08:00
  • 5d468d3e19 Replace futures::executor::block_on with tokio::block_in_place revue_2_presse 2025-02-25 20:19:14 +01:00
  • 080a4fed03 Documentation bakaq 2025-02-20 00:48:51 -03:00
  • 3b89c1124d Consult modules bakaq 2025-02-20 00:33:11 -03:00
  • 236ed93c6c Send pure objects instead of classes bakaq 2025-02-20 00:12:30 -03:00
  • cea8e6b1c9 MachineBuilder constructor bakaq 2025-02-19 22:50:41 -03:00
  • 93e804eeaa Rework Wasm interface bakaq 2025-01-31 09:24:39 -03:00
  • b32273fc79 Make Wasm compilable bakaq 2025-01-31 09:24:39 -03:00