neurolang.datalog.exceptions module

exception neurolang.datalog.exceptions.AggregatedVariableReplacedByConstantError

Bases: ForbiddenExpressionError

exception neurolang.datalog.exceptions.BoundAggregationApplicationError

Bases: InvalidMagicSetError

Magic Sets algorithm does not work if an argument which is an aggregate function is bound.

exception neurolang.datalog.exceptions.InvalidMagicSetError

Bases: ForbiddenExpressionError

Generic class for Magic Sets errors. Errors in Magic Sets typically signal that the magic sets algorithm cannot be applied to the current datalog program. Subclasses should specify the reason why the algorithm cannot be applied, for instance if negations are present in the code.

exception neurolang.datalog.exceptions.NegationInMagicSetsRewriteError

Bases: InvalidMagicSetError

Magic Sets algorithm does not work if negations are present in the code.

exception neurolang.datalog.exceptions.NoConstantPredicateFoundError

Bases: InvalidMagicSetError

Magic Sets algorithm only works if there is at least one predicate in the code with a constant as an argument.

exception neurolang.datalog.exceptions.NonConjunctiveAntecedentInMagicSetsError

Bases: InvalidMagicSetError

Magic Sets algorithm does not work if one of the rules has a non conjunctive antecedent.