datalog/it.unibo.tuprolog.datalog.exception

Package-level declarations

Types

DatalogViolationException

class DatalogViolationException(prefix: String = "", val culprit: Any, suffix: String = "", cause: Throwable? = null) : TuPrologException

InvalidLiteralException

class InvalidLiteralException : TuPrologException