Struct Database 

pub struct Database<'int, Int: Intern> { /* private fields */ }

Implementations

impl<'int, Int: Intern> Database<'int, Int>

pub fn new(interner: &'int Int) -> Self

pub fn interner(&self) -> &'int Int

pub fn terms(&self) -> NamedTermViewIter<'_, 'int, Int>

pub fn clauses(&self) -> ClauseIter<'_, 'int, Int>

pub fn insert_dataset( &mut self, dataset: ClauseDataset<Name<<Int as Intern>::InternedStr<'int>>>, )

pub fn insert_clause( &mut self, clause: Clause<Name<<Int as Intern>::InternedStr<'int>>>, )

pub fn query( &mut self, expr: Expr<Name<<Int as Intern>::InternedStr<'int>>>, ) -> ProveCx<'_, 'int, Int>

pub fn commit(&mut self)

pub fn to_prolog<F: FnMut(&str) -> &str>(&self, sanitize: F) -> String

• sanitize - Removes unacceptable characters from prolog.

Trait Implementations

impl<'int, Int: Debug + Intern> Debug for Database<'int, Int>

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

Formats the value using the given formatter.