Function constrained_rule 

pub fn constrained_rule<T: AsRef<Term>>(
    head_name: &str,
    head_terms: &[T],
    predicates: &[Predicate],
    expressions: &[Expression],
) -> Rule

creates a rule with constraints