clause

open fun clause(head: Any, body: Any): Struct

Builds a clause/2 Struct; not to be confused with MinimalLogicProgrammingScope.clause.