setHeadArgs

abstract fun setHeadArgs(vararg arguments: Term): Clause

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


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

See also