addLastBodyItem

abstract fun addLastBodyItem(argument: Term): Clause

Creates a novel Clause which is a copy of the current one, except that argument is appended to bodyItems.