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. In this case, an expression is conjunctive if it is a conjunction of - Constant - A function or predicate of constants.
NotConjunctiveExpressionNegation	This expression is not conjunctive. In this case, an expression is conjunctive if it is a conjunction of - Constant - A function or predicate of conjunctive arguments - A negated predicate of conjunctive arguments.
NotConjunctiveExpressionNestedPredicates	This expression is not conjunctive. In this case, an expression is conjunctive if it is a conjunction of - Constant - A function or predicate of conjunctive arguments - A quantifier of conjunctive arguments.
NotInFONegE
NotRankedException
NotUnateException
ParserError(message[, line, column])
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
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.
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.