InvalidClauseException

open class InvalidClauseException: TuPrologException

Fields

Name Description
open message: String?

the detail message string.

val term: Term

Constructors

<init>

constructor(term: Term, cause: Throwable?)

Parameters

Name Description
term: Term
cause: Throwable?