]>
Repositorios git - scryer-prolog.git/log
Mark Thom [Thu, 19 Apr 2018 01:24:32 +0000 (19:24 -0600)]
make module code entries immutable (re: issue #27)
Mark Thom [Wed, 18 Apr 2018 21:34:09 +0000 (15:34 -0600)]
correct-ish definition of reverse.
Mark Thom [Wed, 18 Apr 2018 21:31:36 +0000 (15:31 -0600)]
correct-ish definition of reverse.
Mark Thom [Tue, 17 Apr 2018 15:26:13 +0000 (09:26 -0600)]
add predicate existence errors for failed metacalls.
Mark Thom [Tue, 17 Apr 2018 05:25:37 +0000 (23:25 -0600)]
print characters correctly
Mark Thom [Tue, 17 Apr 2018 04:00:30 +0000 (22:00 -0600)]
add functional notation for operators.
Mark Thom [Sat, 14 Apr 2018 21:38:06 +0000 (15:38 -0600)]
update to lexer error handling.
Mark Thom [Sat, 14 Apr 2018 17:59:57 +0000 (11:59 -0600)]
fix lexer bugs.
Mark Thom [Sat, 14 Apr 2018 00:44:23 +0000 (18:44 -0600)]
update/extension to lexer, bug fixes to module importing
Mark Thom [Tue, 10 Apr 2018 03:27:50 +0000 (21:27 -0600)]
throw exception when predicate not found
Mark Thom [Sun, 8 Apr 2018 21:17:58 +0000 (15:17 -0600)]
throw exceptions when calling non-existent predicates. broken.
Mark Thom [Sun, 8 Apr 2018 17:29:30 +0000 (11:29 -0600)]
correct mishandled blocking of cuts
Mark Thom [Sun, 8 Apr 2018 06:33:54 +0000 (00:33 -0600)]
properly handle cuts in conditionals
Mark Thom [Sat, 7 Apr 2018 23:08:01 +0000 (17:08 -0600)]
fix cut expansions, clean up code.
Mark Thom [Sat, 7 Apr 2018 22:44:51 +0000 (16:44 -0600)]
fix cut expansions.
Mark Thom [Sat, 7 Apr 2018 06:15:34 +0000 (00:15 -0600)]
incomplete cut corrections.
Mark Thom [Thu, 5 Apr 2018 22:00:50 +0000 (16:00 -0600)]
rename fabricate_predicate to fabricate_disjunct
Mark Thom [Thu, 5 Apr 2018 20:02:20 +0000 (14:02 -0600)]
add the notion of unbound variables to register allocators.
Mark Thom [Wed, 4 Apr 2018 03:48:19 +0000 (21:48 -0600)]
inline (,)/2 properly
Mark Thom [Mon, 2 Apr 2018 19:50:01 +0000 (13:50 -0600)]
limit hash lookups to metacall
Mark Thom [Thu, 29 Mar 2018 05:41:19 +0000 (23:41 -0600)]
add cyclic_term
Mark Thom [Thu, 29 Mar 2018 03:23:11 +0000 (21:23 -0600)]
update README
Mark Thom [Thu, 29 Mar 2018 03:20:50 +0000 (21:20 -0600)]
add call support for acyclic_term
Mark Thom [Thu, 29 Mar 2018 03:17:46 +0000 (21:17 -0600)]
add acyclic term
Mark Thom [Tue, 27 Mar 2018 01:05:23 +0000 (19:05 -0600)]
remove flatten
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
projects / scryer-prolog.git / log