setBodyItems

abstract fun setBodyItems(argument: Term, vararg arguments: Term): Clause

Creates a novel Clause which is a copy of the current one, except that body is set from argument and arguments.


abstract fun setBodyItems(arguments: Iterable<Term>): Clause
abstract fun setBodyItems(arguments: Sequence<Term>): Clause

See also