readTerm

open override fun readTerm(reader: Reader, operators: OperatorSet): Term?
open override fun readTerm(inputStream: InputStream, operators: OperatorSet): Term?