Function pred

Source
pub fn pred<I: AsRef<Term>>(name: &str, terms: &[I]) -> Predicate
Expand description

creates a predicate