]>
Repositorios git - scryer-prolog.git/log
Mark Thom [Sun, 16 Feb 2020 23:30:36 +0000 (16:30 -0700)]
use raw_block.rs for the heap backend
Mark Thom [Fri, 14 Feb 2020 03:05:46 +0000 (20:05 -0700)]
change raw_vec to raw_block to avoid clashes with liballoc package
Mark Thom [Thu, 13 Feb 2020 06:52:30 +0000 (23:52 -0700)]
allow the frontier of the RawVec to be offset by a trait function
Mark Thom [Thu, 13 Feb 2020 06:34:05 +0000 (23:34 -0700)]
move bump allocation logic to its own module
Mark Thom [Thu, 13 Feb 2020 05:12:42 +0000 (22:12 -0700)]
remove partial strings, but represent strings as lists when warranted by double_quotes
Mark Thom [Thu, 6 Feb 2020 17:12:57 +0000 (10:12 -0700)]
correct improper use of multifile directive in tabling/wrapper.pl
Mark Thom [Wed, 5 Feb 2020 06:39:49 +0000 (23:39 -0700)]
print extended characters recently added to alpha char set
Mark Thom [Wed, 5 Feb 2020 06:35:03 +0000 (23:35 -0700)]
prolog_parser version bump
Mark Thom [Wed, 5 Feb 2020 00:49:20 +0000 (17:49 -0700)]
recommit Cargo.lock
Mark Thom [Wed, 5 Feb 2020 00:47:57 +0000 (17:47 -0700)]
version bump, README.md tweak
Mark Thom [Mon, 3 Feb 2020 05:52:17 +0000 (22:52 -0700)]
enable cross-query memoization in the tabling library
Mark Thom [Mon, 3 Feb 2020 05:34:54 +0000 (22:34 -0700)]
remove tabling/SLG resolution from nice-to-have list
Mark Thom [Mon, 3 Feb 2020 05:24:48 +0000 (22:24 -0700)]
add tabling library, update README, make Cargo.toml non-local
Mark Thom [Mon, 3 Feb 2020 05:13:14 +0000 (22:13 -0700)]
add multifile and module scoped predicates
Mark Thom [Mon, 27 Jan 2020 03:19:44 +0000 (20:19 -0700)]
update README
Mark Thom [Mon, 27 Jan 2020 03:17:52 +0000 (20:17 -0700)]
add preliminary multifile declaration support
Mark Thom [Thu, 23 Jan 2020 05:08:42 +0000 (22:08 -0700)]
use atom_concat in gensym.pl
Mark Thom [Tue, 21 Jan 2020 03:59:30 +0000 (20:59 -0700)]
don't hold on to popped or frames
Mark Thom [Mon, 20 Jan 2020 03:56:11 +0000 (20:56 -0700)]
correct bug in bb_b_put, correct stack truncation bug resulting in erroneous failures (affecting issue #255 and the in-progress tabling library)
Mark Thom [Tue, 14 Jan 2020 04:01:09 +0000 (21:01 -0700)]
add prefixes to gensym keys
Mark Thom [Tue, 14 Jan 2020 03:30:58 +0000 (20:30 -0700)]
add simple gensym library
Mark Thom [Tue, 14 Jan 2020 03:17:22 +0000 (20:17 -0700)]
add listing sources to modules
Mark Thom [Fri, 3 Jan 2020 07:47:56 +0000 (00:47 -0700)]
Merge branch 'master' of https://github.com/mthom/rusty-wam
Mark Thom [Mon, 23 Dec 2019 19:19:18 +0000 (12:19 -0700)]
implement less defaulty interface in cont.pl
Mark Thom [Mon, 23 Dec 2019 18:49:20 +0000 (11:49 -0700)]
remove l* languages
Mark Thom [Sat, 21 Dec 2019 05:27:49 +0000 (22:27 -0700)]
push of preliminary delimited continuations library cont.pl (#136)
Mark Thom [Fri, 20 Dec 2019 00:04:30 +0000 (20:04 -0400)]
merge with master
Mark Thom [Fri, 20 Dec 2019 00:02:10 +0000 (20:02 -0400)]
preliminary cont work
Mark Thom [Fri, 13 Dec 2019 03:34:50 +0000 (20:34 -0700)]
use Addr::StackCell(0,0) to indicate non-live local variables
Mark Thom [Thu, 12 Dec 2019 04:42:15 +0000 (21:42 -0700)]
expand goals inside (\+)/1
Mark Thom [Wed, 11 Dec 2019 04:36:02 +0000 (21:36 -0700)]
change goal and term expansions, change call/N to use goal expansions
Mark Thom [Sun, 8 Dec 2019 18:44:01 +0000 (11:44 -0700)]
correct odd accidental change to clpb.pl
Mark Thom [Sun, 8 Dec 2019 18:43:22 +0000 (11:43 -0700)]
remove zeroing out from Stack::truncate
Mark Thom [Sun, 8 Dec 2019 07:17:55 +0000 (00:17 -0700)]
revert arithmetic code
Mark Thom [Sun, 8 Dec 2019 02:21:09 +0000 (19:21 -0700)]
update tests
Mark Thom [Sun, 8 Dec 2019 01:59:03 +0000 (18:59 -0700)]
reconcile latest changes against stack changes
Mark Thom [Sat, 7 Dec 2019 00:52:40 +0000 (20:52 -0400)]
add backtracking of attributed variable data
Mark Thom [Fri, 6 Dec 2019 19:22:28 +0000 (15:22 -0400)]
resolve panic caused by lingering attribute goals (#253)
Mark Thom [Fri, 6 Dec 2019 14:30:16 +0000 (10:30 -0400)]
print equations between variables (#228, #252)
Mark Thom [Thu, 5 Dec 2019 07:33:46 +0000 (00:33 -0700)]
binding attributed variables more eagerly after each implementation of verify_attributes/3 has been called (#248)
Mark Thom [Wed, 4 Dec 2019 06:11:57 +0000 (23:11 -0700)]
pop AND stack frames after unwinding the trail (#250)
Mark Thom [Wed, 4 Dec 2019 05:59:51 +0000 (22:59 -0700)]
correct attributed variables bugs
Mark Thom [Wed, 4 Dec 2019 05:01:38 +0000 (22:01 -0700)]
fix copy_term/3 infinite looping on cyclic terms
Mark Thom [Tue, 3 Dec 2019 02:38:15 +0000 (19:38 -0700)]
Merge branch 'master' of https://github.com/mthom/rusty-wam
Mark Thom [Mon, 2 Dec 2019 21:06:28 +0000 (17:06 -0400)]
Merge branch 'master' of https://github.com/mthom/scryer-prolog
Mark Thom [Mon, 2 Dec 2019 21:06:12 +0000 (17:06 -0400)]
correct copying of cyclic lists in copier.rs
Mark Thom [Mon, 2 Dec 2019 04:46:04 +0000 (21:46 -0700)]
correct misprinting of attributed variables done by printer
Mark Thom [Mon, 2 Dec 2019 02:30:40 +0000 (19:30 -0700)]
add predicates to lists.pl
Mark Thom [Sun, 1 Dec 2019 22:28:47 +0000 (15:28 -0700)]
fix list copying
Mark Thom [Sun, 1 Dec 2019 21:43:27 +0000 (14:43 -0700)]
delete freeze attribute in freeze::attribute_goals//1
Mark Thom [Sun, 1 Dec 2019 21:42:59 +0000 (14:42 -0700)]
properly copy attributed variables (#247)"
Mark Thom [Sun, 1 Dec 2019 10:04:01 +0000 (03:04 -0700)]
clear ball before setting it (#246)
Mark Thom [Sat, 30 Nov 2019 21:26:15 +0000 (14:26 -0700)]
add sumlist/2 to lists.pl
Mark Thom [Sat, 30 Nov 2019 21:22:59 +0000 (14:22 -0700)]
add sumlist/2 to lists.pl
Mark Thom [Sat, 30 Nov 2019 21:12:33 +0000 (14:12 -0700)]
compress the definition of freeze:attribute_goals//1
Mark Thom [Sat, 30 Nov 2019 21:08:02 +0000 (14:08 -0700)]
pop AND frames when safe to do so, suspend resizing of AND frames until a proper GC is implemented (#244)
Mark Thom [Fri, 29 Nov 2019 17:47:22 +0000 (13:47 -0400)]
backtrack attributed variable bindings after failure (#242)
Mark Thom [Fri, 29 Nov 2019 14:59:20 +0000 (10:59 -0400)]
create a list of module-prefixed goals in copy_term/3
Mark Thom [Fri, 29 Nov 2019 07:59:31 +0000 (00:59 -0700)]
clone attribute goals from copy_term/3, fetch attribute goals should be a move
Mark Thom [Fri, 29 Nov 2019 07:44:23 +0000 (00:44 -0700)]
add copy_term/3 (#232)
Mark Thom [Fri, 29 Nov 2019 02:08:08 +0000 (19:08 -0700)]
reset attributed variable state between toplevel queries (#242)
Mark Thom [Fri, 29 Nov 2019 01:22:59 +0000 (21:22 -0400)]
merge latest commit
Mark Thom [Fri, 29 Nov 2019 01:22:03 +0000 (21:22 -0400)]
unsafe stack transition
Mark Thom [Thu, 28 Nov 2019 07:45:13 +0000 (00:45 -0700)]
preserve heap contents in between goal expansions (#240, #241)
Mark Thom [Wed, 27 Nov 2019 18:13:18 +0000 (14:13 -0400)]
terms containing attributed variables are not ground (#239)
Mark Thom [Wed, 27 Nov 2019 07:52:30 +0000 (00:52 -0700)]
use in situ code directory from metacall if conventional lookup fails (#238)
Mark Thom [Wed, 27 Nov 2019 03:51:59 +0000 (20:51 -0700)]
add (:)/{3..12} to enable metacalls on module-prefixed predicates
Mark Thom [Wed, 27 Nov 2019 02:38:43 +0000 (19:38 -0700)]
add ambiguity check for period printing, remove extraneous space between last goal and period (#237)
Mark Thom [Tue, 26 Nov 2019 06:09:49 +0000 (23:09 -0700)]
add operator exports to module declarations, treat them separately from predicate exports (#230)"
Mark Thom [Sun, 24 Nov 2019 22:47:34 +0000 (15:47 -0700)]
generate module-level expansion code along with rest of module code
Mark Thom [Sun, 24 Nov 2019 19:50:53 +0000 (12:50 -0700)]
record module-level term_expansion and goal_expansion as inner predicates (#228)
Mark Thom [Sat, 23 Nov 2019 03:38:03 +0000 (20:38 -0700)]
correct bug, dead code in toplevel.pl
Mark Thom [Fri, 22 Nov 2019 01:05:09 +0000 (18:05 -0700)]
Merge branch 'master' of https://github.com/mthom/rusty-wam
Mark Thom [Thu, 21 Nov 2019 20:26:13 +0000 (16:26 -0400)]
Merge branch 'master' of https://github.com/mthom/scryer-prolog
Mark Thom [Thu, 21 Nov 2019 20:26:00 +0000 (16:26 -0400)]
add conditional bracketing to equations printed by toplevel
Mark Thom [Thu, 21 Nov 2019 06:50:54 +0000 (23:50 -0700)]
Merge branch 'master' of https://github.com/mthom/rusty-wam
Mark Thom [Thu, 21 Nov 2019 06:50:51 +0000 (23:50 -0700)]
small test updates
Mark Thom [Thu, 21 Nov 2019 03:51:55 +0000 (23:51 -0400)]
Merge pull request #226 from malbarbo/num
Add feature num to use num crate in place of rug.
Marco A L Barbosa [Thu, 1 Aug 2019 11:25:24 +0000 (08:25 -0300)]
Add feature num to use num crate in place of rug.
Mark Thom [Wed, 20 Nov 2019 14:50:33 +0000 (10:50 -0400)]
avoid overwriting IndexPtr's for clauses already declared dynamic (#227)
Mark Thom [Wed, 20 Nov 2019 00:14:00 +0000 (20:14 -0400)]
Merge pull request #234 from XVilka/patch-2
Fix README formatting
Mark Thom [Wed, 20 Nov 2019 03:09:44 +0000 (20:09 -0700)]
Merge branch 'master' of https://github.com/mthom/rusty-wam
Mark Thom [Wed, 20 Nov 2019 03:09:28 +0000 (20:09 -0700)]
bump prolog_parser to version 0.8.35
Mark Thom [Wed, 20 Nov 2019 03:08:52 +0000 (20:08 -0700)]
commit Cargo.lock
Mark Thom [Tue, 19 Nov 2019 14:13:59 +0000 (10:13 -0400)]
remove tests.rs module from main.rs
Anton Kochkov [Tue, 19 Nov 2019 10:48:46 +0000 (18:48 +0800)]
Fix README formatting
Mark Thom [Tue, 19 Nov 2019 06:17:56 +0000 (23:17 -0700)]
add setup_call_cleanup tests, expand builtins tests
Mark Thom [Mon, 18 Nov 2019 01:07:16 +0000 (21:07 -0400)]
rollback changes in snapshot handling
Mark Thom [Mon, 18 Nov 2019 00:18:11 +0000 (20:18 -0400)]
correct failure to observe last call position in queries'
Mark Thom [Sun, 17 Nov 2019 02:18:41 +0000 (19:18 -0700)]
update version number
Mark Thom [Sun, 17 Nov 2019 02:15:07 +0000 (19:15 -0700)]
begin migrating tests to pure prolog, correct bug in toplevel
Mark Thom [Sun, 17 Nov 2019 00:15:25 +0000 (17:15 -0700)]
quote values and goals in equations, eliminate dead code, correct retract/1
Mark Thom [Sat, 16 Nov 2019 23:53:29 +0000 (19:53 -0400)]
Merge branch 'master' of https://github.com/mthom/scryer-prolog
Mark Thom [Sat, 16 Nov 2019 23:51:53 +0000 (19:51 -0400)]
transition to unsafe and/or stack
Mark Thom [Sat, 16 Nov 2019 07:26:15 +0000 (00:26 -0700)]
move more of the toplevel from rust into prolog
Mark Thom [Wed, 30 Oct 2019 06:25:17 +0000 (00:25 -0600)]
add warnings when initialization goals fail (#168)
Mark Thom [Wed, 30 Oct 2019 06:14:36 +0000 (00:14 -0600)]
handle asserts in modules a little better (#223, #224)
Mark Thom [Tue, 29 Oct 2019 06:06:51 +0000 (00:06 -0600)]
install asserted predicates into modules from initialization directives (#222)
Mark Thom [Mon, 28 Oct 2019 02:50:21 +0000 (20:50 -0600)]
replace \n\r and \r\n by \n (#221)
Mark Thom [Mon, 28 Oct 2019 01:23:35 +0000 (19:23 -0600)]
finish #214, add needed ambiguity checks if 0 is the final character