pub fn rule(name: impl Into<String>, args: Vec<Term>) -> Clause
A rule invocation (rule-name args...).
(rule-name args...)