]>
Repositorios git - scryer-prolog.git/log
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.
Mark Thom [Sat, 20 Jan 2018 06:22:54 +0000 (23:22 -0700)]
update README
Mark Thom [Sat, 20 Jan 2018 04:01:01 +0000 (21:01 -0700)]
add tests for callable is, comparisons.
Mark Thom [Sat, 20 Jan 2018 02:39:46 +0000 (19:39 -0700)]
add call support for numeric comparisons.
Mark Thom [Fri, 19 Jan 2018 07:08:55 +0000 (00:08 -0700)]
add callable `is/2`
Mark Thom [Fri, 19 Jan 2018 02:54:15 +0000 (19:54 -0700)]
clean up arithmetic.rs
Mark Thom [Thu, 18 Jan 2018 06:19:49 +0000 (23:19 -0700)]
move instruction increment
Mark Thom [Thu, 18 Jan 2018 05:43:46 +0000 (22:43 -0700)]
abstract out iterator for arithmetic terms.
Mark Thom [Thu, 18 Jan 2018 04:39:59 +0000 (21:39 -0700)]
change arithmetic evaluation iterator to new target type
Mark Thom [Wed, 17 Jan 2018 06:26:59 +0000 (23:26 -0700)]
add an atom table.
Mark Thom [Wed, 17 Jan 2018 02:53:49 +0000 (19:53 -0700)]
expand remaining tests.
Mark Thom [Tue, 16 Jan 2018 16:41:45 +0000 (09:41 -0700)]
add tests on lists
Mark Thom [Tue, 16 Jan 2018 16:12:25 +0000 (09:12 -0700)]
add cut tests
Mark Thom [Tue, 16 Jan 2018 06:42:09 +0000 (23:42 -0700)]
start adding output checks to test
Mark Thom [Tue, 16 Jan 2018 03:28:25 +0000 (20:28 -0700)]
correct formatting on heap_print
Mark Thom [Tue, 16 Jan 2018 03:18:08 +0000 (20:18 -0700)]
abstract Outputter of heap_print
Mark Thom [Mon, 15 Jan 2018 16:20:11 +0000 (09:20 -0700)]
remove preliminary file
Mark Thom [Mon, 15 Jan 2018 06:05:15 +0000 (23:05 -0700)]
fix duplicate_term bug
Mark Thom [Mon, 15 Jan 2018 05:11:02 +0000 (22:11 -0700)]
add display predicate
Mark Thom [Mon, 15 Jan 2018 04:48:10 +0000 (21:48 -0700)]
mark structures with their fixity
Mark Thom [Mon, 15 Jan 2018 03:46:03 +0000 (20:46 -0700)]
print ops properly.
Mark Thom [Sun, 14 Jan 2018 04:53:38 +0000 (21:53 -0700)]
remove commented out print_term
Mark Thom [Sun, 14 Jan 2018 04:53:12 +0000 (21:53 -0700)]
remove commented out print_term
Mark Thom [Sun, 14 Jan 2018 04:50:47 +0000 (21:50 -0700)]
refactor heapview
Mark Thom [Sat, 13 Jan 2018 05:26:57 +0000 (22:26 -0700)]
update token type
Mark Thom [Fri, 12 Jan 2018 05:02:34 +0000 (22:02 -0700)]
move MachineState to a submodule
Mark Thom [Fri, 12 Jan 2018 03:56:04 +0000 (20:56 -0700)]
another big refactor
Mark Thom [Fri, 12 Jan 2018 00:07:29 +0000 (17:07 -0700)]
delete needless use
Mark Thom [Thu, 11 Jan 2018 23:13:13 +0000 (16:13 -0700)]
document arg, functor, conditionals
Mark Thom [Wed, 10 Jan 2018 05:38:17 +0000 (22:38 -0700)]
transition to reference counted constants
Mark Thom [Wed, 10 Jan 2018 00:11:17 +0000 (17:11 -0700)]
claw back version number
Mark Thom [Tue, 9 Jan 2018 04:14:19 +0000 (21:14 -0700)]
add provisional functor and arg support, and give ';' and '->' their true semantics
Mark Thom [Mon, 25 Dec 2017 21:01:36 +0000 (14:01 -0700)]
trim down set_cp
Mark Thom [Mon, 25 Dec 2017 20:36:03 +0000 (13:36 -0700)]
correct ',', backtrack bugs
Mark Thom [Mon, 25 Dec 2017 07:29:42 +0000 (00:29 -0700)]
correction to -> offset
Mark Thom [Mon, 25 Dec 2017 07:10:40 +0000 (00:10 -0700)]
remove print_code diagnostic
Mark Thom [Mon, 25 Dec 2017 07:04:52 +0000 (00:04 -0700)]
remove Terminal, correct , bugs
Mark Thom [Sun, 24 Dec 2017 22:44:40 +0000 (15:44 -0700)]
indexing bug fixes, corrections to ,
Mark Thom [Sun, 24 Dec 2017 06:23:45 +0000 (23:23 -0700)]
Merge branch 'master' of http://github.com/mthom/rusty-wam
Mark Thom [Sun, 24 Dec 2017 06:23:30 +0000 (23:23 -0700)]
add beginning support for ',', ';', '->'
Mark Thom [Fri, 22 Dec 2017 19:52:55 +0000 (12:52 -0700)]
update README
Mark Thom [Fri, 22 Dec 2017 19:43:06 +0000 (12:43 -0700)]
update README
Mark Thom [Fri, 22 Dec 2017 19:39:35 +0000 (12:39 -0700)]
update README
Mark Thom [Mon, 11 Dec 2017 16:53:05 +0000 (09:53 -0700)]
correct with_capacity function in Heap ADT
Mark Thom [Mon, 11 Dec 2017 02:32:52 +0000 (19:32 -0700)]
add to README
Mark Thom [Sun, 10 Dec 2017 20:55:49 +0000 (13:55 -0700)]
update README, heap ADT
Mark Thom [Sun, 10 Dec 2017 19:31:01 +0000 (12:31 -0700)]
is_call and is_execute are jump instructions.
Mark Thom [Sun, 10 Dec 2017 08:24:23 +0000 (01:24 -0700)]
bug fixes on LCO, backtracking.
Mark Thom [Sat, 9 Dec 2017 04:38:52 +0000 (21:38 -0700)]
don't truly truncate the heap.
Mark Thom [Sat, 9 Dec 2017 04:38:18 +0000 (21:38 -0700)]
don't truly truncate the heap.
Mark Thom [Tue, 5 Dec 2017 04:01:23 +0000 (21:01 -0700)]
inline comparison instructions.
Mark Thom [Mon, 4 Dec 2017 17:18:29 +0000 (10:18 -0700)]
update README, toplevel parsing for comparison operators.
Mark Thom [Mon, 4 Dec 2017 00:44:51 +0000 (17:44 -0700)]
add support for comparison operators.
Mark Thom [Sun, 3 Dec 2017 22:16:40 +0000 (15:16 -0700)]
coerce rationals to floats before coercing floats to rationals.
Mark Thom [Sun, 3 Dec 2017 21:23:00 +0000 (14:23 -0700)]
tweak README
Mark Thom [Sun, 3 Dec 2017 21:22:26 +0000 (14:22 -0700)]
tweak README
Mark Thom [Sun, 3 Dec 2017 21:15:52 +0000 (14:15 -0700)]
correct README
Mark Thom [Sun, 3 Dec 2017 21:15:01 +0000 (14:15 -0700)]
add bitwise and modular operations.
Mark Thom [Sat, 2 Dec 2017 21:28:27 +0000 (14:28 -0700)]
extend false cases for is
Mark Thom [Sat, 2 Dec 2017 18:10:25 +0000 (11:10 -0700)]
add support for rational numbers, division.
Mark Thom [Thu, 16 Nov 2017 20:44:44 +0000 (13:44 -0700)]
,
Mark Thom [Mon, 13 Nov 2017 20:35:34 +0000 (13:35 -0700)]
remove is from inlined terms.
Mark Thom [Mon, 13 Nov 2017 20:18:05 +0000 (13:18 -0700)]
separate handling of inlined query terms.
Mark Thom [Mon, 13 Nov 2017 06:43:42 +0000 (23:43 -0700)]
add register marking for non-callable/inlined predicates.
Mark Thom [Sun, 12 Nov 2017 08:36:19 +0000 (01:36 -0700)]
simply post order iterators.
Mark Thom [Sun, 12 Nov 2017 01:57:23 +0000 (18:57 -0700)]
eliminate QueryTermRef.
Mark Thom [Sun, 12 Nov 2017 00:32:46 +0000 (17:32 -0700)]
get rid of chunked iterators for facts.
Mark Thom [Sun, 12 Nov 2017 00:00:10 +0000 (17:00 -0700)]
remove QueryTermRef from Allocator
Mark Thom [Sat, 11 Nov 2017 23:01:29 +0000 (16:01 -0700)]
reuse defunct AND stack frames.
Mark Thom [Thu, 9 Nov 2017 05:57:40 +0000 (22:57 -0700)]
remove Div for ast.rs
Mark Thom [Tue, 7 Nov 2017 05:01:54 +0000 (22:01 -0700)]
fix arithmetic bugs.
Mark Thom [Tue, 7 Nov 2017 03:22:15 +0000 (20:22 -0700)]
clean up atomic and var code.
Mark Thom [Mon, 6 Nov 2017 20:35:48 +0000 (13:35 -0700)]
pass binding info to arithmetic evaluator
Mark Thom [Mon, 6 Nov 2017 17:45:27 +0000 (10:45 -0700)]
instantiated vars in arithmetic exprs
Mark Thom [Mon, 6 Nov 2017 00:14:49 +0000 (17:14 -0700)]
correct README
Mark Thom [Mon, 6 Nov 2017 00:12:30 +0000 (17:12 -0700)]
add provisions for arithmetic support.
Mark Thom [Sat, 4 Nov 2017 16:23:58 +0000 (10:23 -0600)]
proceed is a jump instruction
Mark Thom [Sat, 4 Nov 2017 04:23:04 +0000 (22:23 -0600)]
add proceed to close out inlined atomic and var
Mark Thom [Sat, 4 Nov 2017 03:08:10 +0000 (21:08 -0600)]
record places after inline instrs
projects / scryer-prolog.git / log