canrun 0.5.0

A logic programming library inspired by the *Kanren family of language DSLs.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

//! Low level implementation with basic unification, forking and constraint tracking.

pub mod constraints;
mod fork;
mod lvarlist;
mod mkmvmap;
mod query;
mod ready_state;
mod reify;
mod state;
mod state_iterator;
mod unify;
mod value;

pub use fork::*;
pub use lvarlist::*;
pub use query::*;
pub use ready_state::*;
pub use reify::*;
pub use state::*;
pub use state_iterator::*;
pub use unify::*;
pub use value::*;