toClause

fun Term.toClause(source: Any? = null, line: Int = 0, column: Int = 0): Clause

Converts this term to a clause, promoting a Struct to a fact when necessary.

Throws

if this term is neither a Clause nor a Struct