Mark Thom
|
707e5fcf8b
|
restore setup_call_cleanup/3
|
2018-08-04 16:12:37 -06:00 |
|
Mark Thom
|
38dcd6113e
|
preliminary read support
|
2018-07-25 17:12:07 -06:00 |
|
Mark Thom
|
c5e1a08214
|
move print_constant logic to heap_print.rs
|
2018-07-16 19:06:27 -06:00 |
|
Mark Thom
|
7527bc76f8
|
update README
|
2018-07-12 00:14:14 -06:00 |
|
Mark Thom
|
89044266d6
|
add tests for module resolution operator, README documentation.
|
2018-07-08 19:49:15 -06:00 |
|
Mark Thom
|
cd03b7795f
|
finalize the module resolution operator.
|
2018-07-08 15:21:09 -06:00 |
|
Mark Thom
|
df265e60a9
|
remove no longer present items from predicate list
|
2018-05-15 22:51:34 -06:00 |
|
Mark Thom
|
06d896277c
|
major refactor
|
2018-05-15 22:47:36 -06:00 |
|
Mark Thom
|
ff6e58e987
|
update/extension to lexer, bug fixes to module importing
|
2018-04-13 18:44:23 -06:00 |
|
Mark Thom
|
7b160199fd
|
add cyclic_term
|
2018-03-28 23:41:19 -06:00 |
|
Mark Thom
|
ef65c996ec
|
update README
|
2018-03-28 21:23:11 -06:00 |
|
Mark Thom
|
80b59bae83
|
add acyclic term
|
2018-03-28 21:17:46 -06:00 |
|
Mark Thom
|
eb694cbba7
|
remove flatten
|
2018-03-26 19:05:23 -06:00 |
|
Mark Thom
|
933b94ef82
|
add repeat
|
2018-03-26 18:59:58 -06:00 |
|
Mark Thom
|
2691382771
|
add flatten.
|
2018-03-26 18:49:43 -06:00 |
|
Mark Thom
|
261bb15bdf
|
update README
|
2018-03-24 11:42:26 -06:00 |
|
Mark Thom
|
acdb3f2c45
|
add sort, keysort.
|
2018-03-11 17:37:29 -06:00 |
|
Mark Thom
|
7500465b38
|
add atom predicate.
|
2018-03-10 15:26:35 -07:00 |
|
Mark Thom
|
2cc5367c52
|
add is_list
|
2018-03-09 19:27:22 -07:00 |
|
Mark Thom
|
10db0f58dd
|
fix README
|
2018-03-07 17:25:33 -07:00 |
|
Mark Thom
|
ab182b6e3b
|
add error messages on failed batch entry
|
2018-03-07 17:19:28 -07:00 |
|
Mark Thom
|
beeb246632
|
cleanup README
|
2018-03-05 21:18:55 -07:00 |
|
Mark Thom
|
b1c41f211b
|
add qualified imports
|
2018-03-05 21:13:07 -07:00 |
|
Mark Thom
|
dbab7a8667
|
fix README
|
2018-03-04 21:38:55 -07:00 |
|
Mark Thom
|
0c66743db5
|
correct module bugs
|
2018-03-04 21:35:30 -07:00 |
|
Mark Thom
|
7edf924c05
|
update README with build instructions
|
2018-03-03 16:48:00 -07:00 |
|
Mark Thom
|
8a63623516
|
add provisional module support.
|
2018-03-02 22:28:12 -07:00 |
|
Mark Thom
|
92cd018bc7
|
.
|
2018-02-26 19:28:19 -07:00 |
|
Mark Thom
|
82f0f7c7fe
|
updated blurbs
|
2018-02-25 12:48:54 -07:00 |
|
Mark Thom
|
9aac3cb086
|
add compare predicate.
|
2018-02-21 23:21:18 -07:00 |
|
Mark Thom
|
7313472a70
|
add call_with_inference_limit
|
2018-02-19 22:34:56 -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
|
e7560150b0
|
add eq, neq predicates.
|
2018-02-10 23:34:30 -07:00 |
|
Mark Thom
|
9c1b48865b
|
add ground/1.
|
2018-02-08 23:51:05 -07:00 |
|
Mark Thom
|
9d5f897fed
|
add more type predicates.
|
2018-02-05 20:10:41 -07:00 |
|
Mark Thom
|
7b5a2786da
|
add support for setup_call_cleanup
|
2018-02-01 23:03:57 -07:00 |
|
Mark Thom
|
2628e27595
|
add batch processing.
|
2018-01-30 00:59:42 -07:00 |
|
Mark Thom
|
73714e8aa2
|
prepare for batch processing.
|
2018-01-29 22:04:51 -07:00 |
|
Mark Thom
|
f72ad860c6
|
add item to README
|
2018-01-28 17:37:00 -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
|
ab7ba0a207
|
write tests to detect disjunction bugs
|
2018-01-26 23:26:19 -07:00 |
|
Mark Thom
|
d240eaca78
|
add tests for builtins
|
2018-01-25 21:01:23 -07:00 |
|
Mark Thom
|
03c96d45b3
|
update README
|
2018-01-19 23:22:54 -07:00 |
|
Mark Thom
|
08b94dcdf5
|
add display predicate
|
2018-01-14 22:11:02 -07:00 |
|
Mark Thom
|
930d00a806
|
document arg, functor, conditionals
|
2018-01-11 16:13:13 -07:00 |
|
Mark Thom
|
d49157bef6
|
add provisional functor and arg support, and give ';' and '->' their true semantics
|
2018-01-08 21:14:19 -07:00 |
|