Skip to main content

rule

Function rule 

Source
pub fn rule(name: impl Into<String>, args: Vec<Term>) -> Clause
Expand description

A rule invocation (rule-name args...).