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

Commit Graph

  • 2f82c78bc0 Separate lib_machine tests into separate file bakaq 2024-10-12 17:04:29 -03:00
  • ec6286ffab Shrink MVP API surface bakaq 2024-10-12 16:58:38 -03:00
  • bb5adba4ef Rename PrologTerm to Term bakaq 2024-10-12 16:48:13 -03:00
  • 33d8abfed8 Remove parsed_results.rs bakaq 2024-10-12 16:42:56 -03:00
  • d336cbc86a MachineBuilder bakaq 2024-10-12 16:07:13 -03:00
  • 79fbd9e90f Fix Machine links bakaq 2024-09-29 23:53:37 -03:00
  • cab61738ad #[deny(missing_docs)] bakaq 2024-09-29 23:50:15 -03:00
  • e6cc408ff2 Document test methods bakaq 2024-09-29 23:45:40 -03:00
  • dc8348b843 Add interfaces for QueryState methods bakaq 2024-09-29 23:42:11 -03:00
  • cb040dafc1 Docs for Machine and QueryState bakaq 2024-09-29 23:30:57 -03:00
  • c13fc2d1b6 Docs for run_binary() bakaq 2024-09-29 23:22:51 -03:00
  • 1375f448a0 LeafAnswer docs and success checking methods bakaq 2024-09-29 23:21:18 -03:00
  • 0433706db6 More PrologTerm documentation bakaq 2024-09-29 23:09:47 -03:00
  • e74fd11b0d Conjunctions, disjunction, and LeafAnswer to PrologTerm bakaq 2024-09-29 23:06:43 -03:00
  • 4480e7c066 Associated functions for creating PrologTerm bakaq 2024-09-29 22:30:24 -03:00
  • 71dec62ce2 Basic docs and non_exhaustive for PrologTerm bakaq 2024-09-29 22:12:29 -03:00
  • 658e39aae6 Machine and stream config rework bakaq 2024-09-29 21:30:27 -03:00
  • 29fc55cb28 Rename LeafAnswer bakaq 2024-09-07 01:15:05 -03:00
  • 8e7dc9dba8 Rename PrologTerm bakaq 2024-09-06 23:06:20 -03:00
  • abe1f37167 introduce and use weighted_maybe/2 Markus Triska 2024-12-08 21:21:05 +01:00
  • 8cde3f8ce3 Add '$random_integer'/3 notoria 2024-12-08 20:00:00 +01:00
  • dba9c9a0a7 instantiate module resolutions for meta-predicate lookups when expanding calls (#2255, #2619, #2684) Mark Thom 2024-12-06 23:30:36 -08:00
  • ea02b54e7f Merge pull request #2677 from jasagredo/js/get-single-char-windows Mark Thom 2024-12-05 20:25:25 -07:00
  • 0427d9ef11 Merge pull request #2679 from jasonhemann/patch-2 Mark Thom 2024-12-05 20:24:56 -07:00
  • c1571bf063 export toplevel repl/0 Francis Fortier 2024-12-05 09:38:38 -05:00
  • cef45de74a build: resolve include_str path during the compilation of libraries.rs instead of during he build.rs execution to support different build tools (bazel in this case) Francis Fortier 2024-12-05 09:10:52 -05:00
  • d7bf7445f1 s/red/read/ typo in documentation. Jason Hemann 2024-12-05 01:19:51 -05:00
  • 8e5ddebddb Ignore KeyEventKind::Release events when reading a char Javier Sagredo 2024-12-04 00:05:10 +01:00
  • ff03432624 admit YF in current_op/3 (#2639) Mark Thom 2024-11-14 22:39:56 -07:00
  • 7fd409140c Merge pull request #2652 from gruhn/patch-1 Mark Thom 2024-11-15 05:51:03 +01:00
  • 9f6bbe949c Merge pull request #2653 from srenatus/sr/issue-2650 Mark Thom 2024-11-15 05:50:51 +01:00
  • e78914219e toplevel: add more Stop=continue, remove nesting Stephan Renatus 2024-11-03 13:31:47 +01:00
  • 620077d8c1 toplevel.pl: attempt to fix continue/stop logic Stephan Renatus 2024-11-02 21:07:02 +01:00
  • 556b7c733f toplevel.pl: fix arity mismatch in read_input/2 Stephan Renatus 2024-11-01 15:42:48 +01:00
  • e577a5430b README: update Docker install instructions Niklas Gruhn 2024-11-01 10:58:44 +01:00
  • e8ef9bc33a Merge pull request #2647 from panasenco/master Mark Thom 2024-10-29 13:15:08 -06:00
  • 7b18b1d47a Updated and tested Dockerfile Aram Panasenco 2024-10-28 10:28:01 -06:00
  • c39ea4818a Merge pull request #2527 from bakaq/leaf_answers_callbacks Mark Thom 2024-10-13 12:13:08 -06:00
  • 90d418a181 Fix priority in op/3 bakaq 2024-10-12 23:37:58 -03:00
  • 9785a04b3a Merge pull request #2596 from Skgland/issue-2588 Mark Thom 2024-10-05 22:12:45 -06:00
  • 6dd0ec0b98 fix miri Bennet Bleßmann 2024-10-04 20:25:02 +02:00
  • e9f03c89a6 fix issue #2588 Bennet Bleßmann 2024-10-04 19:25:34 +02:00
  • 8f41c1aa7e Merge remote-tracking branch 'upstream/master' into issue-2588 Bennet Bleßmann 2024-10-04 19:11:26 +02:00
  • 442636c131 add test for load_html Bennet Bleßmann 2024-10-04 19:09:35 +02:00
  • 190929e4ac Remove trailing whitespace in toplevel.pl bakaq 2024-10-01 21:58:59 -03:00
  • 2f47343cb5 Merge pull request #2581 from bakaq/fix_hostname_feature Mark Thom 2024-09-29 21:09:22 -06:00
  • 3bc1885606 Fix not compiling without hostname feature bakaq 2024-09-29 16:50:06 -03:00
  • 0552530b41 Merge pull request #2573 from srenatus/sr/readme-link-to-latest-releases Mark Thom 2024-09-26 10:50:51 -06:00
  • 951c88d5f3 README: link to latest release Stephan Renatus 2024-09-26 09:43:26 +02:00
  • 383eb5bdd9 Merge pull request #2523 from bakaq/visibility Mark Thom 2024-09-24 23:16:44 -06:00
  • 3fa6b69a79 Merge pull request #2533 from hurufu/fix-warnings Mark Thom 2024-09-18 18:39:54 -06:00
  • 0bc3d67298 Merge pull request #2534 from hurufu/document_non_counted_backtracking Mark Thom 2024-09-16 17:41:53 -06:00
  • a898d7a667 Merge pull request #2558 from bakaq/error_to_doclog Mark Thom 2024-09-16 17:41:18 -06:00
  • 238f1bd639 Convert library(error) docs to Doclog format bakaq 2024-09-16 16:46:55 -03:00
  • 4b0f9558b3 Change wording for non_counted_backtracking comment Aleksy Grabowski 2024-09-07 08:22:47 +02:00
  • c922ed8b0a Explain non_counted_backtracking a little bit more Aleksy Grabowski 2024-09-06 08:15:45 +02:00
  • 3af24a8067 Revert "Explain non_counted_backtracking a little bit more" Aleksy Grabowski 2024-09-07 08:13:10 +02:00
  • fdd6579230 Add mechanism to stop query bakaq 2024-09-07 02:06:01 -03:00
  • 16734ec7e4 Fix Clippy bakaq 2024-09-06 18:54:37 -03:00
  • d32f3ee2f3 Fix warnings bakaq 2024-09-06 17:56:12 -03:00
  • ada9ba98cc Make macros private bakaq 2024-09-06 16:51:10 -03:00
  • a885e87ef7 Add argument with extra info to callback bakaq 2024-09-06 14:59:17 -03:00
  • e369c15a27 Documentation for run_query/3 and run_query_goal/4 bakaq 2024-09-06 14:55:39 -03:00
  • afa7af3de6 Address review comments and remove old toplevel bakaq 2024-09-06 14:19:11 -03:00
  • d3071988b2 Revert "Remove unnecessary "unsafe" block to fix compiler warning" Aleksy Grabowski 2024-09-06 10:26:17 +02:00
  • 08aed04dd2 Revert "Fix rustc warning" Aleksy Grabowski 2024-09-06 10:25:45 +02:00
  • 7af93f1532 Remove unnecessary "unsafe" block to fix compiler warning Aleksy Grabowski 2024-09-06 08:20:13 +02:00
  • 2b73107631 Explain non_counted_backtracking a little bit more Aleksy Grabowski 2024-09-06 08:15:45 +02:00
  • 61c258f49e Fix mistake in predicate indicator Aleksy Grabowski 2024-09-06 08:07:21 +02:00
  • 6f0c7f42c6 Remove executable bit for files that don't need it Aleksy Grabowski 2024-07-12 21:15:32 +02:00
  • 7b09d447d6 Fix rustc warning Aleksy Grabowski 2024-07-18 08:15:25 +02:00
  • 9f4d31a825 Toplevel reimplementation with leaf answer callbacks bakaq 2024-09-03 12:44:10 -03:00
  • 806e980cca Be conservative with visibility bakaq 2024-08-19 23:19:09 -03:00
  • 12a61cdff8 Merge pull request #2491 from coasys/reqwest-version-relax Mark Thom 2024-08-29 12:22:46 -06:00
  • 808ea9fc79 Fix spelling of reqWest Nicolas Luck 2024-08-22 12:55:32 +02:00
  • e1d830d680 Clean-up comment Nicolas Luck 2024-08-20 22:09:32 +02:00
  • 6be671d7d9 More precise comment mentioning Deno Nicolas Luck 2024-08-20 22:08:11 +02:00
  • 5c39e2a5a1 Merge pull request #2475 from bakaq/value_heap_walk Mark Thom 2024-08-19 16:33:13 -06:00
  • e24396d78a Fix order of variables in bindings bakaq 2024-08-19 14:20:43 -03:00
  • 264e3e9dd6 Merge pull request #2474 from Skgland/fix-looping-memory-allocation Mark Thom 2024-08-17 20:58:03 -06:00
  • 3f25ee3749 Merge pull request #2495 from Skgland/fix2467 Mark Thom 2024-08-17 20:56:23 -06:00
  • c24a51b633 fix looping from issue 2467 Bennet Bleßmann 2024-08-17 23:33:32 +02:00
  • 8925133f40 Explanatory comment for the wildcard patch version Nicolas Luck 2024-08-16 16:16:16 +02:00
  • 2faab30af9 Explanatory comment for the wildcard patch version Nicolas Luck 2024-08-16 16:15:10 +02:00
  • c1b88cee99 Fix partial strings ending in lists bakaq 2024-08-16 08:08:05 -03:00
  • 8736526b35 Fix lists of chars as strings bakaq 2024-08-16 00:34:46 -03:00
  • 7afc08af47 Represent atom [] as empty list bakaq 2024-08-16 00:01:25 -03:00
  • 12aaae5fc0 Differentiate anonymous variables bakaq 2024-08-15 04:55:20 -03:00
  • e0ec5e75b4 typo Nicolas Luck 2024-08-15 22:41:48 +02:00
  • 7092e278d7 Relax constraint on version of reqwest dependency (Cargo will pick the latest patch that's possible, but not fail if another dep. has it pinned to something below patch 27) Nicolas Luck 2024-08-15 22:40:35 +02:00
  • 82a7d7efbd Value::from_heapcell() implemented with heap walk bakaq 2024-08-11 16:17:40 -03:00
  • 37a906cf37 Value::from_heapcell() bakaq 2024-08-11 14:12:34 -03:00
  • bacfed8983 Merge pull request #2472 from bakaq/query_iterator Mark Thom 2024-08-14 20:26:03 -06:00
  • ed1b25cb30 Tests for run_query_iter() bakaq 2024-08-14 18:30:56 -03:00
  • bc262db6d7 Implement run_query() in terms of run_query_iter() bakaq 2024-08-14 18:44:10 -03:00
  • 86a2c5e2ed Add run_query_iter() bakaq 2024-08-14 18:39:59 -03:00
  • e77c97e0d1 Merge pull request #2482 from bakaq/flake Mark Thom 2024-08-14 06:36:16 -06:00
  • 48f3a7b87e Merge pull request #2485 from aarroyoc/learn-pages-docs Mark Thom 2024-08-14 06:35:58 -06:00
  • e5aaa9d277 Upgrade docs to DocLog 2.0. Includes a test learning page Adrián Arroyo Calle 2024-08-14 11:19:08 +02:00
  • 938401dbc6 flake.nix bakaq 2024-08-13 14:27:48 -03:00