Struct LpDatabase 

pub struct LpDatabase {
    pub clauses: Vec<LpClause>,
}

A logic programming database of Horn clauses.

Fields

clauses: Vec<LpClause>

All clauses, in order of assertion.

Implementations

impl LpDatabase

pub fn query_all(&self, goal: LpTerm, cfg: &SolveConfig) -> Vec<Substitution>

Collect all solutions to a single-goal query.

impl LpDatabase

pub fn new() -> Self

Create an empty database.

pub fn add_fact(&mut self, head: LpTerm)

Add a fact to the database.

pub fn add_rule(&mut self, head: LpTerm, body: Vec<LpTerm>)

Add a rule to the database.

pub fn matching_clauses(&self, goal: &LpTerm) -> Vec<&LpClause>

Return all clauses whose head functor/arity matches the given goal.

Trait Implementations

impl Clone for LpDatabase

fn clone(&self) -> LpDatabase

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for LpDatabase

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for LpDatabase

fn default() -> LpDatabase

Returns the “default value” for a type.