datalog/it.unibo.tuprolog.datalog.exception/InvalidLiteralException

InvalidLiteralException

class InvalidLiteralException : TuPrologException

Constructors

Link copied to clipboard
fun InvalidLiteralException(literal: Term, clause: Clause?, cause: Throwable? = null)
Link copied to clipboard
fun InvalidLiteralException(literal: Term, cause: Throwable? = null)

Properties

Link copied to clipboard
open val cause: Throwable?
Link copied to clipboard
val clause: Clause?
Link copied to clipboard
val literal: Term
Link copied to clipboard
open val message: String?