Struct polar_core::kb::KnowledgeBase

pub struct KnowledgeBase {
    pub constants: Bindings,
    pub rules: HashMap<Symbol, GenericRule>,
    pub sources: Sources,
    pub inline_queries: Vec<Term>,
    // some fields omitted
}

A map of bindings: variable name → value. The VM uses a stack internally, but can translate to and from this type.

Fields

constants: Bindings

rules: HashMap<Symbol, GenericRule>

sources: Sources

inline_queries: Vec<Term>

Implementations

impl KnowledgeBase

pub fn new() -> Self

pub fn new_id(&self) -> u64

Return a monotonically increasing integer ID.

Wraps around at 52 bits of precision so that it can be safely coerced to an IEEE-754 double-float (f64).

pub fn id_counter(&self) -> Counter

pub fn gensym(&self, prefix: &str) -> Symbol

Generate a new symbol.

pub fn constant(&mut self, name: Symbol, value: Term)

Define a constant variable.

pub fn is_constant(&self, name: &Symbol) -> bool

Return true if a constant with the given name has been defined.

Trait Implementations

impl Default for KnowledgeBase

fn default() -> KnowledgeBase

Returns the “default value” for a type.