Mark Thom
|
9aac3cb086
|
add compare predicate.
|
2018-02-21 23:21:18 -07:00 |
|
Mark Thom
|
5de03444eb
|
fix bugs in call_with_inference_limit
|
2018-02-21 19:46:15 -07:00 |
|
Mark Thom
|
7313472a70
|
add call_with_inference_limit
|
2018-02-19 22:34:56 -07:00 |
|
Mark Thom
|
8b566ab4e5
|
set compound to succeed on non-empty lists.
|
2018-02-16 22:34:27 -07:00 |
|
Mark Thom
|
61bc5a2a29
|
fix compile_seq, variable printing on standalone inlines.
|
2018-02-16 22:18:17 -07:00 |
|
Mark Thom
|
280dbe9539
|
clear unintended whitespace
|
2018-02-16 16:21:37 -07:00 |
|
Mark Thom
|
cf67b938c0
|
add structural equality and inequality predicates.
|
2018-02-15 18:31:03 -07:00 |
|
Mark Thom
|
f1ac75f21d
|
add (\=)/2.
|
2018-02-14 23:21:56 -07:00 |
|
Mark Thom
|
a13501dc1a
|
add term comparison operators.
|
2018-02-13 23:53:16 -07:00 |
|
Mark Thom
|
1a5eab180a
|
add term comparison operators.
|
2018-02-13 23:52:52 -07:00 |
|
Mark Thom
|
ae323a0cdf
|
add term comparison operators.
|
2018-02-13 23:34:44 -07:00 |
|
Mark Thom
|
a1fb4f529b
|
move several builtins to control.
|
2018-02-12 18:30:44 -07:00 |
|
Mark Thom
|
47055d189d
|
fix allocator bug.
|
2018-02-11 15:21:30 -07:00 |
|
Mark Thom
|
54e36f0d24
|
correct allocation bugs.
|
2018-02-11 12:03:13 -07:00 |
|
Mark Thom
|
e7560150b0
|
add eq, neq predicates.
|
2018-02-10 23:34:30 -07:00 |
|
Mark Thom
|
211bdd3a13
|
correct acyclic iteration.
|
2018-02-09 16:31:56 -07:00 |
|
Mark Thom
|
5b1475435a
|
fix crashes caused by inlined optimization.
|
2018-02-09 00:09:34 -07:00 |
|
Mark Thom
|
9c1b48865b
|
add ground/1.
|
2018-02-08 23:51:05 -07:00 |
|
Mark Thom
|
df3e8b8fce
|
minor cleanup.
|
2018-02-08 18:29:45 -07:00 |
|
Mark Thom
|
1b4d1c04c9
|
finalize transition to CutPolicy trait object.
|
2018-02-07 21:46:40 -07:00 |
|
Mark Thom
|
1bf9c0d205
|
defer cut actions to cut policy trait objects.
|
2018-02-06 23:41:31 -07:00 |
|
Mark Thom
|
f01997ba3f
|
fix bug in is/2 code generation.
|
2018-02-05 22:33:25 -07:00 |
|
Mark Thom
|
9d5f897fed
|
add more type predicates.
|
2018-02-05 20:10:41 -07:00 |
|
Mark Thom
|
8326a573d9
|
cosmetic touchups;
|
2018-02-04 22:28:41 -07:00 |
|
Mark Thom
|
2c7dc9e2c6
|
parse negation properly.
|
2018-02-03 18:39:55 -07:00 |
|
Mark Thom
|
4b33c4a6ca
|
parse negation.
|
2018-02-03 18:27:12 -07:00 |
|
Mark Thom
|
b99f5064f0
|
fix arg_ bug.
|
2018-02-03 12:24:43 -07:00 |
|
Mark Thom
|
23f81946c5
|
reverse builtin instructions
|
2018-02-02 17:10:57 -07:00 |
|
Mark Thom
|
9c2e8dfd72
|
fix setup_call_cleanup bug
|
2018-02-01 23:39:03 -07:00 |
|
Mark Thom
|
7b5a2786da
|
add support for setup_call_cleanup
|
2018-02-01 23:03:57 -07:00 |
|
Mark Thom
|
d1c281ac0a
|
clean up codegen.rs
|
2018-01-31 19:49:48 -07:00 |
|
Mark Thom
|
b761575f7f
|
add library routines for lists.
|
2018-01-30 01:00:46 -07:00 |
|
Mark Thom
|
2628e27595
|
add batch processing.
|
2018-01-30 00:59:42 -07:00 |
|
Mark Thom
|
9ce6403244
|
prepare for batch processing
|
2018-01-29 22:07:56 -07:00 |
|
Mark Thom
|
73714e8aa2
|
prepare for batch processing.
|
2018-01-29 22:04:51 -07:00 |
|
Mark Thom
|
bb49f35027
|
prepare for batch processing.
|
2018-01-29 16:17:12 -07:00 |
|
Mark Thom
|
a1070ceacb
|
prepare for batch processing
|
2018-01-29 16:08:24 -07:00 |
|
Mark Thom
|
53c6fc1f1b
|
prepare for batch processing.
|
2018-01-29 00:26:33 -07:00 |
|
Mark Thom
|
e148152eef
|
prepare for batch processing.
|
2018-01-28 23:25:39 -07:00 |
|
Mark Thom
|
f72ad860c6
|
add item to README
|
2018-01-28 17:37:00 -07:00 |
|
Mark Thom
|
17d98f3942
|
fix bug in printer over lists.
|
2018-01-27 18:28:20 -07:00 |
|
Mark Thom
|
60440ea86b
|
tighten =.. code
|
2018-01-27 15:54:05 -07:00 |
|
Mark Thom
|
4f645b4664
|
add length, =.., more tests of builtins.
|
2018-01-27 15:37:59 -07:00 |
|
Mark Thom
|
f939a9e129
|
correct marker bug, edit README.
|
2018-01-27 01:27:17 -07:00 |
|
Mark Thom
|
1412071ea9
|
disjunctions do operate correctly (so far), write more tests.
|
2018-01-27 00:23:32 -07:00 |
|
Mark Thom
|
6894162c91
|
cleanup notes and sloppy formatting.
|
2018-01-27 00:14:10 -07:00 |
|
Mark Thom
|
ab7ba0a207
|
write tests to detect disjunction bugs
|
2018-01-26 23:26:19 -07:00 |
|
Mark Thom
|
a9a397c047
|
add more tests for builtins.
|
2018-01-25 22:25:00 -07:00 |
|
Mark Thom
|
d240eaca78
|
add tests for builtins
|
2018-01-25 21:01:23 -07:00 |
|
Mark Thom
|
700f031cd9
|
remove indirection in jmp instructions
|
2018-01-25 09:10:30 -07:00 |
|