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
ascent_source: This macro allows writing Ascent code that can later be included in an actual Ascent program.