setBody

abstract fun setBody(body: Term): Clause

Creates a novel Clause which is a copy of the current one, except that body is set to body.