Parsing Horn clause input
Configuration for OCaml Merlin
Converting horn clauses to a transition system