io.github.prolobjectlink.prolog

Interface PrologInteger

All Superinterfaces:

Comparable<PrologTerm>, PrologElement, PrologNumber, PrologTerm

public interface PrologInteger
extends PrologNumber

Prolog term that represent a integer number. Extends from PrologNumber who contains an immutable Integer instance. The Prolog Provider is the mechanism to create a new Prolog integer invoking PrologProvider.newInteger(Number). Two integers numbers are equals if and only if are integers and have equal value. Integers numbers unify only with same value integers or with free variable.

Since:

1.0

Author:

Jose Zalacain

Method Summary

Methods inherited from interface io.github.prolobjectlink.prolog.PrologNumber

getDoubleValue, getFloatValue, getIntegerValue, getLongValue, getPrologDouble, getPrologFloat, getPrologInteger, getPrologLong

Methods inherited from interface io.github.prolobjectlink.prolog.PrologTerm

cast, getArgument, getArguments, getArity, getFunctor, getIndicator, getObject, getProvider, getTerm, getType, hasIndicator, isAtom, isAtomic, isClass, isCompound, isDouble, isEmptyList, isEntry, isEvaluable, isFalseType, isField, isFloat, isInteger, isList, isLong, isMap, isMixin, isNil, isNullType, isNumber, isObjectType, isParameter, isReference, isResult, isStructure, isTrueType, isVariable, isVariableBound, isVariableNotBound, isVoidType, match, unify

Methods inherited from interface java.lang.Comparable

compareTo

Methods inherited from interface io.github.prolobjectlink.prolog.PrologElement

isClause, isTerm