theory/it.unibo.tuprolog.theory/Theory

Theory

interface Theory : Iterable<<ERROR CLASS>>
Content copied to clipboard

Types

Link copied to clipboard
object Companion
Content copied to clipboard

Functions

Link copied to clipboard
abstract fun abolish(indicator: <ERROR CLASS>): Theory
Content copied to clipboard
Link copied to clipboard
abstract fun assertA(clause: <ERROR CLASS>): Theory
Content copied to clipboard
open fun assertA(struct: <ERROR CLASS>): Theory
Content copied to clipboard

Adds given clause before all other clauses in this theory

abstract fun assertA(clauses: Iterable<<ERROR CLASS>>): Theory
Content copied to clipboard
abstract fun assertA(clauses: Sequence<<ERROR CLASS>>): Theory
Content copied to clipboard

Adds the given clauses before all other clauses in this theory

Link copied to clipboard
abstract fun assertZ(clause: <ERROR CLASS>): Theory
Content copied to clipboard
open fun assertZ(struct: <ERROR CLASS>): Theory
Content copied to clipboard

Adds given clause after all other clauses in this theory

abstract fun assertZ(clauses: Iterable<<ERROR CLASS>>): Theory
Content copied to clipboard
abstract fun assertZ(clauses: Sequence<<ERROR CLASS>>): Theory
Content copied to clipboard

Adds the given clauses after all other clauses in this theory

Link copied to clipboard
abstract fun clone(): Theory
Content copied to clipboard
Link copied to clipboard
abstract operator fun contains(clause: <ERROR CLASS>): Boolean
Content copied to clipboard

Checks if given clause is contained in this theory

abstract operator fun contains(indicator: <ERROR CLASS>): Boolean
Content copied to clipboard

Checks if clauses exists in this theory having the specified Indicator as head; this should be Indicator.isWellFormed

abstract operator fun contains(head: <ERROR CLASS>): Boolean
Content copied to clipboard

Checks if given clause is present in this theory

Link copied to clipboard
abstract fun equals(other: Theory, useVarCompleteName: Boolean): Boolean
Content copied to clipboard
Link copied to clipboard
abstract operator fun get(clause: <ERROR CLASS>): Sequence<<ERROR CLASS>>
Content copied to clipboard

Retrieves matching clauses from this theory

abstract operator fun get(indicator: <ERROR CLASS>): Sequence<<ERROR CLASS>>
Content copied to clipboard

Retrieves all rules in this theory having the specified Indicator as head; this should be Indicator.isWellFormed

abstract operator fun get(head: <ERROR CLASS>): Sequence<<ERROR CLASS>>
Content copied to clipboard

Retrieves matching rules from this theory

Link copied to clipboard
abstract operator fun iterator(): Iterator<<ERROR CLASS>>
Content copied to clipboard
Link copied to clipboard
open operator fun plus(clause: <ERROR CLASS>): Theory
Content copied to clipboard

Adds given Clause to this Theory

abstract operator fun plus(theory: Theory): Theory
Content copied to clipboard

Adds given Theory to this

Link copied to clipboard
abstract fun retract(clause: <ERROR CLASS>): RetractResult<Theory>
Content copied to clipboard
open fun retract(head: <ERROR CLASS>): RetractResult<Theory>
Content copied to clipboard

Tries to delete a matching clause from this theory

abstract fun retract(clauses: Iterable<<ERROR CLASS>>): RetractResult<Theory>
Content copied to clipboard
abstract fun retract(clauses: Sequence<<ERROR CLASS>>): RetractResult<Theory>
Content copied to clipboard

Tries to delete the matching clauses from this theory

Link copied to clipboard
abstract fun retractAll(clause: <ERROR CLASS>): RetractResult<Theory>
Content copied to clipboard
open fun retractAll(head: <ERROR CLASS>): RetractResult<Theory>
Content copied to clipboard

Tries to delete all matching clauses from this theory

Link copied to clipboard
abstract fun toImmutableTheory(): Theory
Content copied to clipboard
Link copied to clipboard
abstract fun toMutableTheory(): MutableTheory
Content copied to clipboard
Link copied to clipboard
abstract fun toString(asPrologText: Boolean): String
Content copied to clipboard

An enhanced toString that prints the theory in a Prolog program format, if asPrologText is true

Properties

Link copied to clipboard
abstract val clauses: Iterable<<ERROR CLASS>>
Content copied to clipboard

All Clauses in this theory

Link copied to clipboard
open val directives: Iterable<<ERROR CLASS>>
Content copied to clipboard

Only clauses that are Directives

Link copied to clipboard
open val isMutable: Boolean
Content copied to clipboard
Link copied to clipboard
open val rules: Iterable<<ERROR CLASS>>
Content copied to clipboard

Only clauses that are Rules

Link copied to clipboard
abstract val size: Long
Content copied to clipboard

The amount of clauses in this Theory

Inheritors

Link copied to clipboard