Companion

object Companion

Functions

forUncaughtError
Link copied to clipboard
common
fun forUncaughtError(exception: PrologError): SystemError
forUncaughtException
Link copied to clipboard
common
fun forUncaughtException(context: ExecutionContext, exception: Term): SystemError
fun forUncaughtException(context: ExecutionContext, exception: Throwable): SystemError

Properties

typeFunctor
Link copied to clipboard
common
const val typeFunctor: String
The system error Struct functor