solve-concurrent/it.unibo.tuprolog.solve.concurrent.stdlib/DefaultBuiltins

DefaultBuiltins

object DefaultBuiltins : ExtensionLibrary

The standard-library it.unibo.tuprolog.solve.library.Library of :solve-concurrent, backing it.unibo.tuprolog.solve.concurrent.ConcurrentSolverFactory.defaultBuiltins. Extends CommonBuiltins (the predicates/rules shared by every resolution strategy) with a handful of control predicates whose implementation must know about this module's concurrency model, and therefore cannot be shared verbatim with :solve-classic/:solve-streams: it.unibo.tuprolog.solve.concurrent.stdlib.rule.Call, it.unibo.tuprolog.solve.concurrent.stdlib.rule.Catch, it.unibo.tuprolog.solve.concurrent.stdlib.rule.Comma, it.unibo.tuprolog.solve.concurrent.stdlib.rule.Cut, it.unibo.tuprolog.solve.concurrent.stdlib.rule.NegationAsFailure, it.unibo.tuprolog.solve.concurrent.stdlib.primitive.Naf, it.unibo.tuprolog.solve.concurrent.stdlib.primitive.Or and it.unibo.tuprolog.solve.concurrent.stdlib.primitive.Throw.

Properties

additionalOperators

open val additionalOperators: Iterable<Operator>

open override val alias: String

override val clauses: List<Clause>

open override val functions: Map<Signature, LogicFunction>

open override val operators: OperatorSet

open override val primitives: Map<Signature, Primitive>

rulesSignatures

open val rulesSignatures: Sequence<Signature>

Functions

open operator fun contains(operator: Operator): Boolean

open operator fun contains(signature: Signature): Boolean

open operator override fun equals(other: Any?): Boolean

open fun hasFunction(signature: Signature): Boolean

open override fun hashCode(): Int

open fun hasPrimitive(signature: Signature): Boolean

open fun hasProtected(signature: Signature): Boolean

open override fun hasRule(signature: Signature): Boolean

open override fun toString(): String