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

Package-level declarations

Types

interface ClausesParser

Parses Prolog source into clauses or a Theory.

interface ClausesReader

Reads clauses and theories lazily from JVM character or byte streams.

Functions

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

Parses input as a theory.

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

Parses input as a theory using operators.

fun String.parseAsClauses(): List<Clause>

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

Parses this string eagerly into clauses.

parseAsClausesLazily

fun String.parseAsClausesLazily(): Sequence<Clause>

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

Parses this string lazily using operators.

fun String.parseAsTheory(): Theory

Parses this string as a theory.

fun String.parseAsTheory(operators: OperatorSet): Theory

Parses this string as a theory using operators.