setHeadArgs

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

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>): Fact
abstract override fun setHeadArgs(arguments: Sequence<Term>): Fact

See also