pub fn rule_body( i: &str ) -> IResult<&str, (Vec<Predicate>, Vec<Expression>, Vec<Scope>), Error<'_>>
parse a Datalog rule body