Crate vidhi 

Macros

atom

fact

pattern

variable

Structs

Fact

Represents the facts in our database.

Pattern

A pattern to create rules.

Variable

Represents a variable.

WorkingMemory

Represents the working memory, comprised of facts.

Enums

Atom

Represents a concrete value.

InsertResult

Represents the change in working memory after an insert operation.

Term

Represents either a variable or a concrete value.

Functions

match_rule

Find’s all possible bindings for given database and conditions.

unify

Tries to unify a pattern to a fact, and returns updated bindings if found.

Type Aliases

Bindings

Binds a variable to a concrete value.