Module macros

Source
Expand description

Utilities for creating logic variables, complex terms, lists, etc.

add_rules! - Adds facts and rules to a knowledge base.
anon! - Creates an anonymous variable.
atom! - Makes an atom from a string slice.
chars_to_string! - Converts a vector or array of chars to a String.
cons_node! - Constructs one node of a singly linked list.
empty_ss - Creates an empty substitution set, with an Rc-pointer.
logic_var! - Creates a logic variable from a string slice and an optional ID.
and_goal! - Creates an And goal from a list of goals.
or_goal! - Creates an Or goal from a list of goals.
pred! Creates a built-in predicate or complex term, and wraps it in a Goal.
query! - Creates a query from a list of terms.
rc_cell! - Creates a smart pointer to mutable data.
scomplex! - Creates a complex term (= compound term).
sfunction! - Creates a built-in function.
slist! - Builds a Suiron list.
str_to_chars! - Converts a string slice to a vector of characters.
unify Creates a Unify goal (=).