setBodyItems

abstract override fun setBodyItems(argument: Term, vararg arguments: Term): Rule

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


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

See also