toTerm

Converts this BigInteger into an Integer. Shorthand for Numeric.of.

Converts this BigDecimal into a Real. Shorthand for Numeric.of.

Converts this Float into a Real. Shorthand for Numeric.of.

Converts this Double into a Real. Shorthand for Numeric.of.

Converts this Int into an Integer. Shorthand for Numeric.of.

Converts this Long into an Integer. Shorthand for Numeric.of.

Converts this Short into an Integer. Shorthand for Numeric.of.

Converts this Byte into an Integer. Shorthand for Numeric.of.

Converts this Number into a Numeric. Shorthand for Numeric.of.

Converts this String into a Term: a Var if it matches Terms.VAR_NAME_PATTERN (i.e. it looks like a legal variable name), or an Atom otherwise.

Converts this Kotlin kotlin.collections.List of Terms into a logic List. Shorthand for List.of.

Converts this Sequence of Terms into a logic List. Shorthand for List.of.

Converts this Iterable of Terms into a logic List. Shorthand for List.of.

Converts this Array of Terms into a logic List. Shorthand for List.of.