prune-lang 0.2.3

Prune is a constraint logic programming language with branching heuristic.
Documentation
1
2
3
4
5
6
7
8
9
10
11
12
13
14
use crate::utils::ident::*;
use crate::utils::lit::*;
use crate::utils::prim::*;
use crate::utils::term::*;

use std::collections::HashMap;

use ast::*;

pub mod ast;
pub mod compile;
pub mod elaborate;
pub mod normalize;
pub mod translate;