documentation
1.5.1-dev02-c0569c38e
      Target filter
Search in API
Skip to content
    documentation
dsl-theory/it.unibo.tuprolog.dsl.theory/LogicProgrammingScopeWithTheories/toClause

toClause

open fun Any.toClause(): Clause

Converts this value into a Clause: returned as-is if it.unibo.tuprolog.dsl.BaseLogicProgrammingScope.toTerm already yields a Clause (e.g. a it.unibo.tuprolog.core.Rule, it.unibo.tuprolog.core.Fact or it.unibo.tuprolog.core.Directive), or wrapped into a headless-body Clause via it.unibo.tuprolog.core.Scope.clauseOf if it is a plain it.unibo.tuprolog.core.Struct (mirroring how it.unibo.tuprolog.dsl.MinimalLogicProgrammingScope.fact wraps a bare it.unibo.tuprolog.core.Struct via it.unibo.tuprolog.core.Scope.factOf).

Throws

IllegalArgumentException

if this value is neither a Clause nor a it.unibo.tuprolog.core.Struct once converted to a it.unibo.tuprolog.core.Term.

Generated by Dokka
© 2026 Copyright