setHeadFunctor

abstract fun setHeadFunctor(functor: String): Clause

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