Trait modus_ponens::kbase::KBase

pub trait KBase<'a> {
    fn tell(&'a self, knowledge: &'a str);
    fn ask(&'a self, knowledge: &'a str) -> Vec<MPMatching<'a>>;
}

Required methods

fn tell(&'a self, knowledge: &'a str)

fn ask(&'a self, knowledge: &'a str) -> Vec<MPMatching<'a>>

Implementors