Mark Thom
|
a4e882756e
|
fix tests
|
2018-10-24 23:16:49 -06:00 |
|
Mark Thom
|
4c76920489
|
fix conformity errors
|
2018-10-17 22:10:00 -06:00 |
|
Mark Thom
|
8e4bb039f0
|
divide atom tables by module
|
2018-10-03 22:56:12 -06:00 |
|
Mark Thom
|
58ed374363
|
enable backtracking on partial strings
|
2018-09-24 22:24:23 -06:00 |
|
Mark Thom
|
66584cee5e
|
add term_expansion basics
|
2018-09-22 17:05:19 -06:00 |
|
Mark Thom
|
4d57989c2b
|
term_expansion beginnings
|
2018-09-22 16:25:32 -06:00 |
|
Mark Thom
|
8eb327c735
|
correct conformity error
|
2018-09-16 14:21:50 -06:00 |
|
Mark Thom
|
f226cb3dbd
|
correct conformity errors
|
2018-09-16 14:11:21 -06:00 |
|
Mark Thom
|
38bb7c7dec
|
correct handling of .
|
2018-09-14 00:46:02 -06:00 |
|
Mark Thom
|
1e2047e72c
|
streamline inputs.
|
2018-09-13 19:44:50 -06:00 |
|
Mark Thom
|
ccbc0566ba
|
provisional changes #2
|
2018-09-12 23:31:29 -06:00 |
|
Mark Thom
|
3f06ff874b
|
make use of read_term in the repl
|
2018-09-10 00:18:17 -06:00 |
|
Mark Thom
|
9713286023
|
throw the correct error if the final reduce does not work, re: #49
|
2018-09-04 18:52:45 -06:00 |
|
Mark Thom
|
ff9d2662e6
|
farm parser out to a crate, remove it as a git submodule.
|
2018-09-03 21:58:07 -06:00 |
|
Mark Thom
|
78ea3f5441
|
add (^) as an evaluable factor, re: #39
|
2018-09-01 13:48:04 -06:00 |
|
Mark Thom
|
7016d378d6
|
add call_with_inference_limit/3
|
2018-08-08 00:42:57 -06:00 |
|
Mark Thom
|
0abd075b0b
|
complete trimdown of listing compilation.
|
2018-07-01 18:14:45 -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
|
cf9db43d5b
|
major refactor.
|
2018-02-25 12:13:07 -07:00 |
|
Mark Thom
|
1bf9c0d205
|
defer cut actions to cut policy trait objects.
|
2018-02-06 23:41:31 -07:00 |
|
Mark Thom
|
677beedec3
|
update tests to properly reflect answer order.
|
2018-01-20 15:08:55 -07:00 |
|
Mark Thom
|
9b225a0a56
|
claw back version number
|
2018-01-09 17:11:17 -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 |
|
Mark Thom
|
ca16768f7e
|
add beginning support for ',', ';', '->'
|
2017-12-23 23:23:30 -07:00 |
|
Mark Thom
|
9a7419c507
|
add support for rational numbers, division.
|
2017-12-02 11:10:25 -07:00 |
|
Mark Thom
|
5568d0b370
|
add provisions for arithmetic support.
|
2017-11-05 17:12:30 -07:00 |
|
Mark Thom
|
57cc8ccac9
|
inline atomic and var.
|
2017-11-03 20:41:01 -06:00 |
|
Mark Thom
|
92de7acd22
|
transition to the operator precedence parser.
|
2017-09-06 00:36:14 -06:00 |
|
Mark Thom
|
a06d99a313
|
cleanup code generation, add throw/catch, copy_term, var, atomic, not, false builtins
|
2017-08-13 23:53:01 -06:00 |
|
Mark Thom
|
315c748c31
|
clean up support for recursive calls, add support for (and protection of) built-in predicates.
|
2017-08-02 17:38:12 -06:00 |
|
Mark Thom
|
3aa8780086
|
fix recursive calls to call/N
|
2017-07-28 17:02:08 -06:00 |
|
Mark Thom
|
2f23541ee0
|
support call/N
|
2017-05-24 19:10:31 -06:00 |
|
Mark Thom
|
6fa5bad5bf
|
add top level declarative structure
|
2017-05-09 16:26:17 -06:00 |
|
Mark Thom
|
9c72177b60
|
cleanup of run_query
|
2017-05-08 14:33:27 -06:00 |
|
Mark Thom
|
f155b5b2c2
|
add support for conjunctive queries.
|
2017-05-07 15:26:36 -06:00 |
|
Mark Thom
|
316e5c5c1a
|
transition to debray allocation
|
2017-04-30 13:53:15 -06:00 |
|
Mark Thom
|
a6304d3f96
|
prep for debray allocation
|
2017-04-29 16:50:53 -06:00 |
|
Mark Thom
|
19ee43e186
|
optimized up to chapter 6
|
2017-04-09 19:12:36 -06:00 |
|
Mark Thom
|
79ae4abb81
|
optimized up to section 5.11
|
2017-03-30 00:51:23 -06:00 |
|
Mark Thom
|
d65970ee57
|
optimized up to section 5.10
|
2017-03-25 01:58:54 -06:00 |
|
Mark Thom
|
24b60eb2c6
|
optimizations up to section 5.8
|
2017-03-23 16:55:43 -06:00 |
|
Mark Thom
|
e1cc5ecfd6
|
optimizations up to section 5.7.
|
2017-03-23 01:06:06 -06:00 |
|
Mark Thom
|
9362aa6af3
|
optimizations
|
2017-03-22 22:30:45 -06:00 |
|
Mark Thom
|
fcb3cc1287
|
transition to prolog
|
2017-03-10 23:50:26 -07:00 |
|
Mark Thom
|
42ce902b3c
|
transition to l3
|
2017-03-04 19:22:43 -07:00 |
|
Mark Thom
|
2fccbb09c6
|
add heapview, move registers to HeapCellRef
|
2017-02-24 16:16:14 -07:00 |
|
Mark Thom
|
1b5f8a1db2
|
transition to l2
|
2017-02-21 00:31:04 -07:00 |
|
Mark Thom
|
8d1441e20f
|
Initial commit.
|
2016-10-28 19:53:08 -06:00 |
|