core/it.unibo.tuprolog.argumentation.core.modules/LazyRawPrologContent

LazyRawPrologContent

abstract class LazyRawPrologContent : ArgLibrary, RawPrologContent

A part of arg2p whose Prolog theory is a text (prologRawTheory), parsed at the first use

Inheritors

Constructors

LazyRawPrologContent

constructor()

Properties

abstract val alias: String

abstract val baseContent: Library

abstract val baseFlags: Iterable<ArgsFlag<*, *>>

prologRawTheory

abstract val prologRawTheory: String

open override val prologTheory: Theory

theoryOperators

open val theoryOperators: OperatorSet

Functions

open fun content(): Library

open fun flags(): Iterable<ArgsFlag<*, *>>