indicatorOf

abstract fun indicatorOf(name: Term, arity: Term): Indicator
abstract fun indicatorOf(name: String, arity: Int): Indicator

Creates an Indicator with the given name and arity. See Indicator.of.