]>
Repositorios git - scryer-prolog.git/log
Mark Thom [Tue, 27 Mar 2018 00:59:58 +0000 (18:59 -0600)]
add repeat
Mark Thom [Tue, 27 Mar 2018 00:49:43 +0000 (18:49 -0600)]
add flatten.
Mark Thom [Tue, 27 Mar 2018 00:16:39 +0000 (18:16 -0600)]
clean up call clause stuff.
Mark Thom [Tue, 27 Mar 2018 00:16:23 +0000 (18:16 -0600)]
clean up call clause stuff.
Mark Thom [Sat, 24 Mar 2018 17:42:26 +0000 (11:42 -0600)]
update README
Mark Thom [Thu, 22 Mar 2018 20:15:40 +0000 (14:15 -0600)]
eliminating double counting for call_with_inference_limit.
Mark Thom [Tue, 20 Mar 2018 02:01:32 +0000 (20:01 -0600)]
remove extraneous code.
Mark Thom [Mon, 19 Mar 2018 01:25:45 +0000 (19:25 -0600)]
remove redundant code from arith_eval_by_metacall
Mark Thom [Sun, 18 Mar 2018 01:04:13 +0000 (19:04 -0600)]
correct delayed evaluation for negation, rational decls
Mark Thom [Sat, 17 Mar 2018 21:46:12 +0000 (15:46 -0600)]
remove extraneous comments.
Mark Thom [Sat, 17 Mar 2018 21:45:17 +0000 (15:45 -0600)]
refactor BuiltInInstruction
Mark Thom [Sat, 17 Mar 2018 21:01:31 +0000 (15:01 -0600)]
remove DynamicIs
Mark Thom [Sat, 17 Mar 2018 07:26:50 +0000 (01:26 -0600)]
refactor ControlInstruction
Mark Thom [Fri, 16 Mar 2018 22:23:27 +0000 (16:23 -0600)]
minor tweak to printer code
Mark Thom [Mon, 12 Mar 2018 01:51:25 +0000 (19:51 -0600)]
correct sort, keysort
Mark Thom [Sun, 11 Mar 2018 23:37:29 +0000 (17:37 -0600)]
add sort, keysort.
Mark Thom [Sat, 10 Mar 2018 22:26:35 +0000 (15:26 -0700)]
add atom predicate.
Mark Thom [Sat, 10 Mar 2018 02:27:22 +0000 (19:27 -0700)]
add is_list
Mark Thom [Sat, 10 Mar 2018 02:13:06 +0000 (19:13 -0700)]
remove b0 slot from AND stack frames.
Mark Thom [Fri, 9 Mar 2018 05:54:36 +0000 (22:54 -0700)]
further debray fix.
Mark Thom [Fri, 9 Mar 2018 04:15:18 +0000 (21:15 -0700)]
reformat io.rs
Mark Thom [Thu, 8 Mar 2018 19:51:06 +0000 (12:51 -0700)]
further allocation fixes.
Mark Thom [Thu, 8 Mar 2018 19:38:38 +0000 (12:38 -0700)]
further allocation fixes.
Mark Thom [Thu, 8 Mar 2018 07:29:56 +0000 (00:29 -0700)]
add queues, fix debray allocator bug.
Mark Thom [Thu, 8 Mar 2018 00:25:33 +0000 (17:25 -0700)]
fix README
Mark Thom [Thu, 8 Mar 2018 00:19:28 +0000 (17:19 -0700)]
add error messages on failed batch entry
Mark Thom [Tue, 6 Mar 2018 04:18:55 +0000 (21:18 -0700)]
cleanup README
Mark Thom [Tue, 6 Mar 2018 04:13:07 +0000 (21:13 -0700)]
add qualified imports
Mark Thom [Mon, 5 Mar 2018 04:38:55 +0000 (21:38 -0700)]
fix README
Mark Thom [Mon, 5 Mar 2018 04:37:29 +0000 (21:37 -0700)]
correct module bugs
Mark Thom [Mon, 5 Mar 2018 04:35:30 +0000 (21:35 -0700)]
correct module bugs
Mark Thom [Sun, 4 Mar 2018 05:31:10 +0000 (22:31 -0700)]
remove module decls from toplevel when they are redeclared.
Mark Thom [Sat, 3 Mar 2018 23:48:00 +0000 (16:48 -0700)]
update README with build instructions
Mark Thom [Sat, 3 Mar 2018 05:31:34 +0000 (22:31 -0700)]
simplify heap_iter.rs
Mark Thom [Sat, 3 Mar 2018 05:28:12 +0000 (22:28 -0700)]
add provisional module support.
Mark Thom [Wed, 28 Feb 2018 00:21:43 +0000 (17:21 -0700)]
add ; key.
Mark Thom [Tue, 27 Feb 2018 02:28:19 +0000 (19:28 -0700)]
.
Mark Thom [Tue, 27 Feb 2018 00:12:06 +0000 (17:12 -0700)]
clean up compile_seq.
Mark Thom [Mon, 26 Feb 2018 06:43:37 +0000 (23:43 -0700)]
fix exception handling when thrown by throw_exception, and within setup_call_cleanup and call_with_inference_limit.
Mark Thom [Mon, 26 Feb 2018 05:38:28 +0000 (22:38 -0700)]
add fixes, further test cases.
Mark Thom [Sun, 25 Feb 2018 19:48:54 +0000 (12:48 -0700)]
updated blurbs
Mark Thom [Sun, 25 Feb 2018 19:13:07 +0000 (12:13 -0700)]
major refactor.
Mark Thom [Sat, 24 Feb 2018 16:41:25 +0000 (09:41 -0700)]
switch internal counts to use BigUint.
Mark Thom [Fri, 23 Feb 2018 23:43:12 +0000 (16:43 -0700)]
add more tests.
Mark Thom [Fri, 23 Feb 2018 07:16:40 +0000 (00:16 -0700)]
fix bugs in call_with_inference_limit
Mark Thom [Fri, 23 Feb 2018 01:33:00 +0000 (18:33 -0700)]
add more tests
Mark Thom [Fri, 23 Feb 2018 00:00:03 +0000 (17:00 -0700)]
add more tests
Mark Thom [Thu, 22 Feb 2018 06:21:18 +0000 (23:21 -0700)]
add compare predicate.
Mark Thom [Thu, 22 Feb 2018 02:46:15 +0000 (19:46 -0700)]
fix bugs in call_with_inference_limit
Mark Thom [Tue, 20 Feb 2018 05:34:56 +0000 (22:34 -0700)]
add call_with_inference_limit
Mark Thom [Sat, 17 Feb 2018 05:34:27 +0000 (22:34 -0700)]
set compound to succeed on non-empty lists.
Mark Thom [Sat, 17 Feb 2018 05:18:17 +0000 (22:18 -0700)]
fix compile_seq, variable printing on standalone inlines.
Mark Thom [Fri, 16 Feb 2018 23:21:37 +0000 (16:21 -0700)]
clear unintended whitespace
Mark Thom [Fri, 16 Feb 2018 01:31:03 +0000 (18:31 -0700)]
add structural equality and inequality predicates.
Mark Thom [Thu, 15 Feb 2018 06:21:56 +0000 (23:21 -0700)]
add (\=)/2.
Mark Thom [Wed, 14 Feb 2018 06:53:16 +0000 (23:53 -0700)]
add term comparison operators.
Mark Thom [Wed, 14 Feb 2018 06:52:52 +0000 (23:52 -0700)]
add term comparison operators.
Mark Thom [Wed, 14 Feb 2018 06:34:44 +0000 (23:34 -0700)]
add term comparison operators.
Mark Thom [Tue, 13 Feb 2018 01:30:44 +0000 (18:30 -0700)]
move several builtins to control.
Mark Thom [Sun, 11 Feb 2018 22:21:30 +0000 (15:21 -0700)]
fix allocator bug.
Mark Thom [Sun, 11 Feb 2018 19:03:13 +0000 (12:03 -0700)]
correct allocation bugs.
Mark Thom [Sun, 11 Feb 2018 06:34:30 +0000 (23:34 -0700)]
add eq, neq predicates.
Mark Thom [Fri, 9 Feb 2018 23:31:56 +0000 (16:31 -0700)]
correct acyclic iteration.
Mark Thom [Fri, 9 Feb 2018 07:09:34 +0000 (00:09 -0700)]
fix crashes caused by inlined optimization.
Mark Thom [Fri, 9 Feb 2018 06:51:05 +0000 (23:51 -0700)]
add ground/1.
Mark Thom [Fri, 9 Feb 2018 01:29:45 +0000 (18:29 -0700)]
minor cleanup.
Mark Thom [Thu, 8 Feb 2018 04:46:40 +0000 (21:46 -0700)]
finalize transition to CutPolicy trait object.
Mark Thom [Wed, 7 Feb 2018 06:41:31 +0000 (23:41 -0700)]
defer cut actions to cut policy trait objects.
Mark Thom [Tue, 6 Feb 2018 05:33:25 +0000 (22:33 -0700)]
fix bug in `is/2` code generation.
Mark Thom [Tue, 6 Feb 2018 03:10:41 +0000 (20:10 -0700)]
add more type predicates.
Mark Thom [Mon, 5 Feb 2018 05:28:41 +0000 (22:28 -0700)]
cosmetic touchups;
Mark Thom [Sun, 4 Feb 2018 01:39:55 +0000 (18:39 -0700)]
parse negation properly.
Mark Thom [Sun, 4 Feb 2018 01:27:12 +0000 (18:27 -0700)]
parse negation.
Mark Thom [Sat, 3 Feb 2018 19:24:43 +0000 (12:24 -0700)]
fix arg_ bug.
Mark Thom [Sat, 3 Feb 2018 00:10:57 +0000 (17:10 -0700)]
reverse builtin instructions
Mark Thom [Fri, 2 Feb 2018 06:39:03 +0000 (23:39 -0700)]
fix setup_call_cleanup bug
Mark Thom [Fri, 2 Feb 2018 06:03:57 +0000 (23:03 -0700)]
add support for setup_call_cleanup
Mark Thom [Thu, 1 Feb 2018 02:49:48 +0000 (19:49 -0700)]
clean up codegen.rs
Mark Thom [Tue, 30 Jan 2018 08:00:46 +0000 (01:00 -0700)]
add library routines for lists.
Mark Thom [Tue, 30 Jan 2018 07:59:42 +0000 (00:59 -0700)]
add batch processing.
Mark Thom [Tue, 30 Jan 2018 05:07:56 +0000 (22:07 -0700)]
prepare for batch processing
Mark Thom [Tue, 30 Jan 2018 05:04:51 +0000 (22:04 -0700)]
prepare for batch processing.
Mark Thom [Mon, 29 Jan 2018 23:17:12 +0000 (16:17 -0700)]
prepare for batch processing.
Mark Thom [Mon, 29 Jan 2018 23:08:24 +0000 (16:08 -0700)]
prepare for batch processing
Mark Thom [Mon, 29 Jan 2018 07:26:33 +0000 (00:26 -0700)]
prepare for batch processing.
Mark Thom [Mon, 29 Jan 2018 06:25:39 +0000 (23:25 -0700)]
prepare for batch processing.
Mark Thom [Mon, 29 Jan 2018 00:37:00 +0000 (17:37 -0700)]
add item to README
Mark Thom [Sun, 28 Jan 2018 01:28:20 +0000 (18:28 -0700)]
fix bug in printer over lists.
Mark Thom [Sat, 27 Jan 2018 22:54:05 +0000 (15:54 -0700)]
tighten =.. code
Mark Thom [Sat, 27 Jan 2018 22:37:59 +0000 (15:37 -0700)]
add length, =.., more tests of builtins.
Mark Thom [Sat, 27 Jan 2018 08:27:17 +0000 (01:27 -0700)]
correct marker bug, edit README.
Mark Thom [Sat, 27 Jan 2018 07:23:32 +0000 (00:23 -0700)]
disjunctions do operate correctly (so far), write more tests.
Mark Thom [Sat, 27 Jan 2018 07:14:10 +0000 (00:14 -0700)]
cleanup notes and sloppy formatting.
Mark Thom [Sat, 27 Jan 2018 06:26:19 +0000 (23:26 -0700)]
write tests to detect disjunction bugs
Mark Thom [Fri, 26 Jan 2018 05:25:00 +0000 (22:25 -0700)]
add more tests for builtins.
Mark Thom [Fri, 26 Jan 2018 04:01:23 +0000 (21:01 -0700)]
add tests for builtins
Mark Thom [Thu, 25 Jan 2018 16:10:30 +0000 (09:10 -0700)]
remove indirection in jmp instructions
Mark Thom [Thu, 25 Jan 2018 05:30:20 +0000 (22:30 -0700)]
add tests for conditionals
Mark Thom [Wed, 24 Jan 2018 04:01:53 +0000 (21:01 -0700)]
inline and expand conditionals whenever possible
Mark Thom [Sat, 20 Jan 2018 22:08:55 +0000 (15:08 -0700)]
update tests to properly reflect answer order.
projects / scryer-prolog.git / log