package it.unibo.tuprolog.solve.exception


Name Description
class HaltException: ResolutionException

An exception thrown if there are problems during state machine execution, and solution process should be halted

abstract class LogicError: ResolutionException

Base class for errors which may occur during resolution, possibly because of Primitives execution

open class ResolutionException: TuPrologException

An exception that could occur during Solver execution

class TimeOutException: ResolutionException

Exception thrown if time for execution finished, before completion of solution process

abstract class Warning: ResolutionException

Base class for Prolog warnings