Crate ascent_macro

Macros

• ascent
  The main macro of the ascent library. Allows writing logical inference rules similar to Datalog.
• ascent_par
  Similar to ascent, allows writing logic programs in Rust.
• ascent_run
  Like ascent, except that the result of an ascent_run invocation is a value containing all the relations defined inside the macro body, and computed to a fixed point.
• ascent_run_par
  The parallelized version of ascent_run