setHeadFunctor

abstract override fun setHeadFunctor(functor: String): Rule

Creates a novel Clause which is a copy of the current one, except that head's functor is set to functor.