of

fun of(head: Struct? = null, vararg body: Term): Clause

fun of(head: Struct? = null, body: Iterable<Term>): Clause

Creates a Clause: a Rule if head is non-null, a Directive otherwise.

if head is null and body is empty

fun of(head: Struct? = null, body: Sequence<Term>): Clause