package it.unibo.tuprolog.solve.exception


Name Description
class HaltException: TuPrologRuntimeException

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

abstract class PrologError: TuPrologRuntimeException

Base class for Standard Prolog Errors and possibly other custom Primitive errors

abstract class PrologWarning: TuPrologRuntimeException

Base class for Prolog warnings

class TimeOutException: TuPrologRuntimeException

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

open class TuPrologRuntimeException: TuPrologException

An exception that could occur during Solver execution


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