epilog 0.1.0

A collection of Prolog-like tools for inference logic.
Documentation
1
2
3
4
5
6
7
#[derive(Debug, Clone, Copy, PartialEq, Eq, PartialOrd, Ord, Hash)]
pub enum Lit {
  A,
  B,
  C,
  D,
}