core/it.unibo.tuprolog.argumentation.core.modules.extra/ModuleCallsModule

ModuleCallsModule

object ModuleCallsModule : ArgLibrary, Loadable

Goals solved on the theories of external modules (module module): Prolog files, found in the modules path (flag modulesPath) by their name, or at a location.

Properties

alias

open override val alias: String

baseContent

open override val baseContent: Library

baseFlags

open override val baseFlags: Iterable<ArgsFlag<*, *>>

theoryOperators

open val theoryOperators: OperatorSet

Functions

content

open fun content(): Library

flags

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

identifier

open override fun identifier(): String