io.github.prolobjectlink.prolog

Interface PrologIndicator

All Known Implementing Classes:

AbstractIndicator

public interface PrologIndicator

Indicator to denote the signature for Prolog Terms using a functor/arity format. More formally the indicator is formed by the concatenation of the term functor and term arity separated by slash.

Since:

1.0

Author:

Jose Zalacain

Method Summary

Modifier and Type	Method and Description
int	getArity() Indicator arity that is the argument number for compound terms.
String	getFunctor() Indicator functor that is the name for compound terms.
String	getIndicator() Gets the term indicator represented by one string with the format functor/arity.

Method Detail

getArity

int getArity()

Indicator arity that is the argument number for compound terms. If the indicator is not associate to a compound term then the arity is zero.

Returns:

indicator arity.

Since:

1.0

getFunctor

String getFunctor()

Indicator functor that is the name for compound terms.

Returns:

indicator functor for compound terms.

Since:

1.0

getIndicator

String getIndicator()

Gets the term indicator represented by one string with the format functor/arity. More formally the indicator string is formed by the concatenation of getFunctor() and getArity() separated by slash.

Returns:

term indicator

Since:

1.0