Integer

The value of this number, widened to a BigDecimal. Always exact for Integers.

The value of this number, narrowed to a BigInteger. For Reals, this truncates the fractional part.

Checks whether the current term is an atom. This method is guaranteed to return true if and only if the current term is an instance of Atom.

Checks whether the current term is a logic block. This method is guaranteed to return true if and only if the current term is an instance of Block.

Checks whether the current term is a clause, i.e., either a rule or a directive. This method is guaranteed to return true if and only if the current term is an instance of Clause.

Checks whether the current term is a cons. This method is guaranteed to return true if and only if the current term is an instance of Cons.

Checks whether the current term is a constant, i.e., either an atom or a number. This method is guaranteed to return true if and only if the current term is an instance of Constant.

Checks whether the current term is a directive. This method is guaranteed to return true if and only if the current term is an instance of Directive.

Checks whether the current term is an empty logic block. This method is guaranteed to return true if and only if the current term is an instance of EmptyBlock.

Checks whether the current term is an empty logic list. This method is guaranteed to return true if and only if the current term is an instance of EmptyList.

Checks whether the current term is a fact. This method is guaranteed to return true if and only if the current term is an instance of Fact.

Checks whether the current term is the either the fail atom or the false atom. This method is guaranteed to return true if and only if the current term is an instance of Truth and its Truth.value is "fail" or "false".

Checks whether the current object is ground. An object is ground if and only if it does not contain any variable. This method is guaranteed to return true if and only if the variables property of the current object refers to an empty sequence.

Checks whether the current term is an indicator. This method is guaranteed to return true if and only if the current term is an instance of Indicator.

Checks whether the current term is an integer. This method is guaranteed to return true if and only if the current term is an instance of Integer.

Checks whether the current term is a (logic) list, i.e., either an empty list or a Cons. This method is guaranteed to return true if and only if the current term is an instance of List.

Checks whether the current term is a number, i.e., either an integer or a real number. This method is guaranteed to return true if and only if the current term is an instance of Numeric.

Checks whether the current term is a real number. This method is guaranteed to return true if and only if the current term is an instance of Real.

Checks whether the current term is a recursive structure, i.e., a list, a tuple, or a block. This method is guaranteed to return true if and only if the current term is an instance of Recursive.

Checks whether the current term is a rule, or a fact. This method is guaranteed to return true if and only if the current term is an instance of Rule.

Checks whether the current term is a structure, i.e., either a compound term or an atom. This method is guaranteed to return true if and only if the current term is an instance of Struct.

Checks whether the current term is the true atom. This method is guaranteed to return true if and only if the current term is an instance of Truth and its Truth.value is "true".

Checks whether the current term is a truth value. This method is guaranteed to return true if and only if the current term is an instance of Truth.

Checks whether the current term is a logic tuple, i.e., a right-recursive conjunction of 2 or more terms. This method is guaranteed to return true if and only if the current term is an instance of Tuple.

Checks whether the current term is a variable. This method is guaranteed to return true if and only if the current term is an instance of Var.

The exact value of this integer.

The sequence of Variables directly or indirectly contained in the current object. Variables are lazily returned in a non-deterministic order. Notice that no occurrence-check is performed. Thus, if a Term contains the same Variable twice or more times, then the variables sequence may contain as many occurrences of that Variable

Lets the provided TermVisitor navigate the current term and build an object of type T. Such an object is then returned as a result by this method.

Applies a Substitution to the current object, producing a new instance of T which differs from the current object because variables are replaced by their values, according to the binding carried by substitution.

Applies one or more Substitutions to the current object, producing a new instance of T which differs from the current one because variables are replaced by their values, according to the binding carried by the provided substitutions.

Helper method aimed at down-casting Terms using a fluent style

Casts the current Term to Atom, if possible, or returns null otherwise

Casts the current Term to Block, if possible, or returns null otherwise

Casts the current Term to Clause, if possible, or returns null otherwise

Casts the current Term to Cons, if possible, or returns null otherwise

Casts the current Term to Constant, if possible, or returns null otherwise

Casts the current Term to Directive, if possible, or returns null otherwise

Casts the current Term to EmptyBlock, if possible, or returns null otherwise

Casts the current Term to EmptyList, if possible, or returns null otherwise

Casts the current Term to Fact, if possible, or returns null otherwise

Casts the current Term to Indicator, if possible, or returns null otherwise

Casts the current Term to Integer, if possible, or returns null otherwise

Casts the current Term to List, if possible, or returns null otherwise

Casts the current Term to Numeric, if possible, or returns null otherwise

Casts the current Term to Real, if possible, or returns null otherwise

Casts the current Term to Recursive, if possible, or returns null otherwise

Casts the current Term to Rule, if possible, or returns null otherwise

Casts the current Term to Struct, if possible, or returns null otherwise

Casts the current Term to Term

Casts the current Term to Truth, if possible, or returns null otherwise

Casts the current Term to Tuple, if possible, or returns null otherwise

Casts the current Term to Var, if possible, or returns null otherwise

Helper method aimed at down-casting Terms using a fluent style

Casts the current Term to Atom, if possible

Casts the current Term to Block, if possible

Casts the current Term to Clause, if possible

Casts the current Term to Cons, if possible

Casts the current Term to Constant, if possible

Casts the current Term to Directive, if possible

Casts the current Term to EmptyBlock, if possible

Casts the current Term to EmptyList, if possible

Casts the current Term to Fact, if possible

Casts the current Term to Indicator, if possible

Casts the current Term to Integer, if possible

Casts the current Term to List, if possible

Casts the current Term to Numeric, if possible

Casts the current Term to Real, if possible

Casts the current Term to Recursive, if possible

Casts the current Term to Rule, if possible

Casts the current Term to Struct, if possible

Casts the current Term to Term

Casts the current Term to Truth, if possible

Casts the current Term to Tuple, if possible

Casts the current Term to Var, if possible

Compares this term to the provided one, returning a positive integer if this term precedes other, a negative integer if other precedes this term, or 0 otherwise

Compares this number to other by numeric value alone (via decimalValue), regardless of whether either is an Integer or a Real. This is different from Term.compareTo, which orders integers before reals of the same the term-comparison sense rather than by value.

Checks whether another term is equals to the current one or not, by explicitly letting the client decide whether to rely or not on Varriables complete names for checking equality among two Variables. If useVarCompleteName is true, Variables are compared through their Var.completeName property. Otherwise, they are compared through their Var.name property. Other sorts of terms are compared as Term.equals(Any?).

Returns a fresh copy of this object, that is, an instance of T which is equal to the current one in any aspect, except for variables directly or indirectly contained into this object, which are refreshed. This means the method could return this object itself, if no variable is present, or a new object with freshly generated variables.

Returns a fresh copy of this object, similarly to freshCopy(), possibly reusing variables from the provided scope, if any

This is an alias for apply aimed at supporting a square-brackets syntax for substitutions applications in Kotlin programs. It lets programmers write object[substitution] instead of object.apply(substitution). It applies one or more Substitutions to the current object, producing a new Term which differs from the current one because variables are replaced by their values, according to the binding carried by the provided substitutions.

Checks whether another term is structurally equals to the current one or not. Structural equivalence is a looser type of equivalence (w.r.t. term equivalence) where: