readTerm

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