Module mini_kanren::prelude

Re-exports

pub use crate::core::goal::Goal;

pub use crate::core::logic_variable::ReifiedVar;

pub use crate::core::logic_variable::Var;

pub use crate::core::stream::Stream;

pub use crate::core::substitution::Substitution;

pub use crate::core::value::Value;

pub use crate::goals::combinators::*;

pub use crate::goals::primitive::*;