NoSuchALibraryException

Thrown by it.unibo.tuprolog.solve.library.Runtime.minus (any overload) -- see that method's KDoc for a caveat about its actual (inverted) throw condition as currently implemented.

message

the detail message string.

cause

the cause of this exception.

Constructors

constructor(message: String? = null, cause: Throwable? = null)

constructor(cause: Throwable?)

expect open val cause: Throwable?

expect open val message: String?