datalog/it.unibo.tuprolog.datalog.exception/DatalogViolationException/DatalogViolationException

DatalogViolationException

constructor(prefix: String = "", culprit: Any, suffix: String = "", cause: Throwable? = null)

Parameters

culprit

the offending it.unibo.tuprolog.core.Clause/it.unibo.tuprolog.theory.Theory (or its string rendering), included as-is in message between prefix and suffix.