structOf

abstract fun structOf(functor: String, vararg args: Term): Struct
abstract fun structOf(functor: String, args: Sequence<Term>): Struct
abstract fun structOf(functor: String, args: Iterable<Term>): Struct
abstract fun structOf(functor: String, args: List<Term>): Struct

Creates a Struct with the given functor and args. See Struct.of.