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

parseAsRule

fun String.parseAsRule(operators: OperatorSet): Rule

Parses this string as a rule using operators.

Throws

if parsing or type checking fails

fun String.parseAsRule(): Rule

Parses this string as a rule.

Throws

if parsing or type checking fails