Struct Database 

pub struct Database<T> { /* private fields */ }

Implementations

impl<T: Atom> Database<T>

pub fn new() -> Self

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

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

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

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

Inserts the given clause to the DB.

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

pub fn commit(&mut self)

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

where T: AsRef<str>,

• sanitize - Removes unacceptable characters from prolog.

Requires T to implement AsRef<str> so that functor names can be serialized into Prolog syntax.

Trait Implementations

impl<T: Debug> Debug for Database<T>

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

Formats the value using the given formatter.

impl<T: Atom> Default for Database<T>

fn default() -> Self

Returns the “default value” for a type.