Pratter: A parser for terms with operators

Pratter is a library that provides a parser that transforms streams of terms to applied terms. Terms may contain infix or prefix operators and native applications. The parser is an extension of the Pratt parsing algorithm.