solve/it.unibo.tuprolog.solve.library/Runtime

Runtime

interface Runtime : Pluggable, Map<String, Library>

Represents a group of Library objects constituting the runtime a logic solver may leverage upon, keyed by Library.alias (as the underlying Map<String, Library> reflects).

A it.unibo.tuprolog.solve.Solver loads exactly one Runtime (see it.unibo.tuprolog.solve.SolverFactory.defaultRuntime); Runtime is what lets several independently-authored Library instances (e.g. :io-lib, :oop-lib, a standard-library Library) coexist within a single solver, aliasing being the mechanism that resolves clashing predicate indicators without either library needing to know about the other.

Construct one via the companion's empty/of factories, or combine Library/Runtime instances with plus.

See also

MutableSolver.setRuntime

Types

object Companion

Properties

abstract val aliases: Set<String>

The Library.alias of every library in this runtime; same as this map's keys.

abstract val clauses: List<Clause>

Rules, facts, or directories to be loaded by a solver when the library is used

open val documentation: Map<Signature, String>

Markdown documentation indexed by the effective component signature.

abstract val entries: Set<Map.Entry<String, Library>>

abstract val functions: Map<Signature, LogicFunction>

LogicFunctions to be loaded by a solver when the library is used, indexed by their Signature in the eyes of the solver

abstract val keys: Set<String>

abstract val libraries: Set<Library>

All libraries composing this library group

abstract val operators: OperatorSet

Operators to be loaded by a solver when the library is used

abstract val primitives: Map<Signature, Primitive>

Primitives to be loaded by a solver when the library is used, indexed by their Signature in the eyes of the solver

rulesSignatures

open val rulesSignatures: Sequence<Signature>

The Signature of every Rule (i.e. non-fact clause) among clauses, deduplicated.

expect abstract val size: Int

abstract val values: Collection<Library>

Functions

abstract fun asTheory(unificator: Unificator): Theory

Merges every library's Pluggable.clauses into a single indexed Theory, using unificator.

open operator fun contains(operator: Operator): Boolean

Checks whether this library contains the definition of provided operator

open operator fun contains(signature: Signature): Boolean

Checks whether this library contains the provided signature.

abstract fun containsKey(key: String): Boolean

abstract fun containsValue(value: Library): Boolean

abstract operator fun get(key: String): Library?

getAllOperators

fun Runtime.getAllOperators(): Sequence<Operator>

Shorthand for this Runtime's declared Runtime.operators, as a Sequence.

open fun hasFunction(signature: Signature): Boolean

Checks whether this library has a LogicFunction with provided signature

open fun hasPrimitive(signature: Signature): Boolean

Checks whether this library has a Primitive with provided signature

open fun hasProtected(signature: Signature): Boolean

Checks whether the provided signature, is protected in this library

abstract fun hasRule(signature: Signature): Boolean

Checks whether this library has a Rule with provided signature

expect abstract fun isEmpty(): Boolean

abstract operator fun minus(library: Library): Runtime

Removes the library from this library group.

abstract operator fun minus(alias: String): Runtime

Removes the library aliased alias from this library group.

abstract operator fun minus(aliases: Iterable<String>): Runtime

Same as minus for a single alias, but removes every library aliased by any of aliases.

abstract operator fun plus(other: Library): Runtime

Returns a new Runtime with other added to libraries.

abstract operator fun plus(runtime: Runtime): Runtime

Adds all libraries in provided libraryGroup to this libraryGroup.

abstract fun update(library: Library): Runtime

Updates an already contained library, with given library.