parser-theory/it.unibo.tuprolog.theory.parsing/parseAsClausesLazily

parseAsClausesLazily

fun String.parseAsClausesLazily(operators: OperatorSet): Sequence<Clause>

Parses this string lazily using operators.

Throws

it.unibo.tuprolog.core.parsing.ParseException

during iteration when a clause fails

fun String.parseAsClausesLazily(): Sequence<Clause>

Throws

it.unibo.tuprolog.core.parsing.ParseException

during iteration when a clause fails