Implement Slog based on Ascent

[StarGazerM]

Note

Introduce a new Slog DSL compiled via proc-macros to Ascent, add heuristic join reordering and macro enhancements (ascent_source captures, delta/total), plus docs, examples, and tests.

• Slog DSL (new crates):
  • Add slog, slog_utils, slog_theory, and slog_test crates implementing a Slog language that compiles to Ascent via proc-macros; includes utilities (ID calc, helpers), theory support (equality), and tests.
• Ascent macro/compiler:
  • Add join strategy support with #[heuristic_reordering] and MIR/HIR plumbing (join strategy parsing, var usage analysis, rule reordering, index reselection, updated IR/MIR data).
  • Extend ascent_source! to support captured arguments and include_source!(path, caps…).
  • Export new helper macros delta! and total!; add optional #![custom_return_conditions] and run_customized path.
  • Allow non-stratified aggregation via #![allow_non_stratified_agg].
• Docs/Examples:
  • README: document Join Reordering with example; add example files (ascent_heuristic_order.rs, updated ascent_source.rs, minor list example formatting).
• BYODS/Runtime tweaks:
  • Minor API visibility and placeholder changes; adjust tests and example rules; suppress lifetime warnings.
• Workspace:
  • Add new members to workspace (slog*) and dependencies.
• Tests:
  • Add reordering test and Slog tests; extend include_source tests with capture-binding.

^{Written by Cursor Bugbot for commit 148ff76. This will update automatically on new commits. Configure here.}

[cursor]

Bug: Index Combination Fails to Chain Results

The RelIndexCombined::iter_all implementation doesn't correctly combine results from both underlying indices. It returns either the first iterator (if not empty) or the second (if the first is empty), but never chains them. This means the second index's items are entirely ignored when the first index has any.

Additional Locations (1)

• ascent/src/rel_index_read.rs#L244-L259