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

parseTheory

open fun parseTheory(input: String, operators: OperatorSet, unificator: Unificator): Theory

Parses input eagerly into an indexed theory using operators and unificator.

Throws

it.unibo.tuprolog.core.parsing.ParseException

if any clause cannot be parsed or an operator declaration is invalid

open fun parseTheory(input: String, operators: OperatorSet): Theory

Parses input using operators and the default unificator.

Throws

it.unibo.tuprolog.core.parsing.ParseException

if parsing fails

open fun parseTheory(input: String, unificator: Unificator): Theory

Parses input using defaultOperatorSet and unificator.

Throws

it.unibo.tuprolog.core.parsing.ParseException

if parsing fails

open fun parseTheory(input: String): Theory

Throws

it.unibo.tuprolog.core.parsing.ParseException

if input cannot be parsed