solve/it.unibo.tuprolog.solve.library/Pluggable

Pluggable

interface Pluggable

Base type for anything that can be "plugged into" a solver by contributing operators, clauses, primitives, and functions -- namely Library and Runtime (a group of libraries), which both implement this by aggregating their constituents' contributions.

Inheritors

AbstractPluggable

Properties

abstract val clauses: List<Clause>

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

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 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.

Functions

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.

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