Atul Bhosale
|
1273e2d52d
|
Format code using 'cargo fmt'
|
2019-09-23 19:35:37 +07:00 |
|
Mark Thom
|
8207fdea40
|
replace HashMap with IndexMap and HashSet with IndexSet
|
2019-09-22 17:31:25 -06:00 |
|
Mark Thom
|
f344150322
|
revamp evaluable functors, add missing evaluable functors
|
2019-05-12 20:14:00 -04:00 |
|
Mark Thom
|
f745b077a9
|
instantiate variables in numerical comparisons
|
2019-04-22 18:54:03 -06:00 |
|
Mark Thom
|
16eadc7412
|
correct for issues #88, #89, #90, conformity test #208.
|
2019-04-06 09:46:42 -06:00 |
|
Mark Thom
|
2240418a25
|
re: #75, #52
|
2019-03-31 22:30:42 -06:00 |
|
Mark Thom
|
3d8c0a43a6
|
refactor to actual modules
|
2019-03-03 23:29:02 -07:00 |
|
Mark Thom
|
dc89ed57f2
|
evacuate when allocating anon vars
|
2019-02-24 13:40:58 -07:00 |
|
Mark Thom
|
b7dd76bf37
|
add library(reif)
|
2019-02-16 16:34:38 -07:00 |
|
Mark Thom
|
d2afd2dd19
|
cleanup accessors, various other things
|
2019-02-16 14:40:56 -07:00 |
|
Mark Thom
|
f616b4ddfd
|
prepare to add project_attributes/2 and attribute_goals/2
|
2019-02-13 14:18:41 -07:00 |
|
Mark Thom
|
046569b6a9
|
flatten CompiledQuery and CompiledFact in Code, remove CompiledQuery
|
2019-02-06 22:25:41 -07:00 |
|
Mark Thom
|
ef3d3aa01a
|
fix unsafe variable handling
|
2019-01-24 23:38:53 -07:00 |
|
Mark Thom
|
ca7e62928b
|
clone in situ compiled terms
|
2019-01-19 17:05:29 -07:00 |
|
Mark Thom
|
d7e8da8324
|
minor modification to lco in codegen
|
2018-10-04 22:28:42 -06:00 |
|
Mark Thom
|
054def4cc7
|
remove need to clone instructions.
|
2018-10-04 22:18:29 -06:00 |
|
Mark Thom
|
f226cb3dbd
|
correct conformity errors
|
2018-09-16 14:11:21 -06:00 |
|
Mark Thom
|
33d1a7c701
|
add structural tests for partial strings, rename ast.rs
|
2018-09-04 21:20: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
|
abcb53699a
|
finalize support for partial strings
|
2018-09-02 23:32:51 -06:00 |
|
Mark Thom
|
0f44b60537
|
chars are atoms, trailing whitespace is acceptable.
|
2018-08-29 20:14:23 -06:00 |
|
Mark Thom
|
f861b7a80e
|
update to handle strings as lists.
|
2018-08-22 00:26:48 -06:00 |
|
Mark Thom
|
c1ad5cd33f
|
get rid of dynamic lookup for
$call_with_default_policy.
|
2018-08-12 23:14:28 -06:00 |
|
Mark Thom
|
0cc4aa77ed
|
complete call_with_inference_limit/3
|
2018-08-09 00:31:41 -06:00 |
|
Mark Thom
|
cf82accc4b
|
add proceed to inlined instructions in tail position
|
2018-07-31 15:14:28 -06:00 |
|
Mark Thom
|
06d896277c
|
major refactor
|
2018-05-15 22:47:36 -06:00 |
|
Mark Thom
|
9a88d179d1
|
remove IsClause
|
2018-05-14 16:43:49 -06:00 |
|
Mark Thom
|
5690409534
|
correct faulty bind (two tests now fail: conjunctive_queries and lists)
|
2018-05-12 15:51:20 -06:00 |
|
Mark Thom
|
5a631c17c7
|
make system calls exempt from call policy.
|
2018-05-10 22:24:15 -06:00 |
|
Mark Thom
|
bae107f8cd
|
eliminate need for embedded, handwritten WAM code.
|
2018-05-09 22:58:23 -06:00 |
|
Mark Thom
|
58515d071c
|
skip_max_list preliminaries
|
2018-04-25 18:59:52 -06:00 |
|
Mark Thom
|
d6c148d5e9
|
fix cut expansions.
|
2018-04-07 16:44:51 -06:00 |
|
Mark Thom
|
5d0674a667
|
incomplete cut corrections.
|
2018-04-07 00:15:34 -06:00 |
|
Mark Thom
|
7b160199fd
|
add cyclic_term
|
2018-03-28 23:41:19 -06:00 |
|
Mark Thom
|
d8bcf47462
|
refactor ControlInstruction
|
2018-03-17 01:26:50 -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
|
cb9aafbccf
|
further allocation fixes.
|
2018-03-08 12:38:38 -07:00 |
|
Mark Thom
|
179e425fb6
|
add queues, fix debray allocator bug.
|
2018-03-08 00:29:56 -07:00 |
|
Mark Thom
|
8a63623516
|
add provisional module support.
|
2018-03-02 22:28:12 -07:00 |
|
Mark Thom
|
7906982d4d
|
clean up compile_seq.
|
2018-02-26 17:12:06 -07:00 |
|
Mark Thom
|
cf9db43d5b
|
major refactor.
|
2018-02-25 12:13:07 -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
|
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
|
ae323a0cdf
|
add term comparison operators.
|
2018-02-13 23:34: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 |
|