ruleOf

abstract fun ruleOf(head: Struct, body1: Term, vararg body: Term): Rule

Creates a Rule with the given head and body. See Rule.of.