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

Commit Graph

  • f4e5426e97 Merge pull request #2137 from infogulch/master Mark Thom 2023-10-26 14:07:18 -06:00
  • 6bae789bd6 CI: compile wasm separately; default 22.04; matrix infogulch 2023-10-25 23:29:07 -05:00
  • ff19db0084 qualify dif/2 call in reinforce_goal (#2135) Mark 2023-10-25 12:26:01 -06:00
  • f10d7c05f9 correct char_type/2 (#2132) Mark 2023-10-24 15:35:37 -06:00
  • f80dff851b remove unnecessary macros inclusion in mock_wam.rs Mark 2023-10-24 15:15:29 -06:00
  • 63cbeb9a3c correct modulus bug (#2118, #2119) Mark 2023-10-24 14:20:26 -06:00
  • 773d3f81fd remove list remnants from stack iteration in printer when cyclic (#2131) Mark 2023-10-24 14:10:11 -06:00
  • 4ab3e23b1f fix cycle detection in lists by looking backward analogously to the same process for structures (#2130) Mark 2023-10-24 12:23:05 -06:00
  • d588b18c39 correct LIS backward bug in cycle_detection.rs Mark 2023-10-23 13:28:44 -06:00
  • 97b899f4a3 add STOP_AT_CYCLES const parameter for CycleDetectingIter Mark 2023-10-23 12:03:25 -06:00
  • 6a913bc4cc use Deutsch-Schorr-Waite to implement acyclic_term/1 (#2128) Mark 2023-10-21 21:37:27 -06:00
  • bf46c4b5c1 use topo_sort to correct acyclic_term (#2124, #2125) Mark 2023-10-18 11:58:04 -06:00
  • 69a0725c30 Cleanup Cargo.toml Nicolas Luck 2023-10-17 22:09:34 +02:00
  • 0c9740fe52 Fix wasm warnings Nicolas Luck 2023-10-17 22:07:38 +02:00
  • 43f0b6c28d fix cyclicity detection through variables (#2122, #2123) Mark 2023-10-16 14:20:40 -06:00
  • 2776beb842 Use std::sync::RwLock instead of tokio::sync::RwLock (by @aarroyoc) Nicolas Luck 2023-10-16 14:59:06 +02:00
  • d7fa6c0ade Fix signalling of success/failure (by @mthom) Nicolas Luck 2023-10-16 14:56:17 +02:00
  • 025412aac0 Revert "Remove unuse import" Nicolas Luck 2023-10-16 14:55:38 +02:00
  • bfa7d3cf41 Remove unuse import Nicolas Luck 2023-10-16 13:44:51 +02:00
  • 9990780b82 Merge branch 'master' into library-use-case Nicolas Luck 2023-10-16 13:43:26 +02:00
  • dff2e73842 more eagerly check for cyclicity of variables in cycle detecting stackless iterator (#2121) Mark 2023-10-15 15:14:38 -06:00
  • e2000859b6 add backward looking cyclicity check for variables in cycle detecting stackless iterator (#2111, #2117) Mark 2023-10-15 13:07:41 -06:00
  • 3a6aee72a3 correct is_cyclic again for non-variable ref cells (#2116) Mark 2023-10-15 01:28:42 -06:00
  • 3fb2e451a2 improve cycle detection in detect_list_cycles (#2111) Mark 2023-10-15 00:58:15 -06:00
  • 7875b96956 simplify stackless iterator is_cyclic (#2111) Mark 2023-10-14 23:56:46 -06:00
  • d96c9e00b7 correct more acyclic_term/1 issues (#2111, #2114), add acyclic_term tests Mark 2023-10-14 16:37:18 -06:00
  • 379c252b89 correct cyclic variable check in cycle detecting stackless iterator (#2111, #2113) Mark 2023-10-14 14:03:47 -06:00
  • 307cb56ef5 fix bugs & incompleteness of cycle-detecting stackless iterator (#2111) Mark 2023-10-14 13:00:58 -06:00
  • 62e6ca02f9 Reify (^)/2 notoria 2023-10-14 16:15:03 +02:00
  • c6fcbe20e1 Trigger propagator for popcount/1 notoria 2023-10-14 16:13:52 +02:00
  • a1b71f0440 Trigger propagator for sign/1 notoria 2023-10-14 16:11:59 +02:00
  • dc08c26d9f Trigger propagator for (xor)/2 notoria 2023-10-14 16:10:31 +02:00
  • 669023914a add bounds checks for stackless iterator (#2110) Mark 2023-10-14 12:05:57 -06:00
  • e4a677ceea detect all cycles in roughly linear time and constant space (#2102) Mark 2023-10-12 23:16:35 -06:00
  • 8aadc99f1d fix bugs in marker algorithm iterator Mark 2023-10-12 11:22:57 -06:00
  • 1ea397a807 correct (mod)/2 (#2103, #2107) Mark 2023-10-13 14:33:36 -06:00
  • b348f54c33 Merge pull request #2105 from triska/morphing_propagators Mark Thom 2023-10-12 19:10:54 -06:00
  • 721cf20cf7 shift morphing to the more general p/2 case Markus Triska 2023-10-12 23:01:37 +02:00
  • 6ed9a99832 ENHANCED: Omit unnecessary residual constraints in disentailed reified (//)/2 Markus Triska 2023-10-12 21:04:22 +02:00
  • 1163d14ea1 fix control construct bugs, iter indentation (#947) Mark 2023-10-11 12:41:45 -06:00
  • b83631fb20 Merge branch 'master' of ssh://github.com/mthom/scryer-prolog Mark 2023-10-11 10:11:50 -06:00
  • 902b08e657 follow marked variables to end in eager_stackful_iter (#2100, #2101) Mark 2023-10-10 16:02:38 -06:00
  • b5fdde08aa follow marked variables to end in eager_stackful_iter (#2100, #2101) Mark 2023-10-10 16:02:38 -06:00
  • 4962c3df11 Merge pull request #2098 from triska/morphing_propagators Mark Thom 2023-10-10 14:57:00 -06:00
  • 8de3498e07 use round brackets around operators to form valid Prolog terms Markus Triska 2023-10-10 19:54:12 +02:00
  • 26fdf83a48 update comment to reflect the used propagators Markus Triska 2023-10-10 19:53:26 +02:00
  • 32af047925 remove definition and calls of do_queue/0, which has become a NOP Markus Triska 2023-10-10 19:49:48 +02:00
  • 282633c877 ENHANCED: Queue morphed propagators to give them a chance for propagation. Markus Triska 2023-10-10 19:42:42 +02:00
  • 77de570aa4 report pre-marked values from eager stackful iterator (#2097) Mark 2023-10-10 11:13:42 -06:00
  • c9df19ca30 Merge pull request #2094 from triska/unary_minus Mark Thom 2023-10-09 15:06:09 -06:00
  • 7c1cd18a06 Z --> Y Markus Triska 2023-10-09 23:13:09 +02:00
  • 0ca2356be5 Merge pull request #2092 from triska/morphing_pexp Mark Thom 2023-10-09 15:05:59 -06:00
  • 8329d222cb ENHANCED: use (+)/2 to express unary minus Markus Triska 2023-10-09 22:59:51 +02:00
  • 1c3df1cdd7 attach the propagator to Y Markus Triska 2023-10-09 21:55:11 +02:00
  • b149805b9e Merge pull request #2091 from triska/morphing_pexp Mark Thom 2023-10-09 13:43:25 -06:00
  • 99348ec309 ENHANCED: Omit projection of morphed (^)/2 in disentailed constraints. Markus Triska 2023-10-09 21:31:44 +02:00
  • c6976c0f92 Merge pull request #2090 from triska/morphing_propagators Mark Thom 2023-10-09 13:20:44 -06:00
  • cacc7f3193 FIXED: Queue triggered propagators to be processed after pexp/3 finishes Markus Triska 2023-10-09 20:42:28 +02:00
  • 4b9cf0952e do not push stack variables to the heap in term_variables (#2087) Mark 2023-10-09 11:38:01 -06:00
  • 6d37684e9c Merge pull request #2088 from triska/morphing_propagators Mark Thom 2023-10-08 12:45:45 -06:00
  • 743412de33 ENHANCED: Remove no longer needed morphed propagators. Markus Triska 2023-10-08 18:41:02 +02:00
  • 11c1ee4481 Merge pull request #2085 from triska/reification_same_queue Mark Thom 2023-10-08 12:01:26 -06:00
  • f34703a279 remove no longer needed goal projection for pdiv Markus Triska 2023-10-08 12:07:17 +02:00
  • 5cce8ddd7d ENHANCED: avoid pending residual constraints in disentailed reified (div)/2 Markus Triska 2023-10-08 11:53:06 +02:00
  • ff63eacf2c replace list//1 by seq//1 from library(dcgs) Markus Triska 2023-10-08 11:28:52 +02:00
  • 8121dce2a4 instead of prdiv, use ptimes directly Markus Triska 2023-10-08 09:43:59 +02:00
  • 4d910f6bfe FIXED: variables in reified propagators must share the same queue Markus Triska 2023-10-08 09:43:10 +02:00
  • 51c00fce57 adapt query to Scryer Prolog Markus Triska 2023-10-08 09:26:22 +02:00
  • 1ab14ea519 mark both components of a PStrLoc (#2082) Mark 2023-10-07 18:48:49 -06:00
  • c5c7c1913a Merge pull request #2080 from triska/reified_slash Mark Thom 2023-10-06 15:31:13 -06:00
  • 3fc969b38b reorder and realign entries to form a contiguous group starting with d(D) Markus Triska 2023-10-06 22:58:56 +02:00
  • 7ed38d6c6c FIXED: reification of (/)/2 for undefined subexpressions Markus Triska 2023-10-06 22:55:46 +02:00
  • fa68fa211c replace eager_stackful_iter's mark stack with a second unmark phase Mark 2023-10-05 20:21:28 -06:00
  • 69cf2c36bc Deactivate tokio runtime respawning on interrupt Nicolas Luck 2023-10-05 12:11:28 +02:00
  • 640c637ca8 Merge branch 'master' into library-use-case Nicolas Luck 2023-10-05 12:06:30 +02:00
  • 0ad4427f83 use eager_stackful_preorder_iter in variable_set, add term_variables/1 tests Mark 2023-10-04 15:12:25 -06:00
  • 1bfdea7527 rewrite ground_test, add tests for ground/1 (#2075) Mark 2023-10-04 13:22:21 -06:00
  • 6c36d067d7 Revert "consider Str, PStrLoc in ElideLists of StackfulHeapIterator (#2075)" Mark 2023-10-04 11:57:09 -06:00
  • 1e60eeef34 consider Str, PStrLoc in ElideLists of StackfulHeapIterator (#2075) Mark 2023-10-04 00:26:44 -06:00
  • 005570c90a Merge pull request #2076 from infogulch/master Mark Thom 2023-10-03 21:24:19 -06:00
  • c070fbec62 Pin logtalk to version before scryer support was removed infogulch 2023-10-03 20:51:50 -05:00
  • f9d44c93fd check for free variables in locations removed from iterator stack in ground_test (#2075) Mark 2023-10-03 15:31:01 -06:00
  • fab5ca9440 Fix nested List parsing Nicolas Luck 2023-10-03 20:19:50 +02:00
  • 7b128a9f00 Handle stub_b = b as false Nicolas Luck 2023-10-03 20:12:11 +02:00
  • fd14869ddc correct cycle detection in ground/1 (#2073) Mark 2023-10-03 12:04:10 -06:00
  • 07d7d3b13b Merge pull request #2074 from triska/expansion_simpler Mark Thom 2023-10-03 11:54:04 -06:00
  • 7c10683e46 Revert "FIXED: corrections to expansion_simpler/2" Markus Triska 2023-10-03 19:15:17 +02:00
  • 3ffea2d987 Merge pull request #2072 from aarroyoc/fix-urldecode Mark Thom 2023-10-02 16:06:35 -06:00
  • 770665a7b8 Merge pull request #2070 from triska/expansion_simpler Mark Thom 2023-10-02 16:06:10 -06:00
  • 93ff049e54 Improved version of url_decode Adrián Arroyo Calle 2023-10-02 23:49:09 +02:00
  • f3b848537a FIXED: corrections to expansion_simpler/2 Markus Triska 2023-10-02 23:17:06 +02:00
  • 27b971cbfa add registers to inlined instruction functors Mark 2023-10-01 18:55:31 -06:00
  • a1ceeb697a consider an '$aux' a relation of the unexpanded goal's variables in compile_inline_or_expanded_goal (#2062) Mark 2023-10-01 17:11:26 -06:00
  • 4a8aa0acbd throw instantiation_error from error/2 if Error_term uninstantiated (#2060) Mark 2023-09-30 22:22:01 -06:00
  • 6fa00b5b55 get rid of inference_limit_exceeded(B) as an error term (#2023) Mark 2023-09-30 22:20:50 -06:00
  • c2218faf47 Merge pull request #2066 from bakaq/dif_tests Mark Thom 2023-09-30 18:41:50 -06:00
  • 21c61b6e3a Add tests for #2056 bakaq 2023-09-30 21:33:42 -03:00
  • b065e1cd53 correct depth calculation for lists that are their own car (#1876) Mark 2023-09-30 17:15:20 -06:00
  • 7d6ce119f5 substitute names for cyclic variables permitted by max_depth > 0 in check_for_seen using a loop (#2057) Mark 2023-09-30 16:47:13 -06:00
  • 62c23166fa implement ListElisionPolicy to restore previous printer behavior Mark 2023-09-30 16:00:15 -06:00