Function parse_rule 

pub fn parse_rule(line: &str) -> Result<Rule, String>

Parse a single rule line.

Syntax: Head(Term, ...) :- BodyAtom, BodyAtom. or: Head(Term, ...) :- true.