parseTerm

open override fun parseTerm(input: String, operators: OperatorSet): Term

Parses input as one expression and converts it to a tuProlog term.

Throws

if lexing or parsing fails; the typed low-level failure is its cause