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 (=).