readTerms

abstract fun readTerms(reader: Reader, operators: OperatorSet): Sequence<Term>
open fun readTerms(reader: Reader): Sequence<Term>
abstract fun readTerms(inputStream: InputStream, operators: OperatorSet): Sequence<Term>
open fun readTerms(inputStream: InputStream): Sequence<Term>
open fun readTerms(string: String, operators: OperatorSet): Sequence<Term>
open fun readTerms(string: String): Sequence<Term>