appendHeadArg

abstract fun appendHeadArg(argument: Term): Clause

Alias for addLastHeadArg.