FUNCTOR

const val FUNCTOR: String

The canonical clause functor: :- (same as Clause.FUNCTOR).