Crate ukanren[−][src]

Expand description

An implementation of the µKanren relational programming system in Rust.

Macros

Convenience macro for constructing new state objects. This requires the ToValue trait to be in scope.

A goal constructed from the conjunction of two goals.

A boxed goal for type erasure, constructed from Goal::boxed.

A goal constructed from the disjunction of two goals.

Iterator adapter created by Goal::run.

The current variable state of the miniKanren interpreter.

An object in µKanren that can be unified.

Trait representing an atomic type.

Trait for closures that can take fresh variables.

A goal that can be executed by the relational system.

A type that can be converted to a value.

Construct a cons cell from two values.

Goal for unifying two values.

Goal that introduces one or more fresh relational variables.

Construct a list out of cons cells.