Package it.unibo.tuprolog.theory.parsing

Types

ClausesParser

common

interface ClausesParser

ClausesParserImpl

js

class ClausesParserImpl(defaultOperatorSet: OperatorSet) : ClausesParser

ClausesReader

jvm

interface ClausesReader

Functions

parse

common

fun Theory.Companion.parse(input: String): Theory

fun Theory.Companion.parse(input: String, operators: OperatorSet): Theory

parseAsClauses

common

fun String.parseAsClauses(): List<Clause>

fun String.parseAsClauses(operators: OperatorSet): List<Clause>

parseAsClausesLazily

common

fun String.parseAsClausesLazily(): Sequence<Clause>

fun String.parseAsClausesLazily(operators: OperatorSet): Sequence<Clause>

parseAsTheory

common

fun String.parseAsTheory(): Theory

fun String.parseAsTheory(operators: OperatorSet): Theory