Package-level declarations
Types
Link copied to clipboard
class InitializationIssue(val goal: Struct, val cause: ResolutionException? = null, contexts: Array<ExecutionContext>) : Warning
A Warning reported when solving an initialization goal (i.e. a directive, or a clause loaded while partitioning a it.unibo.tuprolog.theory.Theory's static/dynamic clauses at knowledge-base load time) does not succeed -- either because it failed outright (no cause) or because it halted with cause.
Link copied to clipboard
class MissingPredicate(cause: Throwable?, contexts: Array<ExecutionContext>, val signature: Signature) : Warning
A Warning reported when a goal invokes signature and no such predicate exists, but the unknown Prolog flag (see it.unibo.tuprolog.solve.flags.Unknown) is set to warn rather than raise an it.unibo.tuprolog.solve.exception.error.ExistenceError or fail silently.