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

MagicCut

object MagicCut : Atom

Properties

open override val args: List<Term>

open override val argsSequence: Sequence<Term>

open override val arity: Int

const val FUNCTOR: String

open override val functor: String

open override val indicator: Indicator

open override val isAtom: Boolean

open override val isBlock: Boolean

open override val isClause: Boolean

open override val isCons: Boolean

open override val isConstant: Boolean

open override val isDirective: Boolean

open override val isEmptyBlock: Boolean

open override val isEmptyList: Boolean

open override val isFact: Boolean

open override val isFail: Boolean

isFunctorWellFormed

open override val isFunctorWellFormed: Boolean

open override val isGround: Boolean

open override val isIndicator: Boolean

open override val isInteger: Boolean

open override val isList: Boolean

open override val isNumber: Boolean

open override val isReal: Boolean

open override val isRecursive: Boolean

open override val isRule: Boolean

open override val isStruct: Boolean

open override val isTrue: Boolean

open override val isTruth: Boolean

open override val isTuple: Boolean

open override val isVar: Boolean

open override val tags: Map<String, Any>

open override val value: String

open override val variables: Sequence<Var>

Functions

open override fun <T> accept(visitor: TermVisitor<T>): T

open override fun addFirst(argument: Term): Struct

open override fun addLast(argument: Term): Struct

open override fun append(argument: Term): Struct

open override fun apply(substitution: Substitution): Term

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

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

open override fun asAtom(): Atom

open override fun asBlock(): Block?

open override fun asClause(): Clause?

open override fun asCons(): Cons?

open override fun asConstant(): Constant

open override fun asDirective(): Directive?

open override fun asEmptyBlock(): EmptyBlock?

open override fun asEmptyList(): EmptyList?

open override fun asFact(): Fact?

open override fun asIndicator(): Indicator?

open override fun asInteger(): Integer?

open override fun asList(): List?

open override fun asNumeric(): Numeric?

open override fun asReal(): Real?

open override fun asRecursive(): Recursive?

open override fun asRule(): Rule?

open override fun asStruct(): Struct

open override fun asTerm(): Term

open override fun asTruth(): Truth?

open override fun asTuple(): Tuple?

open override fun asVar(): Var?

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

open override fun castToAtom(): Atom

open override fun castToBlock(): Block

open override fun castToClause(): Clause

open override fun castToCons(): Cons

open override fun castToConstant(): Constant

castToDirective

open override fun castToDirective(): Directive

castToEmptyBlock

open override fun castToEmptyBlock(): EmptyBlock

castToEmptyList

open override fun castToEmptyList(): EmptyList

open override fun castToFact(): Fact

castToIndicator

open override fun castToIndicator(): Indicator

open override fun castToInteger(): Integer

open override fun castToList(): List

open override fun castToNumeric(): Numeric

open override fun castToReal(): Real

castToRecursive

open override fun castToRecursive(): Recursive

open override fun castToRule(): Rule

open override fun castToStruct(): Struct

open override fun castToTerm(): Term

open override fun castToTruth(): Truth

open override fun castToTuple(): Tuple

open override fun castToVar(): Var

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

open override fun containsTag(name: String): Boolean

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

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

extractSignature

fun Struct.extractSignature(): Signature

Extracts this Struct indicator and converts it to Signature

open override fun freshCopy(): Atom

open override fun freshCopy(scope: Scope): Atom

open operator override fun get(index: Int): Term

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

open override fun getArgAt(index: Int): Term

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

open override fun hashCode(): Int

open override fun insertAt(index: Int, argument: Term): Struct

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

open override fun setArgs(args: Iterable<Term>): Struct

open override fun setArgs(args: Sequence<Term>): Struct

open override fun setArgs(vararg args: Term): Struct

open override fun setFunctor(functor: String): Struct

structurallyEquals

open infix override fun structurallyEquals(other: Term): Boolean

open override fun toString(): String