it.unibo.tuprolog.solve.exception

package it.unibo.tuprolog.solve.exception

Classes

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

Subpackages

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