Crate ascent

Modules

aggregators

This module provides aggregators that can be used in Ascent rules.

internal

lattice

util

Macros

ascent

The main macro of the ascent library. Allows writing logical inference rules similar to Datalog. Example:

ascent_run

Like ascent, except that invocations of this macro evaluate to an expression containing all the relations defined inside the macro body, and evaluated to a fixed point. The advantage of ascent_run compared to ascent is the fact that ascent_run has access to local variables in scope:

Structs

Dual

A wrapper that inverts <= and >= (or partial_cmp for PartialOrd types), meet and join for ProtoLattices, and top and bottom for BoundedLattices.

Traits

Lattice