Module proto_vulcan::prelude

Re-exports

pub use crate::compound::CompoundTerm;

pub use crate::engine::DefaultEngine;

pub use crate::engine::Engine;

pub use crate::goal::AnyGoal;

pub use crate::goal::Goal;

pub use crate::lterm::LTerm;

pub use crate::lvalue::LValue;

pub use crate::solver::Solve;

pub use crate::solver::Solver;

pub use crate::state::Constraint;

pub use crate::user::DefaultUser;

pub use crate::user::User;

Macros

lterm

proto_vulcan

proto_vulcan_closure

proto_vulcan_query

Functions

conde

Disjunction operator.

Attribute Macros

compound