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

parseAsFact

fun String.parseAsFact(operators: OperatorSet): Fact

Parses this string as a fact using operators.

Throws

if parsing or type checking fails

fun String.parseAsFact(): Fact

Parses this string as a fact.

Throws

if parsing or type checking fails