Crate ascent

Ascent enables writing logic programs in the style of Datalog in Rust.

See the documentation for ascent, one of the main macros of this crate, for more information.

Re-exports

• pub use hashbrown;
• pub use dashmap;
• pub use boxcar;
• pub use rayon;

Modules

• aggregators
  This module provides aggregators that can be used in Ascent rules.
• internal
  Provides definitions required for the ascent macro(s), plus traits that custom relations need to implement.
• lattice
  Defines the Lattice trait and provides implementations for standard types
• util
  internal utility functions defined here

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

Structs

• Dual
  A wrapper type that swaps (<= and >=) for PartialOrds, (meet and join) for Lattices, and (top and bottom) for BoundedLattices.

Traits

• Lattice
  A Lattice is a PartialOrd where each pair of elements has a least upper bound (join) and a greatest lower bound (meet)