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