epilog 0.1.0

A collection of Prolog-like tools for inference logic.
Documentation 
1
2
3
4
5
6

pub mod ast;
pub mod quant;
pub mod sub;
pub mod unify;
pub mod uresult;
pub mod var;