Struct polar_core::kb::KnowledgeBase

pub struct KnowledgeBase {
    pub constants: Bindings,
    pub loaded_files: HashMap<String, u64>,
    pub loaded_content: HashMap<String, String>,
    pub sources: Sources,
    pub inline_queries: Vec<Term>,
    pub resource_blocks: ResourceBlocks,
    // some fields omitted
}

Fields

constants: Bindings

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

loaded_files: HashMap<String, u64>

Map from loaded files to the source ID

loaded_content: HashMap<String, String>

Map from source code loaded to the filename it was loaded as

sources: Sources

inline_queries: Vec<Term>

resource_blocks: ResourceBlocks

Resource block bookkeeping.

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 temp_prefix(name: &str) -> String

Generate a temporary variable prefix from a variable name.

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

Generate a new symbol.

pub fn add_rule(&mut self, rule: Rule)

pub fn validate_rules(&self) -> PolarResult<()>

Validate that all rules loaded into the knowledge base are valid based on rule types.

pub fn get_rules(&self) -> &HashMap<Symbol, GenericRule>

pub fn get_generic_rule(&self, name: &Symbol) -> Option<&GenericRule>

pub fn add_rule_type(&mut self, rule_type: Rule)

pub fn constant(&mut self, name: Symbol, value: Term) -> PolarResult<()>

Define a constant variable.

pub fn add_mro(&mut self, name: Symbol, mro: Vec<u64>) -> PolarResult<()>

Add the Method Resolution Order (MRO) list for a registered class. The mro argument is a list of the instance_id associated with a registered class.

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

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

pub fn add_source(&mut self, source: Source) -> PolarResult<u64>

pub fn clear_rules(&mut self)

pub fn remove_file(&mut self, filename: &str) -> Option<String>

Removes a file from the knowledge base by finding the associated Source and removing all rules for that source, and removes the file from loaded files.

Optionally return the source for the file, returning None if the file was not in the loaded files.

pub fn remove_source(&mut self, source_id: u64) -> String

Removes a source from the knowledge base by finding the associated Source and removing all rules for that source. Will also remove the loaded files if the source was loaded from a file.

pub fn set_error_context(
    &self,
    term: &Term,
    error: impl Into<PolarError>
) -> PolarError

pub fn rewrite_shorthand_rules(&mut self) -> PolarResult<()>

pub fn is_union(&self, maybe_union: &Term) -> bool

pub fn get_union_members(&self, union: &Term) -> &HashSet<Term>

pub fn has_rules(&self) -> bool

Trait Implementations

impl Default for KnowledgeBase

fn default() -> KnowledgeBase

Returns the “default value” for a type.