clauseOf

abstract fun clauseOf(head: Struct?, vararg body: Term): Clause

Creates a Clause with the given (possibly null) head and body. See Clause.of.