solve/it.unibo.tuprolog.solve.stdlib.magic/MagicTerm

MagicTerm

interface MagicTerm : Term

Properties

open val isAtom: Boolean

open val isBlock: Boolean

open val isClause: Boolean

open val isCons: Boolean

open val isConstant: Boolean

open val isDirective: Boolean

open val isEmptyBlock: Boolean

open val isEmptyList: Boolean

open val isFact: Boolean

open val isFail: Boolean

open val isGround: Boolean

open val isIndicator: Boolean

open val isInteger: Boolean

open val isList: Boolean

open val isNumber: Boolean

open val isReal: Boolean

open val isRecursive: Boolean

open val isRule: Boolean

open val isStruct: Boolean

open val isTrue: Boolean

open val isTruth: Boolean

open val isTuple: Boolean

open val isVar: Boolean

abstract val tags: Map<String, Any>

abstract val variables: Sequence<Var>

Functions

abstract fun <T> accept(visitor: TermVisitor<T>): T

abstract fun apply(substitution: Substitution): Term

open fun apply(substitution: Substitution, vararg substitutions: Substitution): Term

open override fun <T : Term> as(): T?

open fun asAtom(): Atom?

open fun asBlock(): Block?

open fun asClause(): Clause?

open fun asCons(): Cons?

open fun asConstant(): Constant?

open fun asDirective(): Directive?

open fun asEmptyBlock(): EmptyBlock?

open fun asEmptyList(): EmptyList?

open fun asFact(): Fact?

open fun asIndicator(): Indicator?

open fun asInteger(): Integer?

open fun asList(): List?

open fun asNumeric(): Numeric?

open fun asReal(): Real?

open fun asRecursive(): Recursive?

open fun asRule(): Rule?

open fun asStruct(): Struct?

open fun asTerm(): Term

open fun asTruth(): Truth?

open fun asTuple(): Tuple?

open fun asVar(): Var?

open override fun <T : Term> castTo(): T

open fun castToAtom(): Atom

open fun castToBlock(): Block

open fun castToClause(): Clause

open fun castToCons(): Cons

open fun castToConstant(): Constant

castToDirective

open fun castToDirective(): Directive

castToEmptyBlock

open fun castToEmptyBlock(): EmptyBlock

castToEmptyList

open fun castToEmptyList(): EmptyList

open fun castToFact(): Fact

castToIndicator

open fun castToIndicator(): Indicator

open fun castToInteger(): Integer

open fun castToList(): List

open fun castToNumeric(): Numeric

open fun castToReal(): Real

castToRecursive

open fun castToRecursive(): Recursive

open fun castToRule(): Rule

open fun castToStruct(): Struct

open fun castToTerm(): Term

open fun castToTruth(): Truth

open fun castToTuple(): Tuple

open fun castToVar(): Var

open operator override fun compareTo(other: Term): Int

open fun containsTag(name: String): Boolean

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

abstract fun equals(other: Term, useVarCompleteName: Boolean): Boolean

evalAsArithmeticExpression

fun Term.evalAsArithmeticExpression(request: Solve.Request<*>, index: Int? = null): Numeric

Evaluates this Term as a full arithmetic expression (as is/2 does), via ArithmeticEvaluator, producing a Numeric result or raising an error if any sub-term is not evaluable, or does not evaluate to a number. index is used only to enrich thrown errors, identifying which argument of request this term came from.

evalAsExpression

fun Term.evalAsExpression(request: Solve.Request<*>, index: Int? = null): Term

Evaluates this Term as an expression against request's context-loaded functions, reducing evaluable sub-terms in place via ExpressionEvaluator; a non-evaluable sub-term raises a it.unibo.tuprolog.solve.exception.error.TypeError. index is used only to enrich that error, identifying which argument of request this term came from.

abstract fun freshCopy(): Term

abstract fun freshCopy(scope: Scope): Term

open operator fun get(substitution: Substitution, vararg substitutions: Substitution): Term

open fun <T : Any> getTag(name: String): T?

abstract override fun hashCode(): Int

abstract fun replaceTags(tags: Map<String, Any>): Term

structurallyEquals

abstract infix fun structurallyEquals(other: Term): Boolean

abstract override fun toString(): String