parser-core/it.unibo.tuprolog.core.parsing/parseAsClause

parseAsClause

fun String.parseAsClause(operators: OperatorSet): Clause

Parses this string as a clause using operators.

Throws

if parsing or type checking fails

fun String.parseAsClause(): Clause

Parses this string as a clause.

Throws

if parsing or type checking fails