Parse Horn clauses as a transition system
Need to use Numeral.equal and Decimal.equal for equality of symbols