addFirstHeadArg

abstract override fun addFirstHeadArg(argument: Term): Rule

Creates a novel Clause which is a copy of the current one, except that argument is prepended to head's arguments.