Struct Database 

pub struct Database { /* private fields */ }

Implementations

impl Database

pub fn new() -> Self

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

pub fn clauses(&self) -> impl FusedIterator<Item = ClauseRef<'_>>

pub fn insert_dataset(&mut self, dataset: ClauseDataset<Name>)

pub fn insert_clause(&mut self, clause: Clause<Name>)

pub fn query(&mut self, expr: Expr<Name>) -> ProveCx<'_>

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 Debug for Database

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

Formats the value using the given formatter.

impl Default for Database

fn default() -> Self

Returns the “default value” for a type.