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.
Structs
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.
Enums
A lazy goal application that is not called until first polled for results.
An object in µKanren that can be unified.
Traits
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.