Mark Thom
|
381ad12104
|
add db refs
|
2019-03-27 23:00:59 -06:00 |
|
Mark Thom
|
da0e1b9436
|
add assoc.pl, add max evaluable functor
|
2019-03-08 22:31:12 -07:00 |
|
Mark Thom
|
3d8c0a43a6
|
refactor to actual modules
|
2019-03-03 23:29:02 -07:00 |
|
Mark Thom
|
77652d4458
|
correct inlining calling in last call context
|
2019-03-02 22:57:07 -07:00 |
|
Mark Thom
|
e4cb904470
|
correct inlined calling bug in last call, add dynamic database manipulation predicates
|
2019-03-02 16:57:45 -07:00 |
|
Mark Thom
|
818a971833
|
start enabling the dynamic database
|
2019-02-28 21:49:07 -07:00 |
|
Mark Thom
|
f41b5f465e
|
add findall/3
|
2019-02-22 00:56:04 -07:00 |
|
Mark Thom
|
bf62fd7f78
|
refactor parts of machine_state_impl.rs that consume copier.rs
|
2019-02-19 22:01:50 -07:00 |
|
Mark Thom
|
b710112df2
|
refactor copier.rs
|
2019-02-19 22:00:13 -07:00 |
|
Mark Thom
|
2467f6c711
|
add call_residue_vars/2
|
2019-02-18 21:13:56 -07:00 |
|
Mark Thom
|
9abe70113a
|
correct project_attributes, correct compare_term_test and eq_test, polish attribute_goals/2
|
2019-02-14 21:59:24 -07:00 |
|
Mark Thom
|
cd5549ee5b
|
fix attribute_goals/2 display bugs, cycle detection bug
|
2019-02-14 01:12:52 -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
|
e36485533d
|
bracket verify_attributes/3 interrupts with allocation and deallocation of stack frames.
|
2019-02-11 21:21:13 -07:00 |
|
Mark Thom
|
197d079281
|
call goals in one batch after rebinding variables, add minatotask.pl, update README
|
2019-02-09 13:57:03 -07:00 |
|
Mark Thom
|
33dbe3bb45
|
correct bugs in verify_attributes handling
|
2019-02-09 00:16:57 -07:00 |
|
Mark Thom
|
661f9b7414
|
add preliminary support for verify_attributes/3
|
2019-02-07 23:33:55 -07:00 |
|
Mark Thom
|
046569b6a9
|
flatten CompiledQuery and CompiledFact in Code, remove CompiledQuery
|
2019-02-06 22:25:41 -07:00 |
|
Mark Thom
|
50dd3afaa8
|
add support for copying attributed variables in copy_term
|
2019-02-04 21:24:26 -07:00 |
|
Mark Thom
|
2267b080ce
|
use bind to write constants to variables
|
2019-02-03 20:08:34 -07:00 |
|
Mark Thom
|
8a3a79de3c
|
copy attribute list in get_atts
|
2019-02-03 16:10:12 -07:00 |
|
Mark Thom
|
3cfbbb23a3
|
introduce a better binding scheme for attributed variables
|
2019-02-03 15:16:30 -07:00 |
|
Mark Thom
|
c5fbff505b
|
expand goals in queries and queues
|
2019-02-01 23:36:51 -07:00 |
|
Mark Thom
|
fcffb90549
|
add atts.pl, various fixes
|
2019-01-30 21:31:48 -07:00 |
|
Mark Thom
|
4f87fb8535
|
add AttrVar variant to Addr
|
2019-01-26 20:46:37 -07:00 |
|
Mark Thom
|
6e735bc2d4
|
add TrailRef type for trail
|
2019-01-26 20:06:27 -07:00 |
|
Mark Thom
|
ef3d3aa01a
|
fix unsafe variable handling
|
2019-01-24 23:38:53 -07:00 |
|
Mark Thom
|
0dabb3f370
|
add op info to structures and atoms
|
2019-01-19 22:27:40 -07:00 |
|
Mark Thom
|
56ec550031
|
fix unification on string lists.
|
2018-12-23 12:14:03 -07:00 |
|
Mark Thom
|
6e20f82d6f
|
fix faulty tidy_trail
|
2018-11-15 23:04:52 -07:00 |
|
Mark Thom
|
a4e882756e
|
fix tests
|
2018-10-24 23:16:49 -06:00 |
|
Mark Thom
|
32fecca45d
|
add write variants
|
2018-10-23 22:53:50 -06:00 |
|
Mark Thom
|
4bd805cc76
|
remove need for RefCell wrapping on CodeDir
|
2018-10-04 21:43:49 -06:00 |
|
Mark Thom
|
bf0521fde6
|
move atom_tbl up to Machine
|
2018-10-04 19:36:58 -06:00 |
|
Mark Thom
|
8e4bb039f0
|
divide atom tables by module
|
2018-10-03 22:56:12 -06:00 |
|
Mark Thom
|
d52ffb0e92
|
add tidy_pstr_trail to neck_cut
|
2018-09-25 09:50:19 -03:00 |
|
Mark Thom
|
58ed374363
|
enable backtracking on partial strings
|
2018-09-24 22:24:23 -06:00 |
|
Mark Thom
|
23eed192e9
|
match on partial strings through get_list
|
2018-09-24 19:53:51 -06:00 |
|
Mark Thom
|
908972eff1
|
incorporate term_expansion phase in compilation
|
2018-09-18 22:44:03 -06:00 |
|
Mark Thom
|
f226cb3dbd
|
correct conformity errors
|
2018-09-16 14:11:21 -06:00 |
|
Mark Thom
|
32439a1da5
|
transition to MachineCodeIndices internally
|
2018-09-08 02:31:33 -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
|
4be20e48e6
|
fixes to quoted
|
2018-09-03 17:21:28 -06:00 |
|
Mark Thom
|
239552f4c3
|
correct print_var_eq bad ending check
|
2018-09-03 15:14:02 -06:00 |
|
Mark Thom
|
3960ea4f06
|
do not unify partial strings unless they coincide in memory
|
2018-09-03 00:20:01 -06:00 |
|
Mark Thom
|
c5fd13dfa0
|
distinguish eq from structural_eq on strings
|
2018-09-03 00:06:01 -06:00 |
|
Mark Thom
|
abcb53699a
|
finalize support for partial strings
|
2018-09-02 23:32:51 -06:00 |
|
Mark Thom
|
78ea3f5441
|
add (^) as an evaluable factor, re: #39
|
2018-09-01 13:48:04 -06:00 |
|
Mark Thom
|
16a748bc0f
|
add tests for string lists, structural equality on string lists.
|
2018-08-29 00:05:00 -06:00 |
|