epilog 0.1.0

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

use super::{lit::Lit, var};
use crate::ast;

pub use ast::{Error, VarSource};

pub type Ast = ast::Ast<Lit, var::Var>;
pub type Term = ast::Term<Lit, var::Var>;
pub type Var = ast::Var<var::Var>;