setHeadArgs

abstract override fun setHeadArgs(vararg arguments: Term): Rule

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


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

See also