 Jeremy Penner
|
837ee0299a
|
return full analysis
|
2022-03-28 11:27:09 -04:00 |
|
|
Jeremy Penner
|
0cdcd865c5
|
Implement update
|
2022-03-27 16:49:22 -04:00 |
|
|
Jeremy Penner
|
ea5da24813
|
implement insert and delete
|
2022-03-27 16:23:28 -04:00 |
|
|
Jeremy Penner
|
82d04e0649
|
comparison support, fix bugs in inference rules
* rule expression generation was miscounting the number of parameters
* allow using arbitrary expressions in the head of a rule
|
2022-03-27 14:34:50 -04:00 |
|
|
Jeremy Penner
|
6d46d0f638
|
implement math, tweak syntax
|
2022-03-27 12:26:26 -04:00 |
|
|
Jeremy Penner
|
e1e0e168b6
|
implement inference rules
|
2022-03-27 00:10:37 -04:00 |
|
|
Jeremy Penner
|
881943ed17
|
implement self-joins
|
2022-03-26 12:24:03 -04:00 |
|
|
Jeremy Penner
|
c25cb5d292
|
sqlog starts to generate some reasonable queries
|
2022-03-26 12:11:55 -04:00 |
|