Function parse_clause 

pub fn parse_clause(s: &str) -> Option<LpClause>

Parse a Horn clause from a string: head :- b1, b2. or head.