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

Commit Graph

  • 3d2c4f0801 add backtracking of attributed variable data Mark Thom 2019-12-06 20:52:40 -04:00
  • 5ccd334555 resolve panic caused by lingering attribute goals (#253) Mark Thom 2019-12-06 15:22:28 -04:00
  • 90e1c990e5 print equations between variables (#228, #252) Mark Thom 2019-12-06 10:30:16 -04:00
  • 018b076835 binding attributed variables more eagerly after each implementation of verify_attributes/3 has been called (#248) Mark Thom 2019-12-05 00:33:46 -07:00
  • 9ae029b04d pop AND stack frames after unwinding the trail (#250) Mark Thom 2019-12-03 23:11:57 -07:00
  • 43b39538ff correct attributed variables bugs Mark Thom 2019-12-03 22:59:51 -07:00
  • 738ea59e23 fix copy_term/3 infinite looping on cyclic terms Mark Thom 2019-12-03 22:01:38 -07:00
  • 33c60d3434 Merge branch 'master' of https://github.com/mthom/rusty-wam Mark Thom 2019-12-02 19:38:15 -07:00
  • 607673ddcb Merge branch 'master' of https://github.com/mthom/scryer-prolog Mark Thom 2019-12-02 17:06:28 -04:00
  • fc8e55c582 correct copying of cyclic lists in copier.rs Mark Thom 2019-12-02 17:06:12 -04:00
  • 943e5eeb35 correct misprinting of attributed variables done by printer Mark Thom 2019-12-01 21:46:04 -07:00
  • 52488b875a add predicates to lists.pl Mark Thom 2019-12-01 19:30:40 -07:00
  • c362cc6d34 fix list copying Mark Thom 2019-12-01 15:28:47 -07:00
  • 406d3520f1 delete freeze attribute in freeze::attribute_goals//1 Mark Thom 2019-12-01 14:43:27 -07:00
  • 9b71866b54 properly copy attributed variables (#247)" Mark Thom 2019-12-01 14:42:59 -07:00
  • e48f87fcf0 clear ball before setting it (#246) Mark Thom 2019-12-01 03:04:01 -07:00
  • 77e83a390c add sumlist/2 to lists.pl Mark Thom 2019-11-30 14:26:15 -07:00
  • 27b659c401 add sumlist/2 to lists.pl Mark Thom 2019-11-30 14:22:59 -07:00
  • a4cacaeab2 compress the definition of freeze:attribute_goals//1 Mark Thom 2019-11-30 14:12:33 -07:00
  • 0eb20a5d8e pop AND frames when safe to do so, suspend resizing of AND frames until a proper GC is implemented (#244) Mark Thom 2019-11-30 14:08:02 -07:00
  • 3e49db1a29 backtrack attributed variable bindings after failure (#242) Mark Thom 2019-11-29 13:47:22 -04:00
  • 2d719ab6b7 create a list of module-prefixed goals in copy_term/3 Mark Thom 2019-11-29 10:59:20 -04:00
  • 34745f6242 clone attribute goals from copy_term/3, fetch attribute goals should be a move Mark Thom 2019-11-29 00:59:31 -07:00
  • 9c9c484ee4 add copy_term/3 (#232) Mark Thom 2019-11-29 00:44:23 -07:00
  • f998d6a99f merge latest commit Mark Thom 2019-11-28 21:22:59 -04:00
  • 335202b9d9 reset attributed variable state between toplevel queries (#242) Mark Thom 2019-11-28 19:08:08 -07:00
  • 5723edd765 unsafe stack transition Mark Thom 2019-11-28 21:22:03 -04:00
  • 7eb0de7f52 preserve heap contents in between goal expansions (#240, #241) Mark Thom 2019-11-28 00:45:13 -07:00
  • 9ae901bd0d terms containing attributed variables are not ground (#239) Mark Thom 2019-11-27 14:13:18 -04:00
  • 1dec482e22 use in situ code directory from metacall if conventional lookup fails (#238) Mark Thom 2019-11-27 00:52:30 -07:00
  • 0a665b79f2 add (:)/{3..12} to enable metacalls on module-prefixed predicates Mark Thom 2019-11-26 20:51:59 -07:00
  • c3c53017f9 add ambiguity check for period printing, remove extraneous space between last goal and period (#237) Mark Thom 2019-11-26 19:38:43 -07:00
  • 834c57466f add operator exports to module declarations, treat them separately from predicate exports (#230)" Mark Thom 2019-11-25 23:09:49 -07:00
  • 4e887e3a87 generate module-level expansion code along with rest of module code Mark Thom 2019-11-24 15:47:34 -07:00
  • 7bf6a230f3 record module-level term_expansion and goal_expansion as inner predicates (#228) Mark Thom 2019-11-24 12:50:53 -07:00
  • 24ffdc2724 correct bug, dead code in toplevel.pl Mark Thom 2019-11-22 20:38:03 -07:00
  • 6899f051ac Merge branch 'master' of https://github.com/mthom/rusty-wam Mark Thom 2019-11-21 18:05:09 -07:00
  • d9d77b3022 Merge branch 'master' of https://github.com/mthom/scryer-prolog Mark Thom 2019-11-21 16:26:13 -04:00
  • b31b23e41c add conditional bracketing to equations printed by toplevel Mark Thom 2019-11-21 16:26:00 -04:00
  • 16418a47a8 Merge branch 'master' of https://github.com/mthom/rusty-wam Mark Thom 2019-11-20 23:50:54 -07:00
  • 1139b3b4c1 small test updates Mark Thom 2019-11-20 23:50:51 -07:00
  • 3277ecd13d Merge pull request #226 from malbarbo/num Mark Thom 2019-11-20 23:51:55 -04:00
  • 37ff4a821c Add feature num to use num crate in place of rug. Marco A L Barbosa 2019-08-01 08:25:24 -03:00
  • f82c6f3fed avoid overwriting IndexPtr's for clauses already declared dynamic (#227) Mark Thom 2019-11-20 10:50:33 -04:00
  • d3842bb070 Merge pull request #234 from XVilka/patch-2 Mark Thom 2019-11-19 20:14:00 -04:00
  • 2ab745016a Merge branch 'master' of https://github.com/mthom/rusty-wam Mark Thom 2019-11-19 20:09:44 -07:00
  • 5aaba8534f bump prolog_parser to version 0.8.35 Mark Thom 2019-11-19 20:09:28 -07:00
  • 2b625b1094 commit Cargo.lock Mark Thom 2019-11-19 20:08:52 -07:00
  • 17f9695ab2 remove tests.rs module from main.rs Mark Thom 2019-11-19 10:13:59 -04:00
  • c0a49b6a66 Fix README formatting Anton Kochkov 2019-11-19 18:48:46 +08:00
  • 66bebff01e add setup_call_cleanup tests, expand builtins tests Mark Thom 2019-11-18 23:17:56 -07:00
  • 6f9477f0bb rollback changes in snapshot handling Mark Thom 2019-11-17 21:07:16 -04:00
  • de88fdc4dc correct failure to observe last call position in queries' Mark Thom 2019-11-17 20:18:11 -04:00
  • c219d9ad5f Merge branch 'master' of https://github.com/mthom/scryer-prolog Mark Thom 2019-11-16 19:53:29 -04:00
  • 17b2510480 update version number v0.8.116 Mark Thom 2019-11-16 19:18:41 -07:00
  • bcfd7cbf8d begin migrating tests to pure prolog, correct bug in toplevel Mark Thom 2019-11-16 19:15:07 -07:00
  • cee3dbc453 quote values and goals in equations, eliminate dead code, correct retract/1 Mark Thom 2019-11-16 17:15:25 -07:00
  • 15927d7054 transition to unsafe and/or stack Mark Thom 2019-11-16 19:51:53 -04:00
  • ed985c3cfe move more of the toplevel from rust into prolog Mark Thom 2019-11-16 00:26:15 -07:00
  • 4ad62e4606 add warnings when initialization goals fail (#168) Mark Thom 2019-10-30 00:25:17 -06:00
  • d34811aa36 handle asserts in modules a little better (#223, #224) Mark Thom 2019-10-30 00:14:36 -06:00
  • b90d69a45b install asserted predicates into modules from initialization directives (#222) Mark Thom 2019-10-29 00:06:51 -06:00
  • 81f220a4d2 replace \n\r and \r\n by \n (#221) Mark Thom 2019-10-27 20:50:21 -06:00
  • e594ade84d finish #214, add needed ambiguity checks if 0 is the final character Mark Thom 2019-10-27 19:23:35 -06:00
  • 0dcd9e5805 correct sign/1 (#216) Mark Thom 2019-10-27 14:18:32 -06:00
  • 67a00e4deb update to prolog_parser v0.8.34 with increased MAX_ARITY (#218) Mark Thom 2019-10-27 13:10:32 -06:00
  • e656e7fbae add sign/1 (#216) and gcd/2 (#217) as evaluable functors, update the README Mark Thom 2019-10-27 13:05:05 -06:00
  • 0fdf0d8d06 correct #215 by fixing bug in ambiguity_check Mark Thom 2019-10-27 12:32:18 -06:00
  • 7cdbd2f16c add consult/1 and shorthand for consult/1 (#214) Mark Thom 2019-10-27 11:33:49 -06:00
  • ccfcc654a5 remove module from toplevel in unqualified use_module Mark Thom 2019-10-26 12:39:42 -06:00
  • 2eea0528b1 remove all mention of [clear] from the README Mark Thom 2019-10-26 01:35:26 -06:00
  • a358431d30 reload files properly (re: #213) Mark Thom 2019-10-26 01:34:41 -06:00
  • e9c1556c32 remove scratch comments from clpb.pl Mark Thom 2019-10-22 21:19:01 -06:00
  • 1b1879a6fa fix attributed variables bug causing weighted_maximum/3 example to omit a variable binding v0.8.115 Mark Thom 2019-10-20 14:50:46 -06:00
  • 24e5e39c28 add order preserving tidy_trail, fix random_labeling/2 v0.8.114 Mark Thom 2019-10-19 00:29:50 -06:00
  • ab9a14cc6a add randomness predicates, small but consequential changes to TrailRef v0.8.113 Mark Thom 2019-10-17 00:21:21 -06:00
  • a641822a1b Merge pull request #206 from triska/master Mark Thom 2019-10-16 16:17:05 -03:00
  • 145fee0d36 weighted_maximum/3 now works Markus Triska 2019-10-16 19:17:03 +02:00
  • 567af2648c support must_be(var, ...) Markus Triska 2019-10-16 19:13:59 +02:00
  • 42a3bdc357 eliminate lingering attribute goals v0.8.112 Mark Thom 2019-10-16 11:38:33 -03:00
  • b6a2e26a4f bump toml version number to package clpb on crates v0.8.111 Mark Thom 2019-10-16 09:59:41 -03:00
  • 1557e4705a Merge pull request #204 from triska/master Mark Thom 2019-10-16 02:45:21 -03:00
  • ee32e49528 ADDED: CLP(B), Constraint Logic Programming over Boolean Variables Markus Triska 2019-10-16 06:53:34 +02:00
  • ca27234275 deallocate old stack frames (#201), start using tags, fix a panic! associated with partial strings v0.8.110 Mark Thom 2019-10-15 22:54:12 -06:00
  • 9f7d89a3e8 re: issue #199 Mark Thom 2019-10-15 02:37:01 -06:00
  • c4269b87c2 re: issues #200, #201 Mark Thom 2019-10-15 00:42:55 -06:00
  • be7f855d7a Merge pull request #198 from XVilka/patch-2 Mark Thom 2019-10-14 10:18:43 -03:00
  • 734f103f0a Merge pull request #197 from dingelish/edition Mark Thom 2019-10-14 10:18:18 -03:00
  • cdc47c1a7b Run tests on Travis Anton Kochkov 2019-10-14 17:46:09 +08:00
  • adb469f627 Upgrade to edition. Bump up edition in Cargo.toml Yu Ding 2019-10-09 15:26:37 -07:00
  • 7f297eb064 Merge pull request #191 from dingelish/master Mark Thom 2019-10-14 00:59:03 -03:00
  • 83ead46e13 re: issue #196 Mark Thom 2019-10-14 00:07:22 -06:00
  • da89b1af63 handle TCO when setting up verify_attributes interrupts Mark Thom 2019-10-13 14:13:52 -06:00
  • 249b613e36 remove nondeterminism from put_atts as a result of lists.pl reversion Mark Thom 2019-10-12 19:57:08 -06:00
  • 1d41489381 correct off by 1 error in verify_attrs_interrupt, revert to previous lists.pl Mark Thom 2019-10-12 19:14:33 -06:00
  • 8c4c70b089 fix verify_attributes_stepper bug: proceed now considered a head instruction Mark Thom 2019-10-12 03:26:50 -06:00
  • 5893ff4231 correct latest out of bounds panic, use first argument indexing in maplists/{2..9} Mark Thom 2019-10-12 01:20:42 -06:00
  • 9b789629c9 Fix some old Rust codes Yu Ding 2019-10-09 14:56:50 -07:00
  • f898b98b06 copy terms to global variable blackboard, fix attribute_goals//1 Mark Thom 2019-10-09 14:11:31 -06:00
  • 3409db010f fix several issues with goal expansion, crashing after attribute_goals is called Mark Thom 2019-10-08 12:28:23 -06:00