This website requires JavaScript.
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
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
Mark Thom
2019-10-20 14:50:46 -06:00
24e5e39c28
add order preserving tidy_trail, fix random_labeling/2
Mark Thom
2019-10-19 00:29:50 -06:00
ab9a14cc6a
add randomness predicates, small but consequential changes to TrailRef
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
Mark Thom
2019-10-16 11:38:33 -03:00
b6a2e26a4f
bump toml version number to package clpb on crates
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
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
Mark Thom