it.unibo.tuprolog.solve.exception.error

package it.unibo.tuprolog.solve.exception.error

Classes

Name Description
class DomainError: PrologError

The domain error occurs when something has the correct type but the value is not amissible

object ErrorUtils: Any

Prolog error handling utilities

class EvaluationError: PrologError

The evaluation error occurs when some problem occurs in evaluating an arithmetic expression

class InstantiationError: PrologError

The instantiation error occurs when some Term is a Variable, and it should not

class MessageError: PrologError

The MessageError is used whenever no other PrologError instance is suitable for representing the error

class MetaError: PrologError
class SystemError: PrologError

The system error occurs when an internal problem occurred and if not caught, it will halt inferential machine

class TypeError: PrologError

The type error occurs when something is not of Expected type