parser-theory/it.unibo.tuprolog.theory.parsing/ClausesParser/parseClauses

parseClauses

open fun parseClauses(input: String, operators: OperatorSet): List<Clause>

Parses all clauses from input eagerly using operators.

Throws

it.unibo.tuprolog.core.parsing.ParseException

if any clause fails

open fun parseClauses(input: String): List<Clause>

Throws

it.unibo.tuprolog.core.parsing.ParseException

if any clause in input fails