core/it.unibo.tuprolog.core/Rule/Companion/of

of

fun of(head: Struct, vararg body: Term): Rule

Creates a Rule with the given head and body goals (folded into a single Term via Tuple when there is more than one). If body is empty, or reduces to a single true goal, a Fact is returned instead of a generic Rule.

@JvmStatic

fun of(head: Struct, body: Iterable<Term>): Rule

@JvmStatic

fun of(head: Struct, body: Sequence<Term>): Rule

of

See also