isClause

open val isClause: Boolean

Checks whether the current term is a clause, i.e., either a rule or a directive. This method is guaranteed to return true if and only if the current term is an instance of Clause.

Return

true if the current term is a clause, or false, otherwise