rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions 1 Packages Projects Releases Wiki Activity
3,453 Commits 2 Branches 18 Tags
4520bedf8dfc454cc60ea196fbea75cdf2b4b1ca
Commit Graph
100 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Mark 4520bedf8d update release link 2023-11-02 17:32:33 -06:00
Mark 126d7bba57 bump version number to v0.9.3
CI / build-test (--no-default-features, ubuntu-22.04, true, nightly, wasm32-unknown-unknown) (push) Has been cancelled
Details
CI / build-test (macos-11, true, stable, x86_64-apple-darwin) (push) Has been cancelled
Details
CI / build-test (true, ubuntu-22.04, true, stable, x86_64-unknown-linux-gnu) (push) Has been cancelled
Details
CI / build-test (ubuntu-20.04, true, stable, x86_64-unknown-linux-gnu) (push) Has been cancelled
Details
CI / build-test (ubuntu-22.04, 1.70, x86_64-unknown-linux-gnu) (push) Has been cancelled
Details
CI / build-test (ubuntu-22.04, beta, x86_64-unknown-linux-gnu) (push) Has been cancelled
Details
CI / build-test (ubuntu-22.04, nightly, x86_64-unknown-linux-gnu) (push) Has been cancelled
Details
CI / build-test (ubuntu-22.04, true, stable, i686-unknown-linux-gnu) (push) Has been cancelled
Details
CI / build-test (windows-latest, true, stable, x86_64-pc-windows-msvc) (push) Has been cancelled
Details
CI / logtalk-test (push) Has been cancelled
Details
CI / release (push) Has been cancelled
Details
Docker Publish / build (push) Has been cancelled
Details
2023-11-02 17:01:54 -06:00
Mark Thom 575245c62f Merge pull request #1880 from coasys/library-use-case 
Programatic use of Machine / Scryer as library
 2023-11-02 16:50:01 -06:00
Mark dfd9e43405 correct (\+)/1 (#2141) 2023-10-31 23:58:59 -06:00
Mark 8f06ef965a remove non-conforming hyperbolic and log10 evaluable functors 2023-10-28 18:17:43 -06:00
Mark ae7cf15c70 fix signed modulus bug (#2134) 2023-10-28 18:13:42 -06:00
Mark Thom 469d2bd104 Merge pull request #2140 from aarroyoc/rename-to-upper 
Rename `to_upper` to `upper` and `to_lower` to `lower`
 2023-10-28 14:48:10 -06:00
Mark Thom f4e5426e97 Merge pull request #2137 from infogulch/master 
CI: compile wasm separately; default 22.04; matrix
 2023-10-26 14:07:18 -06:00
Mark ff19db0084 qualify dif/2 call in reinforce_goal (#2135) 2023-10-25 12:26:01 -06:00
Mark f10d7c05f9 correct char_type/2 (#2132) 2023-10-24 15:35:37 -06:00
Mark f80dff851b remove unnecessary macros inclusion in mock_wam.rs 2023-10-24 15:15:29 -06:00
Mark 63cbeb9a3c correct modulus bug (#2118, #2119) 2023-10-24 14:20:26 -06:00
Mark 773d3f81fd remove list remnants from stack iteration in printer when cyclic (#2131) 2023-10-24 14:10:11 -06:00
Mark 4ab3e23b1f fix cycle detection in lists by looking backward analogously to the same process for structures (#2130) 2023-10-24 12:23:05 -06:00
Mark d588b18c39 correct LIS backward bug in cycle_detection.rs 2023-10-23 13:28:44 -06:00
Mark 97b899f4a3 add STOP_AT_CYCLES const parameter for CycleDetectingIter 2023-10-23 12:05:13 -06:00
Mark 6a913bc4cc use Deutsch-Schorr-Waite to implement acyclic_term/1 (#2128) 2023-10-21 21:47:29 -06:00
Mark bf46c4b5c1 use topo_sort to correct acyclic_term (#2124, #2125) 2023-10-18 12:00:40 -06:00
Mark 43f0b6c28d fix cyclicity detection through variables (#2122, #2123) 2023-10-16 15:19:43 -06:00
Mark dff2e73842 more eagerly check for cyclicity of variables in cycle detecting stackless iterator (#2121) 2023-10-15 17:43:29 -06:00
Mark e2000859b6 add backward looking cyclicity check for variables in cycle detecting stackless iterator (#2111, #2117) 2023-10-15 13:07:41 -06:00
Mark 3a6aee72a3 correct is_cyclic again for non-variable ref cells (#2116) 2023-10-15 01:28:42 -06:00
Mark 3fb2e451a2 improve cycle detection in detect_list_cycles (#2111) 2023-10-15 00:58:19 -06:00
Mark 7875b96956 simplify stackless iterator is_cyclic (#2111) 2023-10-14 23:56:46 -06:00
Mark d96c9e00b7 correct more acyclic_term/1 issues (#2111, #2114), add acyclic_term tests 2023-10-14 18:38:10 -06:00
Mark 379c252b89 correct cyclic variable check in cycle detecting stackless iterator (#2111, #2113) 2023-10-14 14:03:47 -06:00
Mark 307cb56ef5 fix bugs & incompleteness of cycle-detecting stackless iterator (#2111) 2023-10-14 13:00:58 -06:00
Mark 669023914a add bounds checks for stackless iterator (#2110) 2023-10-14 12:11:22 -06:00
Mark e4a677ceea detect all cycles in roughly linear time and constant space (#2102) 2023-10-13 18:05:52 -06:00
Mark 8aadc99f1d fix bugs in marker algorithm iterator 2023-10-13 14:38:50 -06:00
Mark 1ea397a807 correct (mod)/2 (#2103, #2107) 2023-10-13 14:33:50 -06:00
Mark Thom b348f54c33 Merge pull request #2105 from triska/morphing_propagators 
ENHANCED: Omit unnecessary residual constraints in disentailed reified (//)/2
 2023-10-12 19:10:54 -06:00
Mark 1163d14ea1 fix control construct bugs, iter indentation (#947) 2023-10-11 12:41:45 -06:00
Mark b83631fb20 Merge branch 'master' of ssh://github.com/mthom/scryer-prolog 2023-10-11 10:11:50 -06:00
Mark 902b08e657 follow marked variables to end in eager_stackful_iter (#2100, #2101) 2023-10-10 20:45:08 -06:00
Mark b5fdde08aa follow marked variables to end in eager_stackful_iter (#2100, #2101) 2023-10-10 16:03:12 -06:00
Mark Thom 4962c3df11 Merge pull request #2098 from triska/morphing_propagators 
Queue morphed propagators to give them a chance for propagation
 2023-10-10 14:57:00 -06:00
Mark 77de570aa4 report pre-marked values from eager stackful iterator (#2097) 2023-10-10 12:56:27 -06:00
Mark Thom c9df19ca30 Merge pull request #2094 from triska/unary_minus 
ENHANCED: use (+)/2 to express unary minus
 2023-10-09 15:06:09 -06:00
Mark Thom 0ca2356be5 Merge pull request #2092 from triska/morphing_pexp 
attach the propagator to Y
 2023-10-09 15:05:59 -06:00
Mark Thom b149805b9e Merge pull request #2091 from triska/morphing_pexp 
ENHANCED: Omit projection of morphed (^)/2 in disentailed constraints.
 2023-10-09 13:43:25 -06:00
Mark Thom c6976c0f92 Merge pull request #2090 from triska/morphing_propagators 
FIXED: Queue triggered propagators to be processed after pexp/3 finishes
 2023-10-09 13:20:44 -06:00
Mark 4b9cf0952e do not push stack variables to the heap in term_variables (#2087) 2023-10-09 11:38:17 -06:00
Mark Thom 6d37684e9c Merge pull request #2088 from triska/morphing_propagators 
ENHANCED: Remove no longer needed morphed propagators.
 2023-10-08 12:45:45 -06:00
Mark Thom 11c1ee4481 Merge pull request #2085 from triska/reification_same_queue 
Use the same queue for variables in reified constraints
 2023-10-08 12:01:26 -06:00
Mark 1ab14ea519 mark both components of a PStrLoc (#2082) 2023-10-07 18:48:49 -06:00
Mark Thom c5c7c1913a Merge pull request #2080 from triska/reified_slash 
Corrections to reified (/)/2
 2023-10-06 15:31:13 -06:00
Mark fa68fa211c replace eager_stackful_iter's mark stack with a second unmark phase 2023-10-05 20:21:28 -06:00
Mark 0ad4427f83 use eager_stackful_preorder_iter in variable_set, add term_variables/1 tests 2023-10-04 15:12:25 -06:00
Mark 1bfdea7527 rewrite ground_test, add tests for ground/1 (#2075) 2023-10-04 14:17:03 -06:00
Mark 6c36d067d7 Revert "consider Str, PStrLoc in ElideLists of StackfulHeapIterator (#2075)" 
This reverts commit 1e60eeef34.
 2023-10-04 11:57:09 -06:00
Mark 1e60eeef34 consider Str, PStrLoc in ElideLists of StackfulHeapIterator (#2075) 2023-10-04 00:27:01 -06:00
Mark Thom 005570c90a Merge pull request #2076 from infogulch/master 
Pin logtalk to version before scryer support was removed
 2023-10-03 21:24:19 -06:00
Mark f9d44c93fd check for free variables in locations removed from iterator stack in ground_test (#2075) 2023-10-03 15:31:01 -06:00
Mark fd14869ddc correct cycle detection in ground/1 (#2073) 2023-10-03 12:07:36 -06:00
Mark Thom 07d7d3b13b Merge pull request #2074 from triska/expansion_simpler 
Revert "FIXED: corrections to expansion_simpler/2"
 2023-10-03 11:54:04 -06:00
Mark Thom 3ffea2d987 Merge pull request #2072 from aarroyoc/fix-urldecode 
Improved version of url_decode
 2023-10-02 16:06:35 -06:00
Mark Thom 770665a7b8 Merge pull request #2070 from triska/expansion_simpler 
FIXED: corrections to expansion_simpler/2
 2023-10-02 16:06:10 -06:00
Mark 27b971cbfa add registers to inlined instruction functors 2023-10-01 23:50:07 -06:00
Mark a1ceeb697a consider an '$aux' a relation of the unexpanded goal's variables in compile_inline_or_expanded_goal (#2062) 2023-10-01 23:49:55 -06:00
Mark 4a8aa0acbd throw instantiation_error from error/2 if Error_term uninstantiated (#2060) 2023-09-30 22:35:46 -06:00
Mark 6fa00b5b55 get rid of inference_limit_exceeded(B) as an error term (#2023) 2023-09-30 22:35:46 -06:00
Mark Thom c2218faf47 Merge pull request #2066 from bakaq/dif_tests 
Add tests for #2056
 2023-09-30 18:41:50 -06:00
Mark b065e1cd53 correct depth calculation for lists that are their own car (#1876) 2023-09-30 17:15:20 -06:00
Mark 7d6ce119f5 substitute names for cyclic variables permitted by max_depth > 0 in check_for_seen using a loop (#2057) 2023-09-30 16:47:13 -06:00
Mark 62c23166fa implement ListElisionPolicy to restore previous printer behavior 2023-09-30 16:00:15 -06:00
Mark 25afc11168 correct skipping of not fully visited lists in stackful heap iterator (#2056, #2063, #2065) 2023-09-30 15:24:30 -06:00
Mark 9e713406d3 correct max_depth marking for lists 2023-09-30 11:44:20 -06:00
Mark f33f641f11 further max_depth improvements 2023-09-29 12:07:12 -06:00
Mark ca2ddfeed0 improve max_depth write option (#1876, #2053) 2023-09-29 01:00:14 -06:00
Mark 11cd42379b do not deref AttrVar binding in redo_attr_var_binding (#2059) 2023-09-28 15:25:57 -06:00
Mark 40d3345cd5 revert throwing domain errors for unexpected forms of read-options (#2015) 2023-09-27 18:58:45 -06:00
Mark 035e214ef5 check for ChildCloseList in print_struct on [] (#2039) 2023-09-27 18:16:23 -06:00
Mark f630a8cc1a fix add_predicate_declaration bug not correctly identifying lists of predicate indicators (#2049, #2050, #2051, #2052) 2023-09-27 17:55:15 -06:00
Mark 0bfb08e464 remove debug symbols from release builds (#2054) 2023-09-27 13:53:33 -06:00
Mark Thom 5f6ae3857b Merge pull request #1998 from aarroyoc/warp-http-server 
Replace Hyper with Warp for HTTP server
 2023-09-27 13:35:46 -06:00
Mark 750544dd2a fix max_depth settings for partial strings on lists (#1876) 2023-09-27 13:34:24 -06:00
Mark Thom 841aaa78b4 Merge pull request #2048 from infogulch/master 
Build windows with msvc #1998; add ubuntu 22.04 target #2047
 2023-09-27 10:43:54 -06:00
Mark a6535c28ea remove module_resolution_error (#2035) 2023-09-26 14:06:21 -06:00
Mark 2efe95f2fb filter our builtins from current_predicate/1 (#153) 2023-09-26 13:46:21 -06:00
Mark 56992570d8 check for predicate_indicator list and sequence types in add_predicate_declaration (#1586) 2023-09-26 12:54:16 -06:00
Mark 39934208c3 throw instantiation_error when appropriate from parse_write_options_ (5.5.12 of the standard, #1965) 2023-09-26 12:08:51 -06:00
Mark 193bb313fd correct OutOfFiles resource error (#1375) 2023-09-26 11:22:56 -06:00
Mark e8334f9b67 add predicate indicator sequences to loader:add_predicate_declaration (#1586) 2023-09-26 11:21:47 -06:00
Mark 280ff8b5d0 throw an error instead of allowing builtin modules to be overwritten (#2042) 2023-09-25 19:21:34 -06:00
Mark 172bb9e96a Merge branch 'master' of ssh://github.com/mthom/scryer-prolog 2023-09-25 16:09:20 -06:00
Mark c04f1dea48 fix off-by-1 bug in '$skip_max_list'/4 (#2037) 2023-09-25 16:09:04 -06:00
Mark Thom 9114c982e0 Merge pull request #2032 from bakaq/phrase_from_stream 
Add phrase_from_stream/2 to library(pio)
 2023-09-25 12:04:33 -06:00
Mark Thom 75dcc3f276 Merge pull request #2040 from rujialiu/allow-cr 
Solves CRLF/CR issue by considering'\r' a `layout_char` #553 #2028
 2023-09-24 11:11:15 -06:00
Mark Thom 4be5fc6d43 Merge pull request #2038 from infogulch/patch-1 
Allow all matrix ci jobs to run to completion even if one fails
 2023-09-24 00:44:33 -06:00
Mark a5db117ef6 fix off-by-1 bug in ''/4 (#2037) 2023-09-23 18:32:32 -06:00
Mark 142e0c2c3a don't parse bracketed non-operators as functor terms (#2033) 2023-09-23 14:26:28 -06:00
Mark 1c8cd85f6c record compaction depth after reduce_op if '|' an operator (#1905) 2023-09-23 00:19:54 -06:00
Mark c547f67c54 add (now failing) test 317 to iso_conformity_tests.pl 2023-09-21 16:49:45 -06:00
Mark c26e9436b4 generalize multifile/dynamic/discontiguous declarations over lists of predicate indicators (#1586) 2023-09-21 16:22:41 -06:00
Mark b3239abea1 throw resource error if OpenOptions raises an error of uncategorized kind (#1375) 2023-09-21 14:36:53 -06:00
Mark Thom 81edd4592f Merge pull request #2027 from bakaq/dif 
Improvements to dif/2
 2023-09-21 11:32:38 -06:00
Mark Thom 7484433e2b Merge pull request #2026 from infogulch/master 
Simplify fn maybe
 2023-09-21 11:31:35 -06:00
Mark Thom 54a0313d72 Merge pull request #2025 from aarroyoc/random-seed 
Use a SeedableRng to generate random numbers
 2023-09-20 15:03:21 -06:00
Mark 9dc1c339ef remove unnecessary Result return type from read_term_from_heap 2023-09-15 14:10:42 -06:00