neurolang.exceptions#

Exceptions

CouldNotTranslateConjunctionException(output)

This conjunctive formula could not be translated into an equivalent relational algebra representation.

ForbiddenBuiltinError

ForbiddenDisjunctionError

Probabilistic queries do not support disjunctions.

ForbiddenExistentialError

ForbiddenExpressionError

Generic exception specifying an error in the program.

ForbiddenRecursivityError

The given program cannot be stratified due to recursivity.

ForbiddenUnstratifiedAggregation

The given Datalog program is not valid for aggregation.

InvalidCommandExpression

Invalid Command statement.

NegativeFormulaNotNamedRelationException(formula)

This rule contains a negative literal R(v) which was not previously defined as a non-negated relation.

NegativeFormulaNotSafeRangeException(formula)

This rule is not range restricted and cannot be solved in nonrecursive datalog with negation.

NeuroLangException

Base class for NeuroLang Exceptions

NeuroLangFrontendException

NeuroLangNotImplementedError

NoValidChaseClassForStratumException

Neurolang implements stratified datalog which splits a datalog program into several independent strata that can each be solved by a specific chase algorithm based on the properties of the rules in the stratum (using negation, aggregation and/or recursion).

NonLiftableException

NotConjunctiveExpression

This expression is not conjunctive.

NotConjunctiveExpressionNegation

This expression is not conjunctive.

NotConjunctiveExpressionNestedPredicates

This expression is not conjunctive.

NotInFONegE

NotRankedException

NotUnateException

ParserError(message[, line, column])

PredicateArityError(predicate, arity, used)

A predicate is used with a number of arguments other than its columns.

ProjectionOverMissingColumnsError

One of the predicates in the program has wrong arguments.

ProtectedKeywordError

One of the predicates in the program uses a reserved keyword.

RelationalAlgebraError

Base class for Relational Algebra provenance exceptions.

RelationalAlgebraNotImplementedError

Neurolang was unable to match one of the relational algebra operations defined in the program.

RuleNotFoundError

SquallSemanticError(message, *[, line, ...])

Semantic error in a SQUALL program — parse succeeded but semantics invalid.

SymbolNotFoundError

A symbol is being used in a rule without having been previously defined.

TranslateToNamedRAException

Base exception for errors translating Datalog to Named Relational Algebra.

UnboundVariablesError(rule, variables, ...)

This rule is not range restricted: some of its variables do not appear in any positive atom of its body.

UnexpectedCharactersError(message[, line, ...])

UnexpectedExpressionError

UnexpectedTokenError(message[, line, column])

UnsupportedProgramError

Some parts of the datalog program are (currently) unsupported.

UnsupportedQueryError

Queries on probabilistic predicates are unsupported.

UnsupportedSolverError

WrongArgumentsInPredicateError

One of the predicates in the query has the wrong number of arguments.