Crate arde

Source
Expand description

Our goal: be able to store selection queries in simple one-liners.

We will model it after logic programming.

Re-exports§

pub use runtime::compiler::Compiler;
pub use runtime::compiler::ProgramError;
pub use runtime::Atom;
pub use runtime::BodyAtom;
pub use runtime::CompiledProgram;
pub use runtime::GroundedAtom;
pub use runtime::GroundedBodyAtom;
pub use runtime::GroundedGoal;
pub use runtime::GroundedTerm;
pub use runtime::Rule;
pub use runtime::Term;
pub use storage::Fixed;
pub use storage::FixedStorage;
pub use storage::Memoized;
pub use storage::Storage;
pub use storage::StorageRef;
pub use storage::ThreadsafeStorageRef;

Modules§

library
Standard modules (storages) for niceties like being able to check if 2 different variables are actually the same value
parser
runtime
storage

Macros§

atom

Enums§

EvalOutput

Functions§

evaluate_program_nonasync