mini-kanren 0.4.0

miniKANREN in Rust
Documentation
1
2
3
4
5
6
7
8
9
10
pub use crate::{
    core::{
        goal::{Goal, RawGoal},
        logic_variable::{ReifiedVar, Var},
        stream::Stream,
        substitution::Substitution,
        value::Value,
    },
    goals::{combinators::*, primitive::*},
};