86 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Mark Thom	b349ac8bf9	add more tests	2017-05-29 12:21:05 -06:00
Mark Thom	cf14f736f7	update README	2017-05-26 12:48:51 -06:00
Mark Thom	ca43a5b8e0	update README	2017-05-26 12:48:09 -06:00
Mark Thom	4ab0716b86	update README	2017-05-26 12:46:19 -06:00
Mark Thom	f29bd3dc0b	add tests, add to README.	2017-05-26 12:27:41 -06:00
Mark Thom	4d6897509d	evacuate arguments on overwrite.	2017-05-25 16:41:36 -06:00
Mark Thom	cf470e48c2	add tests	2017-05-25 14:46:48 -06:00
Mark Thom	13c902918b	remove diagnostic calls	2017-05-24 19:12:39 -06:00
Mark Thom	2f23541ee0	support call/N	2017-05-24 19:10:31 -06:00
Mark Thom	39f0f2bacb	..	2017-05-17 16:46:04 -06:00
Mark Thom	0063329e3e	correct formatting bugs	2017-05-17 16:40:05 -06:00
Mark Thom	5efee09434	refine code generation, scale back unsafe variable instructions for conjunctive queries	2017-05-17 16:32:46 -06:00
Mark Thom	5fa9881556	add (non)-deterministic REPL demarcations	2017-05-16 19:35:22 -06:00
Mark Thom	950a6ec57c	add unwrap to var lookup in fixtures	2017-05-16 15:26:26 -06:00
Mark Thom	9afa37a94b	remove dead code	2017-05-10 10:47:05 -06:00
Mark Thom	91b9aed33a	code cleanup	2017-05-10 10:21:02 -06:00
Mark Thom	6fa5bad5bf	add top level declarative structure	2017-05-09 16:26:17 -06:00
Mark Thom	9c72177b60	cleanup of run_query	2017-05-08 14:33:27 -06:00
Mark Thom	f155b5b2c2	add support for conjunctive queries.	2017-05-07 15:26:36 -06:00
Mark Thom	9687878219	refine *_void emission"	2017-05-01 14:22:32 -06:00
Mark Thom	5d354bbce7	fix formatting	2017-05-01 11:41:33 -06:00
Mark Thom	1ab2619cce	fix void instrs	2017-05-01 11:39:56 -06:00
Mark Thom	e68e3cc1ad	tweak head check	2017-04-30 13:59:11 -06:00
Mark Thom	316e5c5c1a	transition to debray allocation	2017-04-30 13:53:15 -06:00
Mark Thom	1bdc539c25	add fixtures	2017-04-29 16:52:08 -06:00
Mark Thom	a6304d3f96	prep for debray allocation	2017-04-29 16:50:53 -06:00
Mark Thom	2e7aa6423c	minor tweaks.	2017-04-18 13:57:48 -06:00
Mark Thom	7acee092eb	more codegen tweaks.	2017-04-16 16:53:25 -06:00
Mark Thom	0ef8dc03ac	adjust register allocation around cut	2017-04-09 19:46:44 -06:00
Mark Thom	19ee43e186	optimized up to chapter 6	2017-04-09 19:12:36 -06:00
Mark Thom	d2cf8626a1	tidying up	2017-04-09 12:23:54 -06:00
Mark Thom	759e1da4c8	remove spurious Into instance	2017-03-30 00:53:54 -06:00
Mark Thom	79ae4abb81	optimized up to section 5.11	2017-03-30 00:51:23 -06:00
Mark Thom	02482aec8a	slight tweaks.	2017-03-25 21:35:31 -06:00
Mark Thom	b7ff27af1b	correct register overallocation	2017-03-25 12:26:06 -06:00
Mark Thom	a836e14b5f	remove print debug	2017-03-25 02:00:19 -06:00
Mark Thom	d65970ee57	optimized up to section 5.10	2017-03-25 01:58:54 -06:00
Mark Thom	24b60eb2c6	optimizations up to section 5.8	2017-03-23 16:55:43 -06:00
Mark Thom	e1cc5ecfd6	optimizations up to section 5.7.	2017-03-23 01:06:06 -06:00
Mark Thom	9362aa6af3	optimizations	2017-03-22 22:30:45 -06:00
Mark Thom	540a5b805f	fix README	2017-03-10 23:51:37 -07:00
Mark Thom	fcb3cc1287	transition to prolog	2017-03-10 23:50:26 -07:00
Mark Thom	743602778f	fix README	2017-03-05 10:04:45 -07:00
Mark Thom	bad608a202	fix to README	2017-03-04 19:52:54 -07:00
Mark Thom	02827bc0e2	fix to README	2017-03-04 19:28:59 -07:00
Mark Thom	42ce902b3c	transition to l3	2017-03-04 19:22:43 -07:00
Mark Thom	97f6bee8c3	minor tweak	2017-02-28 13:33:28 -07:00
Mark Thom	6822be4bc9	minor tweaks.	2017-02-28 13:28:06 -07:00
Mark Thom	00ad58e741	remove todo	2017-02-27 12:36:52 -07:00
Mark Thom	42374f49dc	codegen tweak.	2017-02-26 21:44:46 -07:00
Mark Thom	e3e3f346e5	bug fixes, tests	2017-02-25 20:53:33 -07:00
Mark Thom	59eb04866a	codegen bug fix.	2017-02-25 14:29:11 -07:00
Mark Thom	d55224626f	bug fix	2017-02-25 13:52:58 -07:00
Mark Thom	6346612caa	typo fix	2017-02-25 12:30:27 -07:00
Mark Thom	80adc23984	new readme examples	2017-02-24 18:53:30 -07:00
Mark Thom	25eb8911f0	cosmetic changes	2017-02-24 18:05:17 -07:00
Mark Thom	f47a161376	fix codegen bug (marking terms in rules too eagerly)	2017-02-24 17:54:33 -07:00
Mark Thom	2fccbb09c6	add heapview, move registers to HeapCellRef	2017-02-24 16:16:14 -07:00
Mark Thom	cde396650c	removed unnecessary lookup function	2017-02-22 16:04:24 -07:00
Mark Thom	4cdfc211e2	arity bug fix	2017-02-22 15:53:12 -07:00
Mark Thom	1b5f8a1db2	transition to l2	2017-02-21 00:31:04 -07:00
Mark Thom	0c17344afe	add dumb comments	2017-02-03 00:49:16 -07:00
Mark Thom	648b7d09fe	slight polishing up, bug fixes	2017-02-02 16:09:18 -07:00
Mark Thom	23fc50417f	bug fixes	2017-02-02 15:53:06 -07:00
Mark Thom	a56e82f94d	use CompiledFact in machine.rs	2017-01-29 15:03:16 -07:00
Mark Thom	33ab3ac153	codegen bug fix.	2017-01-27 23:26:25 -07:00
Mark Thom	081db5a38c	transition to l1	2017-01-27 22:06:19 -07:00
Mark Thom	0c6926b3cb	fix unification bugs.	2017-01-27 21:54:53 -07:00
Mark Thom	e7af3dc57a	remove unnecessary Sized trait on CompilationTarget	2017-01-22 11:26:23 -07:00
Mark Thom	ed2343be9f	streamline code generation with iterators and traits	2017-01-22 11:24:29 -07:00
Mark Thom	9be3445517	cosmetic changes.	2016-12-26 14:09:24 -07:00
Mark Thom	92ab8406ef	remove unnecessary lifetime.	2016-12-18 15:19:30 -07:00
Mark Thom	2874c172ba	use references when executing instructions, not moves.	2016-12-01 17:33:02 -07:00
Mark Thom	d46197f1fd	fixes to binding.	2016-10-30 21:49:27 -06:00
Mark Thom	1272d97311	remove Term impl	2016-10-30 20:32:13 -06:00
Mark Thom	509b7838c7	codegen fix	2016-10-30 00:19:25 -06:00
Mark Thom	63075c9739	codegen fixes	2016-10-29 13:18:12 -06:00
Mark Thom	36ca0087c9	update	2016-10-28 23:49:21 -06:00
Mark Thom	5079728dbf	add linebreaks	2016-10-28 20:00:44 -06:00
Mark Thom	5b61261cda	add linebreaks	2016-10-28 20:00:17 -06:00
Mark Thom	57575a1523	add linebreaks	2016-10-28 19:58:43 -06:00
Mark Thom	2227f10d45	add linebreaks	2016-10-28 19:57:43 -06:00
Mark Thom	01dcca1b4d	add linebreaks	2016-10-28 19:56:30 -06:00
Mark Thom	78f00ee562	add linebreaks	2016-10-28 19:54:42 -06:00
Mark Thom	8d1441e20f	Initial commit.	2016-10-28 19:53:08 -06:00
Mark Thom	a8b1d8bd4d	Initial commit	2016-10-28 19:44:10 -06:00