Function pred 

pub fn pred(name: impl Into<String>, args: Vec<Term>) -> Clause

A predicate clause [(name args...)].