Index

_

__init__() (neurolang.NeurolangDL method) (neurolang.NeurolangPDL method)

A

AABB (class in neurolang.aabb_tree) aabb_from_vertices() (in module neurolang.aabb_tree) aabb_tree (neurolang.frontend.deterministic_frontend.ExplicitVBR property) (neurolang.frontend.ExplicitVBR property) (neurolang.neurolang.ExplicitVBR property) (neurolang.regions.ExplicitVBR property) (neurolang.regions.PointSet property) abort_implication() (neurolang.logic.transformations.FONegELogicExpression method) abort_universal_predicate() (neurolang.logic.transformations.FONegELogicExpression method) add() (neurolang.aabb_tree.Tree method) (neurolang.datalog.instance.SetInstance method) (neurolang.datalog.wrapped_collections.WrappedRelationalAlgebraSetMixin method) (neurolang.perior_tree.Tree method) (neurolang.probabilistic.weighted_model_counting.SemiRingRAPToSDD method) (neurolang.utils.OrderedSet method) (neurolang.utils.orderedset.OrderedSet method) (neurolang.utils.relational_algebra_set.abstract.RelationalAlgebraSet method) (neurolang.utils.relational_algebra_set.pandas.RelationalAlgebraSet method) (neurolang.utils.relational_algebra_set.RelationalAlgebraSet method) (neurolang.utils.RelationalAlgebraSet method) add_atlas_set() (neurolang.frontend.query_resolution.RegionMixin method) add_constraint() (neurolang.frontend.query_resolution_datalog.QueryBuilderDatalog method) add_engine() (neurolang.utils.server.engines.NeurolangEngineSet method) add_equality_with_constant() (neurolang.datalog.expression_processing.UnifyVariableEqualitiesMixin static method) add_equality_with_symbol() (neurolang.datalog.expression_processing.UnifyVariableEqualitiesMixin static method) add_existential_rules() (neurolang.datalog.constraints_representation.DatalogConstraintsMixin method) add_existentials_except() (in module neurolang.probabilistic.transforms) add_facts_to_problog() (in module neurolang.probabilistic.cplogic.problog_solver) add_in_direction() (neurolang.aabb_tree.Tree method) add_left() (neurolang.aabb_tree.Tree method) add_logic_constraint() (neurolang.datalog.constraints_representation.DatalogConstraintsMixin method) add_match() (in module neurolang.frontend.neurolang) add_plate_node() (neurolang.probabilistic.cplogic.cplogic_to_gm.CPLogicGroundingToGraphicalModelTranslator method) add_ploting_functions() (in module neurolang.utils.server.engines) add_probabilistic_choice_from_tuples() (neurolang.frontend.NeurolangPDL method) (neurolang.frontend.probabilistic_frontend.NeurolangPDL method) (neurolang.neurolang.NeurolangPDL method) (neurolang.probabilistic.cplogic.program.CPLogicMixin method) add_probabilistic_facts_from_tuples() (neurolang.frontend.NeurolangPDL method) (neurolang.frontend.probabilistic_frontend.NeurolangPDL method) (neurolang.neurolang.NeurolangPDL method) (neurolang.probabilistic.cplogic.program.CPLogicMixin method) add_probchoice_to_problog() (in module neurolang.probabilistic.cplogic.problog_solver) add_probfacts_to_problog() (in module neurolang.probabilistic.cplogic.problog_solver) add_projection() (neurolang.probabilistic.query_resolution.AddNeededProjections method) add_query_to_program() (in module neurolang.probabilistic.cplogic.gm_provenance_solver) add_region() (neurolang.frontend.query_resolution.RegionMixin method) add_region_set() (neurolang.frontend.query_resolution.RegionMixin method) add_right() (neurolang.aabb_tree.Tree method) add_rule_to_problog() (in module neurolang.probabilistic.cplogic.problog_solver) add_symbol() (neurolang.frontend.query_resolution.QueryBuilderBase method) add_to_union() (in module neurolang.probabilistic.expression_processing) add_tuple_set() (neurolang.frontend.query_resolution.QueryBuilderBase method) (neurolang.frontend.query_resolution_datalog.QueryBuilderDatalog method) add_uniform_probabilistic_choice_over_set() (neurolang.frontend.NeurolangPDL method) (neurolang.frontend.probabilistic_frontend.NeurolangPDL method) (neurolang.neurolang.NeurolangPDL method) add_zero_filter() (neurolang.probabilistic.query_resolution.FilterZeroProbability method) AddNeededProjections (class in neurolang.probabilistic.query_resolution) adjust_direction() (neurolang.perior_tree.Boundary method) adjust_position() (neurolang.perior_tree.Boundary method)

adjust_to_bound() (neurolang.perior_tree.BoundedAABB method) adorn_antecedent() (in module neurolang.datalog.magic_sets) adorn_code() (in module neurolang.datalog.magic_sets) AdornedSymbol (class in neurolang.datalog.magic_sets) aggregate() (neurolang.relational_algebra.relational_algebra.RelationalAlgebraSolver method) (neurolang.utils.NamedRelationalAlgebraFrozenSet method) (neurolang.utils.relational_algebra_set.abstract.NamedRelationalAlgebraFrozenSet method) (neurolang.utils.relational_algebra_set.NamedRelationalAlgebraFrozenSet method) (neurolang.utils.relational_algebra_set.pandas.NamedRelationalAlgebraFrozenSet method) aggregate_tuple_type_into_row_type() (neurolang.datalog.chase.ChaseGeneral method) (neurolang.datalog.chase.general.ChaseGeneral method) AggregatedVariableReplacedByConstantError All (class in neurolang.frontend.query_resolution_expressions) all() (neurolang.frontend.query_resolution.QueryBuilderBase method) all_body_preds_in_set() (in module neurolang.datalog.expression_processing) AmbiguousSentenceException and_test() (neurolang.frontend.neurolang.NeuroLangIntermediateRepresentation method) and_truth_conditional_probability() (neurolang.probabilistic.cplogic.gm_provenance_solver.CPLogicGraphicalModelProvenanceSolver method) AndPlateNode (class in neurolang.probabilistic.cplogic.cplogic_to_gm) any_body_preds_in_set() (in module neurolang.datalog.expression_processing) any_other_expression() (neurolang.frontend.datalog.sugar.spatial.DetectEuclideanDistanceBoundMatrix method) Application (class in neurolang.utils.server.app) application_column_sugar() (neurolang.frontend.datalog.sugar.TranslateColumnsToAtoms method) (neurolang.frontend.datalog.sugar.TranslateSelectByFirstColumn method) apply_substitution() (in module neurolang.logic.unification) apply_substitution_arguments() (in module neurolang.logic.unification) args (neurolang.probabilistic.expressions.ProbabilisticPredicate property) argument() (neurolang.frontend.datalog.standard_syntax.DatalogTransformer method) arguments() (neurolang.frontend.datalog.standard_syntax.DatalogTransformer method) arithmetic_operation() (neurolang.relational_algebra.relational_algebra.StringArithmeticWalker method) arithmetic_string_expression() (neurolang.relational_algebra.relational_algebra.RelationalAlgebraSolver method) arity (neurolang.utils.NamedRelationalAlgebraFrozenSet property) (neurolang.utils.relational_algebra_set.abstract.NamedRelationalAlgebraFrozenSet property) (neurolang.utils.relational_algebra_set.abstract.RelationalAlgebraFrozenSet property) (neurolang.utils.relational_algebra_set.NamedRelationalAlgebraFrozenSet property) (neurolang.utils.relational_algebra_set.pandas.NamedRelationalAlgebraFrozenSet property) (neurolang.utils.relational_algebra_set.pandas.RelationalAlgebraFrozenSet property) (neurolang.utils.relational_algebra_set.RelationalAlgebraFrozenSet property) (neurolang.utils.RelationalAlgebraFrozenSet property) as_map() (neurolang.datalog.instance.FrozenMapInstance method) (neurolang.datalog.instance.FrozenSetInstance method) (neurolang.datalog.instance.MapInstance method) (neurolang.datalog.instance.SetInstance method) as_numpy_array() (neurolang.utils.relational_algebra_set.abstract.RelationalAlgebraFrozenSet method) (neurolang.utils.relational_algebra_set.pandas.RelationalAlgebraFrozenSet method) (neurolang.utils.relational_algebra_set.RelationalAlgebraFrozenSet method) (neurolang.utils.RelationalAlgebraFrozenSet method) as_pandas_dataframe() (neurolang.utils.relational_algebra_set.pandas.RelationalAlgebraFrozenSet method) (neurolang.utils.relational_algebra_set.RelationalAlgebraFrozenSet method) (neurolang.utils.RelationalAlgebraFrozenSet method) as_set() (neurolang.datalog.instance.FrozenMapInstance method) (neurolang.datalog.instance.FrozenSetInstance method) (neurolang.datalog.instance.MapInstance method) (neurolang.datalog.instance.SetInstance method) assignment() (neurolang.frontend.neurolang.NeuroLangIntermediateRepresentation method) ASTNode (class in neurolang.frontend.ast) ASTWalker (class in neurolang.frontend.ast) atlas (neurolang.utils.server.engines.DestrieuxEngineConf property) (neurolang.utils.server.engines.NeurolangEngineConfiguration property) (neurolang.utils.server.engines.NeurosynthEngineConf property) atom() (neurolang.logic.horn_clauses.ConvertSRNFToHornClause method) atom_to_constant_to_RA_conditions() (in module neurolang.probabilistic.shattering)

B

backend_2_python() (neurolang.datalog.wrapped_collections.WrappedTypeMap method) base64_encode_nifti() (in module neurolang.utils.server.responses) base64_encode_spatial() (in module neurolang.utils.server.responses) before() (in module neurolang.interval_algebra) bernoulli_probability() (neurolang.probabilistic.cplogic.gm_provenance_solver.CPLogicGraphicalModelProvenanceSolver method) BernoulliPlateNode (class in neurolang.probabilistic.cplogic.cplogic_to_gm) BinaryRelationalAlgebraOperation (class in neurolang.relational_algebra.relational_algebra) block_of_groundings() (neurolang.probabilistic.cplogic.cplogic_to_gm.CPLogicGroundingToGraphicalModelTranslator method) BooleanOperationsSolver (class in neurolang.solver) BooleanRewriteSolver (class in neurolang.solver) BoundAggregationApplicationError Boundary (class in neurolang.perior_tree) BoundedAABB (class in neurolang.perior_tree) bounding_box (neurolang.frontend.deterministic_frontend.ExplicitVBR property) (neurolang.frontend.ExplicitVBR property) (neurolang.neurolang.ExplicitVBR property) (neurolang.regions.ExplicitVBR property) (neurolang.regions.PlanarVolume property) (neurolang.regions.PointSet property) (neurolang.regions.Region property) (neurolang.regions.SphericalVolume property) brain_mask (neurolang.utils.server.engines.NeurosynthEngineConf property) bring_constants_up_left() (neurolang.solver.BooleanRewriteSolver method) build_always_true_provenance_relation() (in module neurolang.probabilistic.cplogic) build_chase_solution() (neurolang.datalog.chase.ChaseGeneral method) (neurolang.datalog.chase.ChaseStratified method) (neurolang.datalog.chase.general.ChaseGeneral method) (neurolang.datalog.chase.general.ChaseStratified method)

build_chase_tree() (neurolang.datalog.chase.ChaseGeneral method) (neurolang.datalog.chase.general.ChaseGeneral method) build_conjunction() (neurolang.logic.expression_processing.TranslateToLogic method) build_conjunction_from_expression_block() (neurolang.datalog.expressions.TranslateToLogic method) build_disjunction() (neurolang.logic.expression_processing.TranslateToLogic method) build_extensional_grounding() (in module neurolang.probabilistic.cplogic.grounding) build_global_sdd_model_rows() (in module neurolang.probabilistic.weighted_model_counting) build_gm() (in module neurolang.probabilistic.cplogic.testing) build_grounding() (in module neurolang.probabilistic.cplogic.grounding) build_negation() (neurolang.logic.expression_processing.TranslateToLogic method) build_nodes_from_rules() (neurolang.datalog.chase.ChaseGeneral method) (neurolang.datalog.chase.general.ChaseGeneral method) build_pchoice_grounding() (in module neurolang.probabilistic.cplogic.grounding) build_pfact_grounding_from_set() (in module neurolang.probabilistic.cplogic.grounding) build_probabilistic_fact_set() (in module neurolang.probabilistic.expression_processing) build_probabilistic_grounding() (in module neurolang.probabilistic.cplogic.grounding) build_ra_provenance_set_from_named_ra_set() (in module neurolang.probabilistic.cplogic.testing) build_rule_grounding() (in module neurolang.probabilistic.cplogic.grounding) build_substitutions_from_equalities() (neurolang.datalog.expression_processing.UnifyVariableEqualitiesMixin static method) build_tree() (neurolang.frontend.deterministic_frontend.ExplicitVBR method) (neurolang.frontend.ExplicitVBR method) (neurolang.neurolang.ExplicitVBR method) (neurolang.regions.ExplicitVBR method) (neurolang.regions.PointSet method) builtin_application() (neurolang.datalog.expression_processing.FlattenQueryInNonRecursiveUCQ method) BuiltinAggregationMixin (class in neurolang.datalog.aggregation)

C

calculate_image_center() (in module neurolang.utils.server.responses) cancel() (neurolang.utils.server.queries.NeurolangQueryManager method) CancelHandler (class in neurolang.utils.server.app) cardinal_relation() (in module neurolang.CD_relations) cardinal_tiles() (neurolang.perior_tree.BoundedAABB method) case (class in neurolang.frontend.drs.english_grammar) cast_binary() (neurolang.solver.BooleanRewriteSolver method) (neurolang.solver.NumericOperationsSolver method) cast_unary() (neurolang.solver.BooleanRewriteSolver method) (neurolang.solver.NumericOperationsSolver method) categorized_constraints (neurolang.datalog.constraints_representation.DatalogConstraintsMixin attribute) center (neurolang.aabb_tree.AABB property) (neurolang.perior_tree.BoundedAABB property) (neurolang.regions.Region property) (neurolang.regions.SphericalVolume property) Chart (class in neurolang.frontend.drs.chart_parser) ChartParser (class in neurolang.frontend.drs.chart_parser) ChartParser.Edge (class in neurolang.frontend.drs.chart_parser) Chase (class in neurolang.probabilistic.cplogic.grounding) chase_step() (neurolang.datalog.chase.ChaseGeneral method) (neurolang.datalog.chase.ChaseNamedRelationalAlgebraMixin method) (neurolang.datalog.chase.general.ChaseGeneral method) (neurolang.datalog.chase.negation.DatalogChaseNegationGeneral method) (neurolang.datalog.chase.relational_algebra.ChaseNamedRelationalAlgebraMixin method) ChaseAggregationMixin (class in neurolang.datalog.aggregation) ChaseGeneral (class in neurolang.datalog.chase) (class in neurolang.datalog.chase.general) ChaseMGUMixin (class in neurolang.datalog.chase) (class in neurolang.datalog.chase.mgu) ChaseNaive (class in neurolang.datalog.chase) (class in neurolang.datalog.chase.general) ChaseNamedRelationalAlgebraMixin (class in neurolang.datalog.chase) (class in neurolang.datalog.chase.relational_algebra) ChaseNode (class in neurolang.datalog.chase) (class in neurolang.datalog.chase.general) (class in neurolang.datalog_chase) ChaseNonRecursive (class in neurolang.datalog.chase) (class in neurolang.datalog.chase.general) ChaseRelationalAlgebraPlusCeriMixin (class in neurolang.datalog.chase) (class in neurolang.datalog.chase.relational_algebra) ChaseSemiNaive (class in neurolang.datalog.chase) (class in neurolang.datalog.chase.general) ChaseStratified (class in neurolang.datalog.chase) (class in neurolang.datalog.chase.general) check_constraints() (neurolang.datalog.aggregation.ChaseAggregationMixin method) (neurolang.datalog.chase.ChaseGeneral method) (neurolang.datalog.chase.ChaseNonRecursive method) (neurolang.datalog.chase.ChaseSemiNaive method) (neurolang.datalog.chase.general.ChaseGeneral method) (neurolang.datalog.chase.general.ChaseNonRecursive method) (neurolang.datalog.chase.general.ChaseSemiNaive method) (neurolang.datalog.chase.negation.NegativeFactConstraints method) check_non_linear() (neurolang.datalog.chase.negation.DatalogChaseNegationGeneral method) check_origin() (neurolang.utils.server.app.QuerySocketHandler method) check_probabilistic_choice_set_probabilities_sum_to_one() (in module neurolang.probabilistic.expression_processing) CheckConjunctiveQueryWithNegation (class in neurolang.logic.transformations) children (neurolang.aabb_tree.Node property) (neurolang.datalog.chase.ChaseNode attribute) (neurolang.datalog.chase.general.ChaseNode attribute) (neurolang.datalog_chase.ChaseNode attribute) classify_and_wrap_symbols() (in module neurolang.probabilistic.probabilistic_ra_utils) classify_formulas_obtain_named_function_applications() (neurolang.datalog.translate_to_named_ra.TranslateToNamedRA method) classify_formulas_obtain_names() (neurolang.datalog.translate_to_named_ra.TranslateToNamedRA method) cmd_args() (neurolang.frontend.datalog.standard_syntax.DatalogTransformer method) cmd_identifier() (neurolang.frontend.datalog.standard_syntax.DatalogTransformer method) CollapseConjunctions (class in neurolang.logic.transformations) CollapseConjunctionsMixin (class in neurolang.logic.transformations) CollapseConjunctiveAntecedents (class in neurolang.datalog.expression_processing) CollapseDisjunctions (class in neurolang.logic.transformations) CollapseDisjunctionsMixin (class in neurolang.logic.transformations) Column (class in neurolang.frontend.datalog.sugar) (class in neurolang.relational_algebra.relational_algebra) column_int() (neurolang.relational_algebra.relational_algebra.ReplaceConstantColumnStrBySymbol method) column_str() (neurolang.relational_algebra.relational_algebra.ReplaceConstantColumnStrBySymbol method) ColumnInt (class in neurolang.relational_algebra.relational_algebra) columns (neurolang.utils.NamedRelationalAlgebraFrozenSet property) (neurolang.utils.relational_algebra_set.abstract.NamedRelationalAlgebraFrozenSet property) (neurolang.utils.relational_algebra_set.abstract.RelationalAlgebraFrozenSet property) (neurolang.utils.relational_algebra_set.NamedRelationalAlgebraFrozenSet property) (neurolang.utils.relational_algebra_set.pandas.NamedRelationalAlgebraFrozenSet property) (neurolang.utils.relational_algebra_set.pandas.RelationalAlgebraFrozenSet property) (neurolang.utils.relational_algebra_set.RelationalAlgebraFrozenSet property) (neurolang.utils.RelationalAlgebraFrozenSet property) columns() (neurolang.relational_algebra.relational_algebra.BinaryRelationalAlgebraOperation method) (neurolang.relational_algebra.relational_algebra.ConcatenateConstantColumn method) (neurolang.relational_algebra.relational_algebra.ExtendedProjection method) (neurolang.relational_algebra.relational_algebra.GroupByAggregation method) (neurolang.relational_algebra.relational_algebra.NameColumns method) (neurolang.relational_algebra.relational_algebra.NAryRelationalAlgebraOperation method) (neurolang.relational_algebra.relational_algebra.NumberColumns method) (neurolang.relational_algebra.relational_algebra.RelationalAlgebraOperation method) (neurolang.relational_algebra.relational_algebra.RenameColumn method) (neurolang.relational_algebra.relational_algebra.RenameColumns method) (neurolang.relational_algebra.relational_algebra.UnaryRelationalAlgebraOperation method) ColumnStr (class in neurolang.relational_algebra.relational_algebra) comma_and() (neurolang.frontend.drs.drs_builder.DRSBuilder method) command() (neurolang.frontend.datalog.standard_syntax.DatalogTransformer method) CommandsMixin (class in neurolang.commands) commute_left() (neurolang.relational_algebra.optimisers.CommuteJoinsAvoidCrossProducts method) commute_right() (neurolang.relational_algebra.optimisers.CommuteJoinsAvoidCrossProducts method) CommuteJoinsAvoidCrossProducts (class in neurolang.relational_algebra.optimisers) comparison() (neurolang.frontend.datalog.standard_syntax.DatalogTransformer method) (neurolang.frontend.neurolang.NeuroLangIntermediateRepresentation method) compile() (neurolang.frontend.neurolang.NeuroLangIntermediateRepresentationCompiler method) (neurolang.neurolang_compiler.NeuroLangIntermediateRepresentationCompiler method) completed (neurolang.frontend.drs.chart_parser.ChartParser.Edge attribute) compose_all_subtitutions() (neurolang.datalog.chase.ChaseGeneral static method) (neurolang.datalog.chase.general.ChaseGeneral static method) compose_substitutions() (in module neurolang.logic.unification) compose_substitutions_ignoring_conflicts() (neurolang.datalog.chase.ChaseGeneral static method) (neurolang.datalog.chase.general.ChaseGeneral static method) compose_substitutions_no_conflict() (neurolang.datalog.chase.ChaseGeneral static method) (neurolang.datalog.chase.general.ChaseGeneral static method) compute_instance_update() (neurolang.datalog.chase.ChaseGeneral method) (neurolang.datalog.chase.general.ChaseGeneral method) compute_new_tuple_and_type() (neurolang.datalog.chase.ChaseGeneral method) (neurolang.datalog.chase.general.ChaseGeneral method)

compute_probabilistic_solution() (in module neurolang.probabilistic.query_resolution) compute_projections_needed_to_reintroduce_head_terms() (in module neurolang.probabilistic.query_resolution) compute_result_set() (neurolang.datalog.aggregation.ChaseAggregationMixin method) (neurolang.datalog.chase.ChaseGeneral method) (neurolang.datalog.chase.ChaseNamedRelationalAlgebraMixin method) (neurolang.datalog.chase.general.ChaseGeneral method) (neurolang.datalog.chase.relational_algebra.ChaseNamedRelationalAlgebraMixin method) compute_substitutions() (neurolang.datalog.chase.ChaseRelationalAlgebraPlusCeriMixin method) (neurolang.datalog.chase.relational_algebra.ChaseRelationalAlgebraPlusCeriMixin method) concatenate_constant_column() (neurolang.relational_algebra.relational_algebra.RelationalAlgebraSolver method) ConcatenateConstantColumn (class in neurolang.relational_algebra.relational_algebra) Condition (class in neurolang.probabilistic.expressions) condition() (neurolang.frontend.datalog.standard_syntax.DatalogTransformer method) conditional() (neurolang.frontend.drs.drs_builder.DRSBuilder method) conditional_query() (neurolang.frontend.datalog.sugar.TranslateProbabilisticQueryMixin method) conditioned_on() (neurolang.probabilistic.distributions.TableDistribution method) conditions_per_symbol() (in module neurolang.probabilistic.shattering) conjunct_formulas() (in module neurolang.datalog.expression_processing) conjunct_if_needed() (in module neurolang.datalog.expression_processing) Conjunction (class in neurolang.datalog.expressions) conjunction() (neurolang.datalog.expression_processing.FlattenQueryInNonRecursiveUCQ method) (neurolang.frontend.datalog.standard_syntax.DatalogTransformer method) (neurolang.frontend.query_resolution_expressions.TranslateExpressionToFrontEndExpression method) (neurolang.logic.expression_processing.WalkLogicProgramAggregatingSets method) (neurolang.logic.horn_clauses.ConvertSRNFToHornClause method) (neurolang.logic.horn_clauses.RangeRestrictedVariables method) (neurolang.logic.transformations.CheckConjunctiveQueryWithNegation method) (neurolang.logic.transformations.CollapseConjunctionsMixin method) (neurolang.logic.transformations.ExtractConjunctiveQueryWithNegation method) (neurolang.logic.transformations.RemoveDuplicatedConjunctsDisjuncts method) (neurolang.logic.transformations.UsedQuantifiers method) conjunction_column_sugar() (neurolang.frontend.datalog.sugar.TranslateColumnsToAtoms method) (neurolang.frontend.datalog.sugar.TranslateSelectByFirstColumn method) conjunction_composition_dual() (neurolang.solver.BooleanRewriteSolver method) conjunction_definition_dual() (neurolang.solver.BooleanRewriteSolver method) conjunction_distribution() (neurolang.solver.BooleanRewriteSolver method) conjunction_with_quantifiers() (neurolang.logic.transformations.FactorQuantifiersMixin method) const_or_symb_as_python_type() (in module neurolang.probabilistic.expression_processing) constant() (neurolang.frontend.datalog.sugar.RecogniseSSugar method) (neurolang.frontend.query_resolution_expressions.TranslateExpressionToFrontEndExpression method) (neurolang.logic.expression_processing.ExtractLogicAtoms method) (neurolang.logic.expression_processing.ExtractLogicPredicates method) constant_cos (neurolang.frontend.frontend_extensions.NumpyFunctionsMixin attribute) constant_exp (neurolang.frontend.frontend_extensions.NumpyFunctionsMixin attribute) constant_log (neurolang.frontend.frontend_extensions.NumpyFunctionsMixin attribute) constant_log10 (neurolang.frontend.frontend_extensions.NumpyFunctionsMixin attribute) constant_max (neurolang.datalog.aggregation.BuiltinAggregationMixin attribute) constant_mean (neurolang.datalog.aggregation.BuiltinAggregationMixin attribute) constant_predicate() (neurolang.frontend.datalog.standard_syntax.DatalogTransformer method) constant_sin (neurolang.frontend.frontend_extensions.NumpyFunctionsMixin attribute) constant_std (neurolang.datalog.aggregation.BuiltinAggregationMixin attribute) constant_sum (neurolang.datalog.aggregation.BuiltinAggregationMixin attribute) constant_tan (neurolang.frontend.frontend_extensions.NumpyFunctionsMixin attribute) constraint() (neurolang.frontend.datalog.standard_syntax.DatalogTransformer method) constraints() (neurolang.datalog.constraints_representation.DatalogConstraintsMixin method) construct_within_language_succ_result() (in module neurolang.probabilistic.expression_processing) contains() (neurolang.aabb_tree.AABB method) (neurolang.perior_tree.BoundedAABB method) contains_tuple() (neurolang.perior_tree.BoundedAABB method) converse() (in module neurolang.interval_algebra) conversion() (neurolang.frontend.datalog.sugar.ConvertAttrSToSelectByColumn method) convert_extended_projection_2_projection() (neurolang.relational_algebra.optimisers.EliminateTrivialProjections method) convert_extended_projection_2_rename() (neurolang.relational_algebra.optimisers.EliminateTrivialProjections method) convert_rename_column() (neurolang.relational_algebra.optimisers.RenameOptimizations method) convert_rule_to_ucq() (in module neurolang.probabilistic.transforms) convert_srnf_to_horn_clauses() (in module neurolang.logic.horn_clauses) convert_to_cnf_existential_ucq() (in module neurolang.probabilistic.transforms) convert_to_dnf_existential_ucq() (in module neurolang.probabilistic.transforms) convert_to_pnf_with_cnf_matrix() (in module neurolang.logic.transformations) convert_to_pnf_with_dnf_matrix() (in module neurolang.logic.transformations) convert_to_srnf() (in module neurolang.logic.horn_clauses) ConvertAttrSToSelectByColumn (class in neurolang.frontend.datalog.sugar) ConvertSRNFToHornClause (class in neurolang.logic.horn_clauses) copy() (neurolang.datalog.instance.FrozenInstance method) (neurolang.datalog.instance.Instance method) (neurolang.utils.OrderedSet method) (neurolang.utils.orderedset.OrderedSet method) (neurolang.utils.relational_algebra_set.abstract.RelationalAlgebraFrozenSet method) (neurolang.utils.relational_algebra_set.pandas.RelationalAlgebraFrozenSet method) (neurolang.utils.relational_algebra_set.RelationalAlgebraFrozenSet method) (neurolang.utils.RelationalAlgebraFrozenSet method) CouldNotParseException cplogic_to_datalog() (in module neurolang.probabilistic.cplogic.grounding) cplogic_to_problog() (in module neurolang.probabilistic.cplogic.problog_solver) CPLogicGraphicalModelProvenanceSolver (class in neurolang.probabilistic.cplogic.gm_provenance_solver) CPLogicGroundingToGraphicalModelTranslator (class in neurolang.probabilistic.cplogic.cplogic_to_gm) CPLogicMixin (class in neurolang.probabilistic.cplogic.program) CPLogicProgram (class in neurolang.probabilistic.cplogic.program) create() (neurolang.utils.server.engines.DestrieuxEngineConf method) (neurolang.utils.server.engines.NeurolangEngineConfiguration method) (neurolang.utils.server.engines.NeurosynthEngineConf method) create_balbin_magic_rules() (in module neurolang.datalog.magic_sets) create_magic_query_inits() (in module neurolang.datalog.magic_sets) create_region() (neurolang.frontend.query_resolution.RegionMixin static method) create_scope() (neurolang.typed_symbol_table.TypedSymbolTable method) create_view_from() (neurolang.utils.NamedRelationalAlgebraFrozenSet class method) (neurolang.utils.relational_algebra_set.abstract.RelationalAlgebraFrozenSet class method) (neurolang.utils.relational_algebra_set.NamedRelationalAlgebraFrozenSet class method) (neurolang.utils.relational_algebra_set.pandas.NamedRelationalAlgebraFrozenSet class method) (neurolang.utils.relational_algebra_set.pandas.RelationalAlgebraFrozenSet class method) (neurolang.utils.relational_algebra_set.RelationalAlgebraFrozenSet class method) (neurolang.utils.RelationalAlgebraFrozenSet class method) creates_arcs() (neurolang.datalog.magic_sets.SIPS method) cross_product() (neurolang.utils.NamedRelationalAlgebraFrozenSet method) (neurolang.utils.relational_algebra_set.abstract.NamedRelationalAlgebraFrozenSet method) (neurolang.utils.relational_algebra_set.abstract.RelationalAlgebraFrozenSet method) (neurolang.utils.relational_algebra_set.NamedRelationalAlgebraFrozenSet method) (neurolang.utils.relational_algebra_set.pandas.NamedRelationalAlgebraFrozenSet method) (neurolang.utils.relational_algebra_set.pandas.RelationalAlgebraFrozenSet method) (neurolang.utils.relational_algebra_set.RelationalAlgebraFrozenSet method) (neurolang.utils.RelationalAlgebraFrozenSet method) current_program (neurolang.frontend.NeurolangPDL property) (neurolang.frontend.probabilistic_frontend.NeurolangPDL property) (neurolang.frontend.query_resolution_datalog.QueryBuilderDatalog property) (neurolang.neurolang.NeurolangPDL property) CustomQueryResultsEncoder (class in neurolang.utils.server.responses)

D

dalvi_suciu_lift() (in module neurolang.probabilistic.dalvi_suciu_lift) Datalog (class in neurolang.probabilistic.cplogic.grounding) DatalogChase (in module neurolang.datalog_chase) DatalogChaseGeneral (class in neurolang.datalog_chase) DatalogChaseMGUMixin (in module neurolang.datalog_chase) DatalogChaseNegation (class in neurolang.datalog.chase.negation) DatalogChaseNegationGeneral (class in neurolang.datalog.chase.negation) DatalogChaseNegationMGUMixin (class in neurolang.datalog.chase.negation) DatalogChaseNegationRelationalAlgebraMixin (class in neurolang.datalog.chase.negation) DatalogChaseRelationalAlgebraMixin (in module neurolang.datalog_chase) DatalogConstraintsMixin (class in neurolang.datalog.constraints_representation) DatalogConstraintsProgram (class in neurolang.datalog.constraints_representation) DatalogProgram (class in neurolang.datalog.basic_representation) DatalogProgramNegation (class in neurolang.datalog.negation) DatalogProgramNegationMixin (class in neurolang.datalog.negation) DatalogTransformer (class in neurolang.frontend.datalog.standard_syntax) DatalogWithAggregationMixin (class in neurolang.datalog.aggregation) dee() (neurolang.utils.NamedRelationalAlgebraFrozenSet class method) (neurolang.utils.relational_algebra_set.abstract.NamedRelationalAlgebraFrozenSet class method) (neurolang.utils.relational_algebra_set.abstract.RelationalAlgebraFrozenSet class method) (neurolang.utils.relational_algebra_set.NamedRelationalAlgebraFrozenSet class method) (neurolang.utils.relational_algebra_set.pandas.NamedRelationalAlgebraFrozenSet class method) (neurolang.utils.relational_algebra_set.pandas.RelationalAlgebraFrozenSet class method) (neurolang.utils.relational_algebra_set.RelationalAlgebraFrozenSet class method) (neurolang.utils.RelationalAlgebraFrozenSet class method) default() (neurolang.logic.transformations.CheckConjunctiveQueryWithNegation method) (neurolang.probabilistic.probabilistic_ra_utils.GetProbabilisticSetAtom method) (neurolang.utils.server.responses.CustomQueryResultsEncoder method) del_symbol() (neurolang.frontend.query_resolution.QueryBuilderBase method) delete() (neurolang.utils.server.app.CancelHandler method) dependency_matrix() (in module neurolang.datalog.expression_processing) DesambiguateQuantifiedVariables (class in neurolang.logic.transformations) DestrieuxEngineConf (class in neurolang.utils.server.engines) Destroy (class in neurolang.relational_algebra.relational_algebra) DetectEuclideanDistanceBoundMatrix (class in neurolang.frontend.datalog.sugar.spatial) deterministic_fact_set() (neurolang.probabilistic.probabilistic_semiring_solver.ProbSemiringSolverMixin method) (neurolang.probabilistic.weighted_model_counting.SDDWMCSemiRingSolver method) (neurolang.probabilistic.weighted_model_counting.WMCSemiRingSolver method) deterministic_fact_set_constant() (neurolang.probabilistic.weighted_model_counting.DeterministicFactSetTranslation method) deterministic_fact_set_general() (neurolang.probabilistic.probabilistic_semiring_solver.ProbSemiringSolverMixin method) DeterministicFactSet (class in neurolang.probabilistic.probabilistic_ra_utils) DeterministicFactSetTranslation (class in neurolang.probabilistic.weighted_model_counting) DictLexicon (class in neurolang.frontend.drs.chart_parser) Difference (class in neurolang.relational_algebra.relational_algebra) dim (neurolang.aabb_tree.AABB property) direction_matrix() (neurolang.perior_tree.BoundedAABB method)

disable_expression_type_printing() (neurolang.config.NeurolangConfigParser method) disable_probabilistic_solver_check_unate() (neurolang.config.NeurolangConfigParser method) discard() (neurolang.datalog.instance.SetInstance method) (neurolang.datalog.wrapped_collections.WrappedRelationalAlgebraSetMixin method) (neurolang.utils.OrderedSet method) (neurolang.utils.orderedset.OrderedSet method) (neurolang.utils.relational_algebra_set.abstract.RelationalAlgebraSet method) (neurolang.utils.relational_algebra_set.pandas.RelationalAlgebraSet method) (neurolang.utils.relational_algebra_set.RelationalAlgebraSet method) (neurolang.utils.RelationalAlgebraSet method) DiscreteDistribution (class in neurolang.probabilistic.distributions) disjunction() (neurolang.logic.expression_processing.WalkLogicProgramAggregatingSets method) (neurolang.logic.horn_clauses.ConvertSRNFToHornClause method) (neurolang.logic.horn_clauses.RangeRestrictedVariables method) (neurolang.logic.transformations.CollapseDisjunctionsMixin method) (neurolang.logic.transformations.RemoveDuplicatedConjunctsDisjuncts method) (neurolang.logic.transformations.UsedQuantifiers method) disjunction_with_quantifiers() (neurolang.logic.transformations.FactorQuantifiersMixin method) distribute() (neurolang.logic.transformations.DistributeConjunctions method) (neurolang.logic.transformations.DistributeDisjunctions method) distribute_implication_with_conjunctive_head() (neurolang.logic.transformations.DistributeImplicationsWithConjunctiveHeads method) distribute_universal_quantifier() (neurolang.logic.transformations.DistributeUniversalQuantifiers method) DistributeConjunctions (class in neurolang.logic.transformations) DistributeDisjunctions (class in neurolang.logic.transformations) DistributeImplicationsWithConjunctiveHeads (class in neurolang.logic.transformations) DistributeUniversalQuantifiers (class in neurolang.logic.transformations) Distribution (class in neurolang.probabilistic.distributions) DistributionDoesNotSumToOneError div_term() (neurolang.frontend.datalog.standard_syntax.DatalogTransformer method) do() (neurolang.frontend.query_resolution_expressions.Expression method) dont_push_when_it_can_be_unsafe() (neurolang.logic.transformations.PushExistentialsDownMixin method) dotted_identifier() (neurolang.frontend.neurolang.NeuroLangIntermediateRepresentation method) DownloadsHandler (class in neurolang.utils.server.app) DRS (class in neurolang.frontend.drs.drs_builder) drs() (neurolang.frontend.drs.drs_builder.DRS2FOL method) DRS2FOL (class in neurolang.frontend.drs.drs_builder) DRSBuilder (class in neurolang.frontend.drs.drs_builder) dual_operator() (neurolang.solver.BooleanRewriteSolver method) dum() (neurolang.utils.NamedRelationalAlgebraFrozenSet class method) (neurolang.utils.relational_algebra_set.abstract.NamedRelationalAlgebraFrozenSet class method) (neurolang.utils.relational_algebra_set.abstract.RelationalAlgebraFrozenSet class method) (neurolang.utils.relational_algebra_set.NamedRelationalAlgebraFrozenSet class method) (neurolang.utils.relational_algebra_set.pandas.NamedRelationalAlgebraFrozenSet class method) (neurolang.utils.relational_algebra_set.pandas.RelationalAlgebraFrozenSet class method) (neurolang.utils.relational_algebra_set.RelationalAlgebraFrozenSet class method) (neurolang.utils.RelationalAlgebraFrozenSet class method) during() (in module neurolang.interval_algebra)

E

edb_with_prob_symbols() (in module neurolang.datalog.magic_sets) eliminate_already_computed() (neurolang.datalog.aggregation.ChaseAggregationMixin method) (neurolang.datalog.chase.ChaseGeneral method) (neurolang.datalog.chase.ChaseNamedRelationalAlgebraMixin method) (neurolang.datalog.chase.general.ChaseGeneral method) (neurolang.datalog.chase.relational_algebra.ChaseNamedRelationalAlgebraMixin method) eliminate_superfluous_projection() (neurolang.probabilistic.probabilistic_semiring_solver.ProbSemiringSolverMixin method) (neurolang.probabilistic.weighted_model_counting.EliminateSuperfluousProjectionMixin method) eliminate_trivial_nested_projection() (neurolang.relational_algebra.optimisers.EliminateTrivialProjections method) eliminate_trivial_nested_unnamed_projection() (neurolang.relational_algebra.optimisers.EliminateTrivialProjections method) eliminate_trivial_number_columns() (neurolang.relational_algebra.optimisers.RenameOptimizations method) eliminate_trivial_projection() (neurolang.relational_algebra.optimisers.EliminateTrivialProjections method) eliminate_trivial_projection_number_columns() (neurolang.relational_algebra.optimisers.RenameOptimizations method) eliminate_trivial_selection_number_columns() (neurolang.relational_algebra.optimisers.RenameOptimizations method) EliminateImplications (class in neurolang.logic.transformations) EliminateSuperfluousProjectionMixin (class in neurolang.probabilistic.weighted_model_counting) EliminateTrivialProjections (class in neurolang.relational_algebra.optimisers) empty_deterministic_fact_set() (neurolang.probabilistic.probabilistic_semiring_solver.ProbSemiringSolverMixin method) EmptyHandler (class in neurolang.utils.server.app) enable_expression_type_printing() (neurolang.config.NeurolangConfigParser method) enable_probabilistic_solver_check_unate() (neurolang.config.NeurolangConfigParser method) enforce_conjunctive_antecedent() (in module neurolang.datalog.expression_processing) engine() (neurolang.utils.server.engines.NeurolangEngineSet method) EnginesHandler (class in neurolang.utils.server.app) EnglishBaseLexicon (class in neurolang.frontend.drs.english_grammar) environment (neurolang.frontend.query_resolution.QueryBuilderBase property) eq() (neurolang.probabilistic.weighted_model_counting.SemiRingRAPToSDD method) eq_prov_relations() (in module neurolang.probabilistic.cplogic.testing) EqualitySymbolLeftHandSideNormaliseMixin (class in neurolang.datalog.expression_processing) equals() (in module neurolang.interval_algebra) EquiJoin (class in neurolang.relational_algebra.relational_algebra) equijoin() (neurolang.utils.NamedRelationalAlgebraFrozenSet method) (neurolang.utils.relational_algebra_set.abstract.NamedRelationalAlgebraFrozenSet method) (neurolang.utils.relational_algebra_set.abstract.RelationalAlgebraFrozenSet method) (neurolang.utils.relational_algebra_set.NamedRelationalAlgebraFrozenSet method) (neurolang.utils.relational_algebra_set.pandas.NamedRelationalAlgebraFrozenSet method) (neurolang.utils.relational_algebra_set.pandas.RelationalAlgebraFrozenSet method) (neurolang.utils.relational_algebra_set.RelationalAlgebraFrozenSet method) (neurolang.utils.RelationalAlgebraFrozenSet method) euclidean_spatial_bound() (neurolang.frontend.datalog.sugar.spatial.TranslateEuclideanDistanceBoundMatrixMixin method) evaluate() (neurolang.frontend.ast.ASTWalker method) evaluate_builtins() (neurolang.datalog.chase.ChaseGeneral method) (neurolang.datalog.chase.general.ChaseGeneral method) evaluate_builtins_predicates() (neurolang.datalog.chase.ChaseGeneral method) (neurolang.datalog.chase.general.ChaseGeneral method) evaluate_conjunction() (neurolang.logic.expression_processing.LogicSolver method) evaluate_disjunction() (neurolang.logic.expression_processing.LogicSolver method) evaluate_implication() (neurolang.logic.expression_processing.LogicSolver method) evaluate_implication_false_antecedent() (neurolang.logic.expression_processing.LogicSolver method) evaluate_implication_false_consequent() (neurolang.logic.expression_processing.LogicSolver method) evaluate_implication_true_antecedent() (neurolang.logic.expression_processing.LogicSolver method) evaluate_implication_true_consequent() (neurolang.logic.expression_processing.LogicSolver method) evaluate_negation() (neurolang.logic.expression_processing.LogicSolver method) evaluate_negative_builtins() (neurolang.datalog.chase.negation.DatalogChaseNegationGeneral method) execute_chase() (neurolang.datalog.chase.ChaseNaive method) (neurolang.datalog.chase.ChaseNonRecursive method) (neurolang.datalog.chase.ChaseSemiNaive method) (neurolang.datalog.chase.general.ChaseNaive method) (neurolang.datalog.chase.general.ChaseNonRecursive method) (neurolang.datalog.chase.general.ChaseSemiNaive method) execute_datalog_program() (neurolang.frontend.query_resolution_datalog.QueryBuilderDatalog method) existential() (neurolang.logic.horn_clauses.ConvertSRNFToHornClause method) (neurolang.logic.horn_clauses.RangeRestrictedVariables method) (neurolang.logic.transformations.MakeExistentialsImplicit method) (neurolang.logic.transformations.RemoveExistentialOnVariables method) existential_predicate() (neurolang.frontend.datalog.standard_syntax.DatalogTransformer method) (neurolang.logic.expression_processing.HasExistentialPredicates method) (neurolang.logic.transformations.CheckConjunctiveQueryWithNegation method) (neurolang.logic.transformations.ExtractConjunctiveQueryWithNegation method) (neurolang.logic.transformations.RemoveExistentialPredicates method) (neurolang.solver.FirstOrderLogicSolver method)

existential_rules (neurolang.datalog.constraints_representation.DatalogConstraintsMixin attribute) ExistentialPredicate (class in neurolang.frontend.neurolang) Exists (class in neurolang.frontend.query_resolution_expressions) exists() (neurolang.frontend.query_resolution.QueryBuilderBase method) (neurolang.frontend.query_resolution_expressions.TranslateExpressionToFrontEndExpression method) expand() (neurolang.perior_tree.BoundedAABB method) expand_object() (neurolang.perior_tree.BoundedAABB method) expand_region_box() (neurolang.aabb_tree.Tree method) (neurolang.perior_tree.Tree method) expand_tuple() (neurolang.perior_tree.BoundedAABB method) expectation() (neurolang.probabilistic.distributions.Distribution method) (neurolang.probabilistic.distributions.TableDistribution method) ExplicitVBR (class in neurolang.frontend) (class in neurolang.frontend.deterministic_frontend) (class in neurolang.neurolang) (class in neurolang.regions) ExplicitVBROverlay (class in neurolang.frontend) (class in neurolang.frontend.deterministic_frontend) (class in neurolang.neurolang) (class in neurolang.regions) explode() (neurolang.utils.NamedRelationalAlgebraFrozenSet method) (neurolang.utils.relational_algebra_set.abstract.NamedRelationalAlgebraFrozenSet method) (neurolang.utils.relational_algebra_set.NamedRelationalAlgebraFrozenSet method) (neurolang.utils.relational_algebra_set.pandas.NamedRelationalAlgebraFrozenSet method) Expression (class in neurolang.frontend.query_resolution_expressions) expression (neurolang.frontend.deterministic_frontend.Symbol property) (neurolang.frontend.query_resolution_expressions.Symbol property) (neurolang.frontend.Symbol property) expression_block() (neurolang.probabilistic.weighted_model_counting.SemiRingRAPToSDD method) expression_type_printing() (neurolang.config.NeurolangConfigParser method) expressions() (neurolang.frontend.datalog.standard_syntax.DatalogTransformer method) ext_identifier() (neurolang.frontend.datalog.standard_syntax.DatalogTransformer method) extended_projection() (neurolang.relational_algebra.relational_algebra.RelationalAlgebraSolver method) (neurolang.utils.NamedRelationalAlgebraFrozenSet method) (neurolang.utils.relational_algebra_set.abstract.NamedRelationalAlgebraFrozenSet method) (neurolang.utils.relational_algebra_set.NamedRelationalAlgebraFrozenSet method) (neurolang.utils.relational_algebra_set.pandas.NamedRelationalAlgebraFrozenSet method) ExtendedProjection (class in neurolang.relational_algebra.relational_algebra) extensional_database() (neurolang.probabilistic.cplogic.program.CPLogicMixin method) extensional_set_grounding() (neurolang.probabilistic.cplogic.cplogic_to_gm.CPLogicGroundingToGraphicalModelTranslator method) ExternalSymbol (class in neurolang.frontend.datalog.standard_syntax) extract_and_unify_var_eqs_in_implication() (neurolang.datalog.expression_processing.UnifyVariableEqualitiesMixin method) extract_atom_sets_and_detect_self_joins() (in module neurolang.probabilistic.small_dichotomy_theorem_based_solver) extract_logic_atoms() (in module neurolang.datalog.expression_processing) (in module neurolang.logic.expression_processing) extract_logic_free_variables() (in module neurolang.datalog.expression_processing) (in module neurolang.logic.expression_processing) extract_logic_predicates() (in module neurolang.datalog.expression_processing) (in module neurolang.logic.expression_processing) extract_predicates_fa() (neurolang.logic.expression_processing.ExtractLogicAtoms method) (neurolang.logic.expression_processing.ExtractLogicPredicates method) extract_rule_predicates() (neurolang.datalog.chase.ChaseGeneral method) (neurolang.datalog.chase.general.ChaseGeneral method) (neurolang.datalog.chase.negation.DatalogChaseNegationGeneral method) extract_variable_arguments() (neurolang.datalog.chase.ChaseGeneral static method) (neurolang.datalog.chase.general.ChaseGeneral static method) extract_variable_equalities() (neurolang.datalog.expression_processing.UnifyVariableEqualitiesMixin static method) extract_variables_fa() (neurolang.logic.expression_processing.ExtractFreeVariablesWalker method) extract_variables_q() (neurolang.logic.expression_processing.ExtractFreeVariablesWalker method) extract_variables_s() (neurolang.datalog.ontologies_rewriter.ExtractFreeVariablesRightImplicationWalker method) (neurolang.logic.expression_processing.ExtractFreeVariablesWalker method) (neurolang.logic.transformations.ExtractFOLFreeVariables method) extract_variables_symbol() (neurolang.logic.expression_processing.ExtractFreeVariablesWalker method) ExtractBoundVariables (class in neurolang.logic.transformations) ExtractConjunctiveQueryWithNegation (class in neurolang.logic.transformations) ExtractFOLFreeVariables (class in neurolang.logic.transformations) ExtractFreeVariablesRightImplicationWalker (class in neurolang.datalog.ontologies_rewriter) ExtractFreeVariablesWalker (class in neurolang.logic.expression_processing) ExtractLogicAtoms (class in neurolang.logic.expression_processing) ExtractLogicPredicates (class in neurolang.logic.expression_processing)

F

f_app() (neurolang.logic.transformations.CheckConjunctiveQueryWithNegation method) (neurolang.logic.transformations.ExtractConjunctiveQueryWithNegation method) Fact (class in neurolang.datalog.basic_representation) (class in neurolang.datalog.expressions) (class in neurolang.frontend.query_resolution_expressions) fact (neurolang.datalog.basic_representation.Fact property) (neurolang.datalog.expressions.Fact property) (neurolang.datalog.negation.NegativeFact property) fact() (neurolang.frontend.datalog.standard_syntax.DatalogTransformer method) (neurolang.frontend.query_resolution_expressions.TranslateExpressionToFrontEndExpression method) factor() (neurolang.frontend.datalog.standard_syntax.DatalogTransformer method) factorization_step() (neurolang.datalog.ontologies_rewriter.OntologyRewriter method) FactorQuantifiersMixin (class in neurolang.logic.transformations) female (neurolang.frontend.drs.english_grammar.gen attribute) fetch_feature_data() (in module neurolang.frontend.neurosynth_utils) fetch_neurosynth_peak_data() (in module neurolang.frontend.neurosynth_utils) fetch_one() (neurolang.utils.NamedRelationalAlgebraFrozenSet method) (neurolang.utils.relational_algebra_set.abstract.NamedRelationalAlgebraFrozenSet method) (neurolang.utils.relational_algebra_set.abstract.RelationalAlgebraFrozenSet method) (neurolang.utils.relational_algebra_set.NamedRelationalAlgebraFrozenSet method) (neurolang.utils.relational_algebra_set.pandas.NamedRelationalAlgebraFrozenSet method) (neurolang.utils.relational_algebra_set.pandas.RelationalAlgebraFrozenSet method) (neurolang.utils.relational_algebra_set.RelationalAlgebraFrozenSet method) (neurolang.utils.RelationalAlgebraFrozenSet method) fetch_study_metadata() (in module neurolang.frontend.neurosynth_utils) FilterZeroProbability (class in neurolang.probabilistic.query_resolution) finishes() (in module neurolang.interval_algebra) FirstOrderLogicSolver (class in neurolang.solver) flatten_query() (in module neurolang.datalog.expression_processing) FlattenQueryInNonRecursiveUCQ (class in neurolang.datalog.expression_processing) flip_ne_arguments() (neurolang.probabilistic.shattering.NormalizeNotEquals method) float_drs() (neurolang.frontend.drs.drs_builder.DRSBuilder method) FloatArithmeticSimplifier (class in neurolang.probabilistic.query_resolution) Fol2DatalogMixin (class in neurolang.logic.horn_clauses)

Fol2DatalogTranslationException fol_query_to_datalog_program() (in module neurolang.logic.horn_clauses) FONegELogicExpression (class in neurolang.logic.transformations) forall() (neurolang.frontend.query_resolution_expressions.TranslateExpressionToFrontEndExpression method) ForbiddenConditionalQueryNonConjunctive ForbiddenConditionalQueryNoProb fresh_name_relation() (in module neurolang.probabilistic.cplogic) FreshenFreeVariables (class in neurolang.datalog.expression_processing) FreshenVariablesWhenQuantified (class in neurolang.logic.transformations) from_spatial_image_label() (neurolang.regions.Region static method) FrozenInstance (class in neurolang.datalog.instance) FrozenMapInstance (class in neurolang.datalog.instance) FrozenSetInstance (class in neurolang.datalog.instance) FullOuterNaturalJoin (class in neurolang.relational_algebra.relational_algebra) function() (neurolang.logic.horn_clauses.RangeRestrictedVariables method) (neurolang.logic.transformations.UsedQuantifiers method) function_anatomical_anterior_of() (neurolang.frontend.probabilistic_frontend.RegionFrontendCPLogicSolver method) function_anatomical_inferior_of() (neurolang.frontend.probabilistic_frontend.RegionFrontendCPLogicSolver method) function_anatomical_posterior_of() (neurolang.frontend.probabilistic_frontend.RegionFrontendCPLogicSolver method) function_anatomical_superior_of() (neurolang.frontend.probabilistic_frontend.RegionFrontendCPLogicSolver method) function_anterior_of() (neurolang.frontend.probabilistic_frontend.RegionFrontendCPLogicSolver method) function_application() (neurolang.frontend.neurolang.NeuroLangIntermediateRepresentation method) function_count() (neurolang.datalog.aggregation.BuiltinAggregationMixin method) function_inferior_of() (neurolang.frontend.probabilistic_frontend.RegionFrontendCPLogicSolver method) function_left_of() (neurolang.frontend.probabilistic_frontend.RegionFrontendCPLogicSolver method) function_overlapping() (neurolang.frontend.probabilistic_frontend.RegionFrontendCPLogicSolver method) function_posterior_of() (neurolang.frontend.probabilistic_frontend.RegionFrontendCPLogicSolver method) function_regexp() (neurolang.region_solver.RegionSolver method) function_region_union() (neurolang.region_solver.RegionSolver method) function_right_of() (neurolang.frontend.probabilistic_frontend.RegionFrontendCPLogicSolver method) function_superior_of() (neurolang.frontend.probabilistic_frontend.RegionFrontendCPLogicSolver method) FunctionApplicationListMember (class in neurolang.relational_algebra.relational_algebra) functions (neurolang.frontend.query_resolution.QueryBuilderBase property) functor (neurolang.probabilistic.expressions.ProbabilisticPredicate property)

G

gen (class in neurolang.frontend.drs.english_grammar) generate_bounding_box() (neurolang.frontend.deterministic_frontend.ExplicitVBR method) (neurolang.frontend.ExplicitVBR method) (neurolang.neurolang.ExplicitVBR method) (neurolang.regions.ExplicitVBR method) (neurolang.regions.PointSet method) generate_probabilistic_symbol_table_for_query() (in module neurolang.probabilistic.probabilistic_ra_utils) generate_probability_table() (in module neurolang.probabilistic.weighted_model_counting) generate_provenance_query_solver() (in module neurolang.probabilistic.query_resolution) generate_ra_expression() (neurolang.datalog.translate_to_named_ra.TranslateToNamedRA method) generate_sdd_expression() (neurolang.probabilistic.weighted_model_counting.SDDWMCSemiRingSolver method) generate_weights() (in module neurolang.probabilistic.weighted_model_counting) GenericSolver (class in neurolang.solver) get() (neurolang.utils.server.app.DownloadsHandler method) (neurolang.utils.server.app.EmptyHandler method) (neurolang.utils.server.app.EnginesHandler method) (neurolang.utils.server.app.MainHandler method) (neurolang.utils.server.app.MpltFigureHandler method) (neurolang.utils.server.app.NiftiiImageHandler method) (neurolang.utils.server.app.StatusHandler method) (neurolang.utils.server.app.SymbolsHandler method) get_args() (in module neurolang.type_system) get_args_to_project() (neurolang.datalog.chase.ChaseGeneral method) (neurolang.datalog.chase.general.ChaseGeneral method) (neurolang.datalog.chase.negation.DatalogChaseNegationGeneral method) get_arity() (neurolang.relational_algebra.optimisers.RewriteSelections static method) get_atlas() (neurolang.utils.server.queries.NeurolangQueryManager method) get_constraints() (neurolang.datalog.constraints_representation.DatalogConstraintsMixin method) get_distance_upper_bound() (neurolang.frontend.datalog.sugar.spatial.DetectEuclideanDistanceBoundMatrix static method) get_dterm() (in module neurolang.probabilistic.ppdl) get_dterm_index() (in module neurolang.probabilistic.ppdl) get_expression_columns() (in module neurolang.relational_algebra.relational_algebra) get_function_metadata() (neurolang.utils.server.responses.QueryResults method) get_generic_type() (in module neurolang.type_system) get_grounding_dependencies() (in module neurolang.probabilistic.cplogic.grounding) get_grounding_pred_symb() (in module neurolang.probabilistic.cplogic.grounding) get_grounding_predicate() (in module neurolang.probabilistic.cplogic.grounding) get_intermediate_representation() (neurolang.frontend.neurolang.NeuroLangIntermediateRepresentationCompiler method) get_intervals_relations() (in module neurolang.interval_algebra) get_list_of_intensional_rules() (in module neurolang.probabilistic.stratification) get_meanings() (neurolang.frontend.drs.chart_parser.DictLexicon method) (neurolang.frontend.drs.chart_parser.Lexicon method) (neurolang.frontend.drs.english_grammar.EnglishBaseLexicon method)

get_named_relation_tuples() (in module neurolang.probabilistic.cplogic.testing) get_new_bernoulli_variable() (neurolang.probabilistic.weighted_model_counting.SDDWMCSemiRingSolver method) get_node() (neurolang.probabilistic.cplogic.cplogic_to_gm.GraphicalModel method) get_ns_mni_peaks_reported() (in module neurolang.frontend.neurosynth_utils) get_ns_term_study_associations() (in module neurolang.frontend.neurosynth_utils) get_parent_node_symbols() (neurolang.probabilistic.cplogic.cplogic_to_gm.GraphicalModel method) get_probabilistic_solver_check_unate() (neurolang.config.NeurolangConfigParser method) get_probchoice_variable_equalities() (in module neurolang.probabilistic.expression_processing) get_query_preds() (in module neurolang.probabilistic.cplogic.problog_solver) get_range_pred_for_coord() (neurolang.frontend.datalog.sugar.spatial.DetectEuclideanDistanceBoundMatrix static method) get_result() (neurolang.utils.server.queries.NeurolangQueryManager method) get_result_item() (neurolang.utils.server.responses.QueryResults method) get_result_item_columns() (neurolang.utils.server.responses.QueryResults method) get_result_item_values() (neurolang.utils.server.responses.QueryResults method) get_structural_knowledge_namespace() (neurolang.config.NeurolangConfigParser method) get_symbol() (neurolang.frontend.query_resolution.QueryBuilderBase method) get_symbols() (neurolang.utils.server.queries.NeurolangQueryManager method) get_var_to_euclidean_equality() (neurolang.frontend.datalog.sugar.spatial.DetectEuclideanDistanceBoundMatrix static method) get_within_language_prob_query_prob_term() (in module neurolang.probabilistic.expression_processing) GetProbabilisticSetAtom (class in neurolang.probabilistic.probabilistic_ra_utils) Grammar (class in neurolang.frontend.drs.chart_parser) GrammarException GraphicalModel (class in neurolang.probabilistic.cplogic.cplogic_to_gm) ground_cplogic_program() (in module neurolang.probabilistic.cplogic.grounding) Grounding (class in neurolang.probabilistic.expressions) group_preds_by_functor() (in module neurolang.probabilistic.expression_processing) group_probabilistic_facts_by_pred_symb() (in module neurolang.probabilistic.expression_processing) groupby() (neurolang.utils.NamedRelationalAlgebraFrozenSet method) (neurolang.utils.relational_algebra_set.abstract.NamedRelationalAlgebraFrozenSet method) (neurolang.utils.relational_algebra_set.abstract.RelationalAlgebraFrozenSet method) (neurolang.utils.relational_algebra_set.NamedRelationalAlgebraFrozenSet method) (neurolang.utils.relational_algebra_set.pandas.NamedRelationalAlgebraFrozenSet method) (neurolang.utils.relational_algebra_set.pandas.RelationalAlgebraFrozenSet method) (neurolang.utils.relational_algebra_set.RelationalAlgebraFrozenSet method) (neurolang.utils.RelationalAlgebraFrozenSet method) GroupByAggregation (class in neurolang.relational_algebra.relational_algebra) guarantee_conjunction() (neurolang.logic.transformations.GuaranteeConjunction method) (neurolang.logic.transformations.GuaranteeDisjunction method) GuaranteeConjunction (class in neurolang.logic.transformations) GuaranteeDisjunction (class in neurolang.logic.transformations)

H

has_existential_quantifiers() (in module neurolang.logic.expression_processing) HasExistentialPredicates (class in neurolang.logic.expression_processing) head (neurolang.frontend.drs.chart_parser.ChartParser.Edge attribute) head_constants_to_equalities() (neurolang.frontend.datalog.sugar.TranslateHeadConstantsToEqualities method) head_predicate() (neurolang.frontend.datalog.standard_syntax.DatalogTransformer method) HeadConstantToBodyEquality (class in neurolang.datalog.expression_processing)

HeadRepeatedVariableToBodyEquality (class in neurolang.datalog.expression_processing) help() (neurolang.frontend.query_resolution_expressions.Expression method) horn_fact() (neurolang.logic.horn_clauses.TranslateHornClausesToDatalog method) horn_rule() (neurolang.logic.horn_clauses.TranslateHornClausesToDatalog method) HornClause (class in neurolang.logic.horn_clauses) HornFact (class in neurolang.logic.horn_clauses)

I

id_application() (neurolang.frontend.datalog.standard_syntax.DatalogTransformer method) identifier() (neurolang.frontend.datalog.standard_syntax.DatalogTransformer method) identifier_regexp() (neurolang.frontend.datalog.standard_syntax.DatalogTransformer method) Implication (class in neurolang.datalog.basic_representation) (class in neurolang.datalog.expressions) (class in neurolang.frontend.query_resolution_expressions) implication() (neurolang.datalog.magic_sets.ReplaceAdornedSymbolWalker method) (neurolang.frontend.datalog.sugar.spatial.DetectEuclideanDistanceBoundMatrix method) (neurolang.frontend.drs.drs_builder.DRS2FOL method) (neurolang.frontend.drs.drs_builder.DRSBuilder method) (neurolang.frontend.query_resolution_expressions.TranslateExpressionToFrontEndExpression method) (neurolang.logic.transformations.DesambiguateQuantifiedVariables method) (neurolang.logic.transformations.UsedQuantifiers method) (neurolang.probabilistic.magic_sets_processing.ReplaceWLQWalker method) implication_column_sugar() (neurolang.frontend.datalog.sugar.TranslateColumnsToAtoms method) (neurolang.frontend.datalog.sugar.TranslateSelectByFirstColumn method) implication_has_existential_variable_in_antecedent() (in module neurolang.datalog.expression_processing) implication_select_by_left_head() (neurolang.frontend.datalog.sugar.TranslateSelectByFirstColumn method) implication_with_collapsable_conjunctive_antecedent() (neurolang.datalog.expression_processing.CollapseConjunctiveAntecedents method) implication_with_constant_term_in_head() (neurolang.datalog.expression_processing.HeadConstantToBodyEquality method) implication_with_duplicated_antecedent_predicate() (neurolang.datalog.expression_processing.RemoveDuplicatedAntecedentPredicates method) implication_with_free_variables() (neurolang.datalog.expression_processing.FreshenFreeVariables method) implication_with_repeated_variable_in_head() (neurolang.datalog.expression_processing.HeadRepeatedVariableToBodyEquality method) ImplicitVBR (class in neurolang.regions) indefinite_noun_phrase() (neurolang.frontend.drs.drs_builder.DRSBuilder method) indent() (in module neurolang.frontend.drs.drs_builder) index() (neurolang.utils.OrderedSet method) (neurolang.utils.orderedset.OrderedSet method) infer_iterable_subtype() (neurolang.datalog.chase.ChaseGeneral static method) (neurolang.datalog.chase.general.ChaseGeneral static method) infer_type() (in module neurolang.type_system) infer_type_builtins() (in module neurolang.type_system) infer_type_iterables() (in module neurolang.type_system) infer_type_mapping() (in module neurolang.type_system) init_frontend() (in module neurolang.utils.server.engines) inspect_resolution() (in module neurolang.probabilistic.cplogic.testing) Instance (class in neurolang.datalog.instance) instance (neurolang.datalog.chase.ChaseNode attribute) (neurolang.datalog.chase.general.ChaseNode attribute) (neurolang.datalog_chase.ChaseNode attribute) int2columnint_constant() (in module neurolang.relational_algebra.relational_algebra) integer() (neurolang.frontend.neurolang.NeuroLangIntermediateRepresentation method) intensional_rule_grounding() (neurolang.probabilistic.cplogic.cplogic_to_gm.CPLogicGroundingToGraphicalModelTranslator method) Intersection (class in neurolang.relational_algebra.relational_algebra) intersects() (neurolang.perior_tree.BoundedAABB method) InvalidMagicSetError invert_selection_order() (neurolang.relational_algebra.optimisers.PushUnnamedSelectionsUp method) is_aggregation_predicate() (in module neurolang.datalog.expression_processing) is_aggregation_rule() (in module neurolang.datalog.expression_processing) is_arithmetic_operation() (in module neurolang.relational_algebra.relational_algebra) is_atom_a_deterministic_relation() (in module neurolang.probabilistic.probabilistic_ra_utils) is_atom_a_probabilistic_choice_relation() (in module neurolang.probabilistic.probabilistic_ra_utils) is_atom_a_probabilistic_fact_relation() (in module neurolang.probabilistic.probabilistic_ra_utils)

is_builtin() (in module neurolang.probabilistic.expression_processing) is_builtin_aggregation_functor() (in module neurolang.datalog.aggregation) is_col_to_const_equality() (neurolang.datalog.translate_to_named_ra.TranslateToNamedRA static method) is_conjunctive_expression() (in module neurolang.datalog.expression_processing) is_conjunctive_expression_with_nested_predicates() (in module neurolang.datalog.expression_processing) is_conjunctive_negation() (in module neurolang.datalog.negation) is_consistent() (in module neurolang.type_system) is_constant_tuple_or_tuple_of_constants() (neurolang.datalog.wrapped_collections.WrappedRelationalAlgebraSetBaseMixin static method) is_contained() (in module neurolang.probabilistic.containment) is_contained_rule() (in module neurolang.probabilistic.containment) is_containment_of_symbol_in_constant() (neurolang.datalog.chase.ChaseGeneral static method) (neurolang.datalog.chase.general.ChaseGeneral static method) is_dee() (neurolang.utils.relational_algebra_set.abstract.RelationalAlgebraFrozenSet method) is_dum() (neurolang.utils.relational_algebra_set.abstract.RelationalAlgebraFrozenSet method) is_empty() (neurolang.datalog.instance.FrozenInstance method) (neurolang.utils.relational_algebra_set.abstract.RelationalAlgebraFrozenSet method) (neurolang.utils.relational_algebra_set.pandas.RelationalAlgebraFrozenSet method) (neurolang.utils.relational_algebra_set.RelationalAlgebraFrozenSet method) (neurolang.utils.RelationalAlgebraFrozenSet method) is_equality_between_constant_and_symbol() (neurolang.datalog.chase.ChaseGeneral static method) (neurolang.datalog.chase.general.ChaseGeneral static method) is_extensional_grounding() (in module neurolang.probabilistic.cplogic.cplogic_to_gm) is_ground_predicate() (in module neurolang.datalog.expression_processing) is_hierarchical_without_self_joins() (in module neurolang.probabilistic.small_dichotomy_theorem_based_solver) is_leaf (neurolang.aabb_tree.Node property) (neurolang.perior_tree.Node property) is_leq_informative() (in module neurolang.type_system) is_leq_informative_parameterized_right() (in module neurolang.type_system) is_leq_informative_union() (in module neurolang.type_system) is_linear_rule() (in module neurolang.datalog.expression_processing) is_logic_function_application() (in module neurolang.logic.expression_processing) is_parameterized() (in module neurolang.type_system) is_parametrical() (in module neurolang.type_system) is_ppdl_rule() (in module neurolang.probabilistic.ppdl) is_probabilistic_fact() (in module neurolang.probabilistic.expression_processing) is_probabilistic_predicate_symbol() (in module neurolang.probabilistic.expression_processing) is_query_based_probpredicate() (in module neurolang.probabilistic.expression_processing) is_rule_with_builtin() (in module neurolang.datalog.expression_processing) is_safe_range() (in module neurolang.logic.horn_clauses) is_symb_to_const_equality() (in module neurolang.datalog.expression_processing) is_to_be_sorted_equality() (in module neurolang.datalog.expression_processing) is_translatable_operation() (in module neurolang.relational_algebra.relational_algebra) is_type() (in module neurolang.type_system) is_var_equality_to_var_or_const() (in module neurolang.datalog.expression_processing) is_within_language_prob_query() (in module neurolang.probabilistic.expression_processing) issubset() (neurolang.utils.OrderedSet method) (neurolang.utils.orderedset.OrderedSet method) issuperset() (neurolang.utils.OrderedSet method) (neurolang.utils.orderedset.OrderedSet method) items() (neurolang.datalog.instance.FrozenMapInstance method) itervalues() (neurolang.utils.relational_algebra_set.abstract.RelationalAlgebraFrozenSet method) (neurolang.utils.relational_algebra_set.pandas.RelationalAlgebraFrozenSet method) (neurolang.utils.relational_algebra_set.RelationalAlgebraFrozenSet method) (neurolang.utils.RelationalAlgebraFrozenSet method)

J

join_drs() (neurolang.frontend.drs.drs_builder.DRSBuilder method)

JSONRequestHandler (class in neurolang.utils.server.app)

K

key (neurolang.utils.server.engines.DestrieuxEngineConf property) (neurolang.utils.server.engines.NeurolangEngineConfiguration property) (neurolang.utils.server.engines.NeurosynthEngineConf property)

keyword_args() (neurolang.frontend.datalog.standard_syntax.DatalogTransformer method) keyword_item() (neurolang.frontend.datalog.standard_syntax.DatalogTransformer method)

L

lambda_application() (neurolang.frontend.datalog.standard_syntax.DatalogTransformer method) lambda_expression() (neurolang.frontend.datalog.standard_syntax.DatalogTransformer method) LarkASTConverter (class in neurolang.frontend.ast_lark) lb (neurolang.aabb_tree.AABB property) left (neurolang.aabb_tree.Node property) left_naturaljoin() (neurolang.utils.NamedRelationalAlgebraFrozenSet method) (neurolang.utils.relational_algebra_set.abstract.NamedRelationalAlgebraFrozenSet method) (neurolang.utils.relational_algebra_set.NamedRelationalAlgebraFrozenSet method) (neurolang.utils.relational_algebra_set.pandas.NamedRelationalAlgebraFrozenSet method) LeftNaturalJoin (class in neurolang.relational_algebra.relational_algebra) LeftToRightSIPS (class in neurolang.datalog.magic_sets) Lexicon (class in neurolang.frontend.drs.chart_parser) lift_optimization_for_choice_predicates() (in module neurolang.probabilistic.expression_processing) lift_solve_marg_query() (in module neurolang.probabilistic.query_resolution) limits (neurolang.aabb_tree.AABB property) lit_noun_phrase() (neurolang.frontend.drs.drs_builder.DRSBuilder method)

load_atlas() (neurolang.commands.CommandsMixin method) load_csv() (neurolang.commands.CommandsMixin method) load_destrieux_atlas() (in module neurolang.utils.server.engines) load_neurosynth_data() (in module neurolang.utils.server.engines) load_neurosynth_mni_peaks_reported() (neurolang.frontend.query_resolution.NeuroSynthMixin method) load_neurosynth_study_ids() (neurolang.frontend.query_resolution.NeuroSynthMixin method) load_neurosynth_term_study_associations() (neurolang.frontend.query_resolution.NeuroSynthMixin method) load_ontology() (neurolang.frontend.NeurolangPDL method) (neurolang.frontend.probabilistic_frontend.NeurolangPDL method) (neurolang.neurolang.NeurolangPDL method) log_performance() (in module neurolang.utils) (in module neurolang.utils.various) logic_exp_commutative_equal() (in module neurolang.utils.testing.logic) logic_operator() (neurolang.logic.expression_processing.WalkLogicProgramAggregatingSets method) LogicExpressionWalker (class in neurolang.logic.transformations) LogicSolver (class in neurolang.logic.expression_processing) LRUCacheDict (class in neurolang.utils.server.queries)

M

magic_predicate() (in module neurolang.datalog.magic_sets) magic_rewrite() (in module neurolang.datalog.magic_sets) magic_sets_rewrite_program() (neurolang.frontend.query_resolution_datalog.QueryBuilderDatalog method) main() (in module neurolang.utils.server.app) MainHandler (class in neurolang.utils.server.app) make_conjunction_rule() (in module neurolang.probabilistic.cplogic.gm_provenance_solver) make_implicit_regions_explicit() (neurolang.frontend.query_resolution.RegionMixin method) make_prov_set() (in module neurolang.probabilistic.cplogic.testing) MakeExistentialsImplicit (class in neurolang.logic.transformations) MakeUniversalsImplicit (class in neurolang.logic.transformations) male (neurolang.frontend.drs.english_grammar.gen attribute) MalformedProbabilisticTupleError MapInstance (class in neurolang.datalog.instance) marg_implication() (neurolang.probabilistic.cplogic.program.CPLogicMixin method) match() (neurolang.frontend.neurolang.PatternMatcher method) maybe_deconjunct_single_pred() (in module neurolang.datalog.expression_processing) maybe_disjunct() (in module neurolang.datalog.expression_processing) meets() (in module neurolang.interval_algebra) merge_nested_rename_columns() (neurolang.relational_algebra.optimisers.RenameOptimizations method) merge_rename_column_group_by() (neurolang.relational_algebra.optimisers.RenameOptimizations method) merge_rename_columns_extended_projection() (neurolang.relational_algebra.optimisers.RenameOptimizations method) merge_selections() (neurolang.relational_algebra.optimisers.RewriteSelections method) merge_substitutions() (in module neurolang.logic.unification) methdispatch() (in module neurolang.perior_tree) minimise_formulas_containment() (in module neurolang.probabilistic.transforms) minimize_component_conjunction() (in module neurolang.probabilistic.transforms) minimize_component_disjunction() (in module neurolang.probabilistic.transforms) minimize_ucq_in_cnf() (in module neurolang.probabilistic.transforms) minimize_ucq_in_dnf() (in module neurolang.probabilistic.transforms) minus_op() (neurolang.frontend.datalog.standard_syntax.DatalogTransformer method) minus_signed_id() (neurolang.frontend.datalog.standard_syntax.DatalogTransformer method) model_count_and_per_row_probability() (in module neurolang.probabilistic.weighted_model_counting) module neurolang neurolang.aabb_tree neurolang.CD_relations neurolang.commands neurolang.config neurolang.datalog neurolang.datalog.aggregation neurolang.datalog.basic_representation neurolang.datalog.chase neurolang.datalog.chase.general neurolang.datalog.chase.mgu neurolang.datalog.chase.negation neurolang.datalog.chase.relational_algebra neurolang.datalog.constraints_representation neurolang.datalog.exceptions neurolang.datalog.expression_processing neurolang.datalog.expressions neurolang.datalog.instance neurolang.datalog.magic_sets neurolang.datalog.negation neurolang.datalog.ontologies_parser neurolang.datalog.ontologies_rewriter neurolang.datalog.translate_to_named_ra neurolang.datalog.wrapped_collections neurolang.datalog_chase neurolang.exceptions neurolang.expression_pattern_matching neurolang.expression_walker neurolang.expressions neurolang.frontend neurolang.frontend.ast neurolang.frontend.ast_lark neurolang.frontend.datalog neurolang.frontend.datalog.standard_syntax neurolang.frontend.datalog.sugar neurolang.frontend.datalog.sugar.spatial neurolang.frontend.datalog.syntax_preprocessing neurolang.frontend.deterministic_frontend neurolang.frontend.drs neurolang.frontend.drs.chart_parser neurolang.frontend.drs.drs_builder neurolang.frontend.drs.english_grammar neurolang.frontend.drs.exceptions neurolang.frontend.drs.translate_to_dl neurolang.frontend.frontend_extensions neurolang.frontend.neurolang neurolang.frontend.neurosynth_utils neurolang.frontend.probabilistic_frontend neurolang.frontend.query_resolution neurolang.frontend.query_resolution_datalog neurolang.frontend.query_resolution_expressions neurolang.interval_algebra neurolang.logic neurolang.logic.expression_processing neurolang.logic.horn_clauses neurolang.logic.transformations neurolang.logic.unification neurolang.neurolang neurolang.neurolang_compiler neurolang.perior_tree neurolang.probabilistic neurolang.probabilistic.containment neurolang.probabilistic.cplogic neurolang.probabilistic.cplogic.cplogic_to_gm neurolang.probabilistic.cplogic.gm_provenance_solver neurolang.probabilistic.cplogic.grounding neurolang.probabilistic.cplogic.problog_solver neurolang.probabilistic.cplogic.program neurolang.probabilistic.cplogic.testing neurolang.probabilistic.dalvi_suciu_lift neurolang.probabilistic.distributions neurolang.probabilistic.exceptions neurolang.probabilistic.expression_processing neurolang.probabilistic.expressions neurolang.probabilistic.magic_sets_processing neurolang.probabilistic.ppdl neurolang.probabilistic.probabilistic_ra_utils neurolang.probabilistic.probabilistic_semiring_solver neurolang.probabilistic.query_resolution neurolang.probabilistic.ranking neurolang.probabilistic.shattering neurolang.probabilistic.small_dichotomy_theorem_based_solver neurolang.probabilistic.stratification neurolang.probabilistic.transforms neurolang.probabilistic.weighted_model_counting neurolang.region_solver neurolang.regions neurolang.relational_algebra neurolang.relational_algebra.optimisers neurolang.relational_algebra.relational_algebra neurolang.relational_algebra_provenance neurolang.solver neurolang.type_system neurolang.typed_symbol_table neurolang.utils neurolang.utils.data_manipulation neurolang.utils.orderedset neurolang.utils.relational_algebra_set neurolang.utils.relational_algebra_set.abstract neurolang.utils.relational_algebra_set.pandas neurolang.utils.server neurolang.utils.server.app neurolang.utils.server.engines neurolang.utils.server.queries neurolang.utils.server.responses neurolang.utils.testing neurolang.utils.testing.logic neurolang.utils.various

most_general_unifier() (in module neurolang.logic.unification) most_general_unifier_arguments() (in module neurolang.logic.unification) most_general_unifier_extract_arguments() (in module neurolang.logic.unification) MoveNegationsToAtoms (class in neurolang.logic.transformations) MoveNegationsToAtomsInFONegE (class in neurolang.logic.transformations) MoveNegationsToAtomsMixin (class in neurolang.logic.transformations) MoveNegationsToAtomsOrExistentialQuantifiers (class in neurolang.logic.horn_clauses) MoveNegationsToAtomsSimpleOperationsMixin (class in neurolang.logic.transformations) MoveQuantifiersUp (class in neurolang.logic.transformations) MoveQuantifiersUpFONegE (class in neurolang.logic.transformations) MpltFigureHandler (class in neurolang.utils.server.app) mul() (neurolang.probabilistic.weighted_model_counting.SemiRingRAPToSDD method) mul_term() (neurolang.frontend.datalog.standard_syntax.DatalogTransformer method)

N

name (neurolang.datalog.magic_sets.AdornedSymbol property) NameColumns (class in neurolang.relational_algebra.relational_algebra) named_tuple_as_dict() (in module neurolang.datalog.wrapped_collections) NamedRelationalAlgebraFrozenSet (class in neurolang.utils) (class in neurolang.utils.relational_algebra_set) (class in neurolang.utils.relational_algebra_set.abstract) (class in neurolang.utils.relational_algebra_set.pandas) NamedRelationalAlgebraOptimiser (class in neurolang.datalog.chase.relational_algebra) nary() (neurolang.logic.expression_processing.HasExistentialPredicates method) nary_choice_probability() (neurolang.probabilistic.cplogic.gm_provenance_solver.CPLogicGraphicalModelProvenanceSolver method) nary_choice_result() (neurolang.probabilistic.cplogic.gm_provenance_solver.CPLogicGraphicalModelProvenanceSolver method) nary_choice_result_truth_conditional_probability() (neurolang.probabilistic.cplogic.gm_provenance_solver.CPLogicGraphicalModelProvenanceSolver method) nary_logic_operator() (neurolang.logic.transformations.DesambiguateQuantifiedVariables method) nary_op_has_duplicated_formulas() (in module neurolang.logic.transformations) NaryChoicePlateNode (class in neurolang.probabilistic.cplogic.cplogic_to_gm) NaryChoiceResultPlateNode (class in neurolang.probabilistic.cplogic.cplogic_to_gm) NAryRelationalAlgebraOperation (class in neurolang.relational_algebra.relational_algebra) NaturalJoin (class in neurolang.relational_algebra.relational_algebra) naturaljoin() (neurolang.probabilistic.cplogic.testing.TestRAPToLaTeXTranslator method) (neurolang.utils.NamedRelationalAlgebraFrozenSet method) (neurolang.utils.relational_algebra_set.abstract.NamedRelationalAlgebraFrozenSet method) (neurolang.utils.relational_algebra_set.NamedRelationalAlgebraFrozenSet method) (neurolang.utils.relational_algebra_set.pandas.NamedRelationalAlgebraFrozenSet method) neg() (neurolang.logic.transformations.ExtractConjunctiveQueryWithNegation method) (neurolang.probabilistic.weighted_model_counting.SemiRingRAPToSDD method) neg_disj_to_conj() (neurolang.solver.BooleanRewriteSolver method) neg_float() (neurolang.frontend.datalog.standard_syntax.DatalogTransformer method) neg_int() (neurolang.frontend.datalog.standard_syntax.DatalogTransformer method) negate() (in module neurolang.interval_algebra) negated_argument() (neurolang.frontend.neurolang.NeuroLangIntermediateRepresentation method) negated_atom() (neurolang.logic.horn_clauses.ConvertSRNFToHornClause method) negated_conjunction() (neurolang.logic.transformations.MoveNegationsToAtomsSimpleOperationsMixin method) negated_disjunction() (neurolang.logic.transformations.MoveNegationsToAtomsSimpleOperationsMixin method) negated_existential() (neurolang.logic.horn_clauses.ConvertSRNFToHornClause method) (neurolang.logic.horn_clauses.MoveNegationsToAtomsOrExistentialQuantifiers method) (neurolang.logic.transformations.PullExistentialUpFromNegation method) negated_predicate() (neurolang.frontend.datalog.standard_syntax.DatalogTransformer method) negated_universal() (neurolang.logic.transformations.PullUniversalUpFromNegation method) Negation (class in neurolang.datalog.expressions) negation() (neurolang.datalog.expression_processing.FlattenQueryInNonRecursiveUCQ method) (neurolang.frontend.query_resolution_expressions.TranslateExpressionToFrontEndExpression method) (neurolang.logic.expression_processing.ExtractLogicPredicates method) (neurolang.logic.expression_processing.WalkLogicProgramAggregatingSets method) (neurolang.logic.horn_clauses.RangeRestrictedVariables method) (neurolang.logic.transformations.CheckConjunctiveQueryWithNegation method) (neurolang.logic.transformations.UsedQuantifiers method) negation_constant() (neurolang.datalog.negation.DatalogProgramNegationMixin method) negation_function_application() (neurolang.datalog.expression_processing.FlattenQueryInNonRecursiveUCQ method) NegationInMagicSetsRewriteError negative_fact() (neurolang.datalog.negation.DatalogProgramNegationMixin method) negative_value() (neurolang.relational_algebra.relational_algebra.StringArithmeticWalker method) NegativeFact (class in neurolang.datalog.negation) NegativeFactConstraints (class in neurolang.datalog.chase.negation) nested_existential() (neurolang.logic.transformations.PushExistentialsDownMixin method) nested_extended_projection_constant() (neurolang.relational_algebra.optimisers.SimplifyExtendedProjectionsWithConstants method) nested_extended_projection_leftnaturaljoin_constant() (neurolang.relational_algebra.optimisers.SimplifyExtendedProjectionsWithConstants method) nested_extended_projection_leftnaturaljoin_constantr() (neurolang.relational_algebra.optimisers.SimplifyExtendedProjectionsWithConstants method) nested_extended_projection_naturaljoin_constant_l() (neurolang.relational_algebra.optimisers.SimplifyExtendedProjectionsWithConstants method) nested_extended_projection_naturaljoin_constantr() (neurolang.relational_algebra.optimisers.SimplifyExtendedProjectionsWithConstants method) nested_extended_projection_outernaturaljoin_constant() (neurolang.relational_algebra.optimisers.SimplifyExtendedProjectionsWithConstants method) nested_extended_projection_outernaturaljoin_constantr() (neurolang.relational_algebra.optimisers.SimplifyExtendedProjectionsWithConstants method) nested_same_selection() (neurolang.probabilistic.cplogic.gm_provenance_solver.SelectionOutPusherMixin method) nested_selections_not_same_tuple_symbol() (neurolang.probabilistic.cplogic.gm_provenance_solver.SelectionOutPusherMixin method) nested_tuple_selection() (neurolang.probabilistic.cplogic.gm_provenance_solver.SelectionOutPusherMixin method) neurolang module neurolang.aabb_tree module neurolang.CD_relations module neurolang.commands module neurolang.config module neurolang.datalog module neurolang.datalog.aggregation module neurolang.datalog.basic_representation module neurolang.datalog.chase module neurolang.datalog.chase.general module neurolang.datalog.chase.mgu module neurolang.datalog.chase.negation module neurolang.datalog.chase.relational_algebra module neurolang.datalog.constraints_representation module neurolang.datalog.exceptions module neurolang.datalog.expression_processing module neurolang.datalog.expressions module neurolang.datalog.instance module neurolang.datalog.magic_sets module neurolang.datalog.negation module neurolang.datalog.ontologies_parser module neurolang.datalog.ontologies_rewriter module neurolang.datalog.translate_to_named_ra module neurolang.datalog.wrapped_collections module neurolang.datalog_chase module neurolang.exceptions module neurolang.expression_pattern_matching module neurolang.expression_walker module neurolang.expressions module neurolang.frontend module neurolang.frontend.ast module neurolang.frontend.ast_lark module neurolang.frontend.datalog module neurolang.frontend.datalog.standard_syntax module neurolang.frontend.datalog.sugar module neurolang.frontend.datalog.sugar.spatial module neurolang.frontend.datalog.syntax_preprocessing module neurolang.frontend.deterministic_frontend module neurolang.frontend.drs module neurolang.frontend.drs.chart_parser module neurolang.frontend.drs.drs_builder module neurolang.frontend.drs.english_grammar module neurolang.frontend.drs.exceptions module neurolang.frontend.drs.translate_to_dl module neurolang.frontend.frontend_extensions module neurolang.frontend.neurolang module neurolang.frontend.neurosynth_utils module neurolang.frontend.probabilistic_frontend module neurolang.frontend.query_resolution module neurolang.frontend.query_resolution_datalog module neurolang.frontend.query_resolution_expressions module

neurolang.interval_algebra module neurolang.logic module neurolang.logic.expression_processing module neurolang.logic.horn_clauses module neurolang.logic.transformations module neurolang.logic.unification module neurolang.neurolang module neurolang.neurolang_compiler module neurolang.perior_tree module neurolang.probabilistic module neurolang.probabilistic.containment module neurolang.probabilistic.cplogic module neurolang.probabilistic.cplogic.cplogic_to_gm module neurolang.probabilistic.cplogic.gm_provenance_solver module neurolang.probabilistic.cplogic.grounding module neurolang.probabilistic.cplogic.problog_solver module neurolang.probabilistic.cplogic.program module neurolang.probabilistic.cplogic.testing module neurolang.probabilistic.dalvi_suciu_lift module neurolang.probabilistic.distributions module neurolang.probabilistic.exceptions module neurolang.probabilistic.expression_processing module neurolang.probabilistic.expressions module neurolang.probabilistic.magic_sets_processing module neurolang.probabilistic.ppdl module neurolang.probabilistic.probabilistic_ra_utils module neurolang.probabilistic.probabilistic_semiring_solver module neurolang.probabilistic.query_resolution module neurolang.probabilistic.ranking module neurolang.probabilistic.shattering module neurolang.probabilistic.small_dichotomy_theorem_based_solver module neurolang.probabilistic.stratification module neurolang.probabilistic.transforms module neurolang.probabilistic.weighted_model_counting module neurolang.region_solver module neurolang.regions module neurolang.relational_algebra module neurolang.relational_algebra.optimisers module neurolang.relational_algebra.relational_algebra module neurolang.relational_algebra_provenance module neurolang.solver module neurolang.type_system module neurolang.typed_symbol_table module neurolang.utils module neurolang.utils.data_manipulation module neurolang.utils.orderedset module neurolang.utils.relational_algebra_set module neurolang.utils.relational_algebra_set.abstract module neurolang.utils.relational_algebra_set.pandas module neurolang.utils.server module neurolang.utils.server.app module neurolang.utils.server.engines module neurolang.utils.server.queries module neurolang.utils.server.responses module neurolang.utils.testing module neurolang.utils.testing.logic module neurolang.utils.various module neurolang_symbol (neurolang.frontend.deterministic_frontend.Symbol property) (neurolang.frontend.query_resolution_expressions.Symbol property) (neurolang.frontend.Symbol property) NeurolangConfigParser (class in neurolang.config) NeurolangDL (class in neurolang) (class in neurolang.frontend) (class in neurolang.frontend.deterministic_frontend) (class in neurolang.neurolang) NeurolangEngineConfiguration (class in neurolang.utils.server.engines) NeurolangEngineSet (class in neurolang.utils.server.engines) NeuroLangException NeuroLangIntermediateRepresentation (class in neurolang.frontend.neurolang) NeuroLangIntermediateRepresentationCompiler (class in neurolang.frontend.neurolang) (class in neurolang.neurolang_compiler) NeuroLangNonLinearProgramException, [1] NeurolangPDL (class in neurolang) (class in neurolang.frontend) (class in neurolang.frontend.probabilistic_frontend) (class in neurolang.neurolang) NeuroLangPredicateException NeuroLangProgramHasLoopsException, [1] NeurolangQueryManager (class in neurolang.utils.server.queries) NeuroLangTranslateToHornClauseException NeuroLangTypeException NeurosynthEngineConf (class in neurolang.utils.server.engines) NeuroSynthMixin (class in neurolang.frontend.query_resolution) new_region_symbol() (neurolang.frontend.query_resolution.RegionMixin method) new_set() (neurolang.solver.FirstOrderLogicSolver static method) new_symbol() (neurolang.frontend.query_resolution.QueryBuilderBase method) next_token() (neurolang.frontend.drs.chart_parser.Tokenizer method) NiftiiImageHandler (class in neurolang.utils.server.app) njoin_left_selection() (neurolang.probabilistic.cplogic.gm_provenance_solver.SelectionOutPusherMixin method) njoin_right_selection() (neurolang.probabilistic.cplogic.gm_provenance_solver.SelectionOutPusherMixin method) nl_pred_to_pl_pred() (in module neurolang.probabilistic.cplogic.problog_solver) NoConstantPredicateFoundError Node (class in neurolang.aabb_tree) (class in neurolang.perior_tree) node_always_true() (neurolang.probabilistic.cplogic.gm_provenance_solver.CPLogicGraphicalModelProvenanceSolver method) NodeValue (class in neurolang.probabilistic.cplogic.gm_provenance_solver) nom (neurolang.frontend.drs.english_grammar.case attribute) NonConjunctiveAntecedentInMagicSetsError NonLiftable (class in neurolang.probabilistic.probabilistic_ra_utils) NormalizeNotEquals (class in neurolang.probabilistic.shattering) NotEasilyShatterableError NotHierarchicalQueryException notnom (neurolang.frontend.drs.english_grammar.case attribute) NullConstant (class in neurolang.datalog.basic_representation) num (class in neurolang.frontend.drs.english_grammar) NumberColumns (class in neurolang.relational_algebra.relational_algebra) NumericOperationsSolver (class in neurolang.solver) NumpyFunctionsMixin (class in neurolang.frontend.frontend_extensions)

O

obtain_negative_columns() (neurolang.datalog.translate_to_named_ra.TranslateToNamedRA static method) obtain_negative_substitutions() (neurolang.datalog.chase.negation.DatalogChaseNegationMGUMixin static method) (neurolang.datalog.chase.negation.DatalogChaseNegationRelationalAlgebraMixin method) obtain_substitutions() (neurolang.datalog.chase.ChaseMGUMixin static method) (neurolang.datalog.chase.ChaseNamedRelationalAlgebraMixin method) (neurolang.datalog.chase.ChaseRelationalAlgebraPlusCeriMixin method) (neurolang.datalog.chase.mgu.ChaseMGUMixin static method) (neurolang.datalog.chase.relational_algebra.ChaseNamedRelationalAlgebraMixin method) (neurolang.datalog.chase.relational_algebra.ChaseRelationalAlgebraPlusCeriMixin method) on_message() (neurolang.utils.server.app.QuerySocketHandler method) OntologyParser (class in neurolang.datalog.ontologies_parser)

OntologyRewriter (class in neurolang.datalog.ontologies_rewriter) op_bind() (in module neurolang.frontend.query_resolution_expressions) Operation (class in neurolang.frontend.query_resolution_expressions) operation_sum() (neurolang.relational_algebra.relational_algebra.StringArithmeticWalker method) operator() (neurolang.logic.expression_processing.HasExistentialPredicates method) operator_repr (neurolang.frontend.query_resolution_expressions.Operation attribute) or_() (neurolang.probabilistic.weighted_model_counting.SemiRingRAPToSDD method) OrderedSet (class in neurolang.utils) (class in neurolang.utils.orderedset) others() (neurolang.frontend.datalog.sugar.RecogniseSSugar method) overlaps() (in module neurolang.interval_algebra) (neurolang.aabb_tree.AABB method)

P

parse() (neurolang.frontend.drs.chart_parser.ChartParser method) parse_ontology() (neurolang.datalog.ontologies_parser.OntologyParser method) parse_region_label_map() (in module neurolang.utils.data_manipulation) ParseDatalogPredicateException ParseException parser() (in module neurolang.frontend.datalog.standard_syntax) (in module neurolang.frontend.neurolang) partial_binary_evaluation() (neurolang.solver.BooleanRewriteSolver method) partially_rank_query() (in module neurolang.probabilistic.ranking) pattern_match() (neurolang.frontend.neurolang.PatternMatcher method) pattern_match_expression() (neurolang.frontend.neurolang.PatternMatcher method) pattern_match_expression_parameters() (neurolang.frontend.neurolang.PatternMatcher method) pattern_match_expression_tuple() (neurolang.frontend.neurolang.PatternMatcher method) pattern_match_tuple() (neurolang.frontend.neurolang.PatternMatcher method) PatternMatcher (class in neurolang.frontend.neurolang) patterns (neurolang.frontend.neurolang.PatternMatcher property) pchoice_pred_symb_set_symb (neurolang.probabilistic.cplogic.program.CPLogicMixin attribute) pchoice_pred_symbs (neurolang.probabilistic.cplogic.program.CPLogicMixin property) per_rule_update() (neurolang.datalog.chase.ChaseSemiNaive method) (neurolang.datalog.chase.general.ChaseSemiNaive method) perform_wmc() (in module neurolang.probabilistic.weighted_model_counting) pfact_pred_symb_set_symb (neurolang.probabilistic.cplogic.program.CPLogicMixin attribute) pfact_pred_symbs (neurolang.probabilistic.cplogic.program.CPLogicMixin property) pick_chase_instance_for_stratum() (neurolang.datalog.chase.ChaseStratified method) (neurolang.datalog.chase.general.ChaseStratified method) pl_pred_from_tuple() (in module neurolang.probabilistic.cplogic.problog_solver) pl_preds_to_prov_set() (in module neurolang.probabilistic.cplogic.problog_solver) pl_solution_to_nl_solution() (in module neurolang.probabilistic.cplogic.problog_solver) PlanarVolume (class in neurolang.regions) PlateNode (class in neurolang.probabilistic.cplogic.cplogic_to_gm) plural (neurolang.frontend.drs.english_grammar.num attribute) plural_type_name (neurolang.solver.GenericSolver property) plus_op() (neurolang.frontend.datalog.standard_syntax.DatalogTransformer method) point_float() (neurolang.frontend.neurolang.NeuroLangIntermediateRepresentation method) PointSet (class in neurolang.regions) pop_scope() (neurolang.neurolang_compiler.NeuroLangIntermediateRepresentationCompiler method) pos_args() (neurolang.frontend.datalog.standard_syntax.DatalogTransformer method) pos_float() (neurolang.frontend.datalog.standard_syntax.DatalogTransformer method) pos_int() (neurolang.frontend.datalog.standard_syntax.DatalogTransformer method) pos_item() (neurolang.frontend.datalog.standard_syntax.DatalogTransformer method) post() (neurolang.utils.server.app.QueryHandler method) pow_factor() (neurolang.frontend.datalog.standard_syntax.DatalogTransformer method) power() (neurolang.frontend.neurolang.NeuroLangIntermediateRepresentation method) powerset() (in module neurolang.utils) (in module neurolang.utils.various) PPDL (class in neurolang.probabilistic.ppdl) ppdl_rule() (neurolang.probabilistic.ppdl.PPDLMixin method) PPDLDeltaSymbol (class in neurolang.probabilistic.ppdl) PPDLDeltaTerm (class in neurolang.probabilistic.ppdl) PPDLMixin (class in neurolang.probabilistic.ppdl) predicate() (neurolang.frontend.datalog.standard_syntax.DatalogTransformer method) (neurolang.frontend.drs.drs_builder.DRSBuilder method) (neurolang.frontend.neurolang.NeuroLangIntermediateRepresentation method) predicate_parameter_names() (neurolang.frontend.query_resolution_datalog.QueryBuilderDatalog method) predicate_symbols (neurolang.probabilistic.cplogic.program.CPLogicMixin property) prepare_initial_query() (in module neurolang.probabilistic.weighted_model_counting) prettify() (neurolang.probabilistic.cplogic.testing.TestRAPToLaTeXTranslator method) probabilistic_choice_grounding() (neurolang.probabilistic.cplogic.cplogic_to_gm.CPLogicGroundingToGraphicalModelTranslator method) probabilistic_choice_set() (neurolang.probabilistic.probabilistic_semiring_solver.ProbSemiringSolverMixin method) (neurolang.probabilistic.weighted_model_counting.SDDWMCSemiRingSolver method) (neurolang.probabilistic.weighted_model_counting.WMCSemiRingSolver method) probabilistic_choice_set_to_symbol() (neurolang.probabilistic.probabilistic_semiring_solver.ProbSemiringSolverMixin method) probabilistic_choices() (neurolang.probabilistic.cplogic.program.CPLogicMixin method) probabilistic_fact() (neurolang.frontend.datalog.standard_syntax.DatalogTransformer method) (neurolang.probabilistic.cplogic.program.CPLogicMixin method) probabilistic_fact_set() (neurolang.probabilistic.probabilistic_semiring_solver.ProbSemiringSolverMixin method) (neurolang.probabilistic.weighted_model_counting.SDDWMCSemiRingSolver method) (neurolang.probabilistic.weighted_model_counting.WMCSemiRingSolver method) probabilistic_fact_set_invalid() (neurolang.probabilistic.probabilistic_semiring_solver.ProbSemiringSolverMixin method) (neurolang.probabilistic.weighted_model_counting.SDDWMCSemiRingSolver method) (neurolang.probabilistic.weighted_model_counting.WMCSemiRingSolver method) probabilistic_facts() (neurolang.probabilistic.cplogic.program.CPLogicMixin method) probabilistic_postprocess_magic_rules() (in module neurolang.probabilistic.magic_sets_processing) probabilistic_predicate_symbols (neurolang.probabilistic.cplogic.program.CPLogicMixin property) probabilistic_rule() (neurolang.frontend.datalog.standard_syntax.DatalogTransformer method) ProbabilisticBinaryLogicOperator (class in neurolang.probabilistic.expressions) ProbabilisticChoice (class in neurolang.probabilistic.expressions) ProbabilisticChoiceGrounding (class in neurolang.probabilistic.expressions) ProbabilisticChoiceSet (class in neurolang.probabilistic.probabilistic_ra_utils) ProbabilisticFact (class in neurolang.probabilistic.expressions) ProbabilisticFactSet (class in neurolang.probabilistic.probabilistic_ra_utils) ProbabilisticPlateNode (class in neurolang.probabilistic.cplogic.cplogic_to_gm) ProbabilisticPredicate (class in neurolang.probabilistic.expressions) ProbabilisticQuery (class in neurolang.probabilistic.expressions) probability() (neurolang.probabilistic.distributions.Distribution method) (neurolang.probabilistic.distributions.TableDistribution method) ProbabilityOperation (class in neurolang.probabilistic.cplogic.gm_provenance_solver) probfact_set_grounding() (neurolang.probabilistic.cplogic.cplogic_to_gm.CPLogicGroundingToGraphicalModelTranslator method) ProbFol2DatalogMixin (class in neurolang.frontend.datalog.syntax_preprocessing) ProbSemiringSolver (class in neurolang.probabilistic.probabilistic_semiring_solver)

ProbSemiringSolverMixin (class in neurolang.probabilistic.probabilistic_semiring_solver) ProbSemiringToRelationalAlgebraSolver (class in neurolang.probabilistic.probabilistic_semiring_solver) process_constant_column_int() (neurolang.relational_algebra.relational_algebra.StringArithmeticWalker method) process_constant_column_str() (neurolang.relational_algebra.relational_algebra.StringArithmeticWalker method) process_constant_float() (neurolang.relational_algebra.relational_algebra.StringArithmeticWalker method) process_constant_int() (neurolang.relational_algebra.relational_algebra.StringArithmeticWalker method) process_constant_str() (neurolang.relational_algebra.relational_algebra.StringArithmeticWalker method) process_destroy_formulas() (neurolang.datalog.translate_to_named_ra.TranslateToNamedRA static method) process_equality_formula() (neurolang.datalog.translate_to_named_ra.TranslateToNamedRA static method) process_equality_formulas() (neurolang.datalog.translate_to_named_ra.TranslateToNamedRA static method) process_equality_formulas_as_extended_projections() (neurolang.datalog.translate_to_named_ra.TranslateToNamedRA static method) process_equality_formulas_constant() (neurolang.datalog.translate_to_named_ra.TranslateToNamedRA static method) process_extended_projection_formulas() (neurolang.datalog.translate_to_named_ra.TranslateToNamedRA static method) process_function_application() (neurolang.logic.transformations.ExtractBoundVariables method) process_negative_formulas() (neurolang.datalog.translate_to_named_ra.TranslateToNamedRA static method) process_positive_formulas() (neurolang.datalog.translate_to_named_ra.TranslateToNamedRA static method) process_selection_formulas() (neurolang.datalog.translate_to_named_ra.TranslateToNamedRA static method) process_symbol() (neurolang.logic.transformations.ExtractBoundVariables method) Product (class in neurolang.relational_algebra.relational_algebra) product() (neurolang.frontend.neurolang.NeuroLangIntermediateRepresentation method) ProductSimplification (class in neurolang.relational_algebra.optimisers) program_has_loops() (in module neurolang.datalog.expression_processing) project_point_to_plane() (neurolang.regions.PlanarVolume method) Projection (class in neurolang.relational_algebra.relational_algebra) projection() (neurolang.frontend.neurolang.NeuroLangIntermediateRepresentation method) (neurolang.probabilistic.cplogic.testing.TestRAPToLaTeXTranslator method) (neurolang.probabilistic.probabilistic_ra_utils.GetProbabilisticSetAtom method) (neurolang.utils.NamedRelationalAlgebraFrozenSet method) (neurolang.utils.relational_algebra_set.abstract.NamedRelationalAlgebraFrozenSet method) (neurolang.utils.relational_algebra_set.abstract.RelationalAlgebraFrozenSet method) (neurolang.utils.relational_algebra_set.NamedRelationalAlgebraFrozenSet method) (neurolang.utils.relational_algebra_set.pandas.NamedRelationalAlgebraFrozenSet method) (neurolang.utils.relational_algebra_set.pandas.RelationalAlgebraFrozenSet method) (neurolang.utils.relational_algebra_set.RelationalAlgebraFrozenSet method) (neurolang.utils.RelationalAlgebraFrozenSet method) projection_to_unnamed() (neurolang.utils.NamedRelationalAlgebraFrozenSet method) (neurolang.utils.relational_algebra_set.abstract.NamedRelationalAlgebraFrozenSet method) (neurolang.utils.relational_algebra_set.NamedRelationalAlgebraFrozenSet method) (neurolang.utils.relational_algebra_set.pandas.NamedRelationalAlgebraFrozenSet method) proper_names() (neurolang.frontend.drs.drs_builder.DRSBuilder method) protected_keywords (neurolang.datalog.basic_representation.DatalogProgram attribute) (neurolang.datalog.constraints_representation.DatalogConstraintsMixin attribute) (neurolang.datalog.constraints_representation.DatalogConstraintsProgram attribute) (neurolang.datalog.negation.DatalogProgramNegation attribute) (neurolang.frontend.probabilistic_frontend.RegionFrontendCPLogicSolver attribute) (neurolang.probabilistic.cplogic.grounding.Datalog attribute) (neurolang.probabilistic.cplogic.program.CPLogicMixin attribute) (neurolang.probabilistic.cplogic.program.CPLogicProgram attribute) (neurolang.probabilistic.ppdl.PPDL attribute) prov_arithmetic_operation() (neurolang.relational_algebra.relational_algebra.RelationalAlgebraSolver method) provenance_algebra_set() (neurolang.probabilistic.cplogic.testing.TestRAPToLaTeXTranslator method) ProvenanceExpressionTransformer (class in neurolang.probabilistic.cplogic.gm_provenance_solver) PullExistentialUpFromNegation (class in neurolang.logic.transformations) PullUniversalUpFromNegation (class in neurolang.logic.transformations) pure_conjunction() (neurolang.logic.transformations.ExtractConjunctiveQueryWithNegation method) push_and_rename_in_naturaljoin() (neurolang.relational_algebra.optimisers.PushInSelections method) push_computed_columns_up() (neurolang.relational_algebra.optimisers.SimplifyExtendedProjectionsWithConstants method) push_computed_columns_up_flip() (neurolang.relational_algebra.optimisers.SimplifyExtendedProjectionsWithConstants method) push_computed_columns_up_left() (neurolang.relational_algebra.optimisers.SimplifyExtendedProjectionsWithConstants method) push_computed_columns_up_outer() (neurolang.relational_algebra.optimisers.SimplifyExtendedProjectionsWithConstants method) push_eliminate_trivial_operation() (neurolang.logic.transformations.PushExistentialsDownMixin method) (neurolang.logic.transformations.PushUniversalsDownMixin method) push_existential_down() (neurolang.logic.transformations.PushExistentialsDownMixin method) push_existential_down_disjunction() (neurolang.logic.transformations.PushExistentialsDownMixin method) push_projection_in_deterministic() (neurolang.probabilistic.probabilistic_semiring_solver.ProbSemiringSolverMixin method) push_rename_past_groupby() (neurolang.relational_algebra.optimisers.RenameOptimizations method) push_rename_past_projection() (neurolang.relational_algebra.optimisers.RenameOptimizations method) push_rename_past_selection() (neurolang.relational_algebra.optimisers.RenameOptimizations method) push_replace_null_in_ext_proj() (neurolang.relational_algebra.optimisers.SimplifyExtendedProjectionsWithConstants method) push_scope() (neurolang.neurolang_compiler.NeuroLangIntermediateRepresentationCompiler method) push_selection_above_name_columns() (neurolang.relational_algebra.optimisers.PushUnnamedSelectionsUp method) push_selection_above_projection() (neurolang.relational_algebra.optimisers.PushUnnamedSelectionsUp method) push_selection_in_extended_projection() (neurolang.relational_algebra.optimisers.PushInSelections method) push_selection_in_groupby() (neurolang.relational_algebra.optimisers.PushInSelections method) push_selection_in_left() (neurolang.relational_algebra.optimisers.PushInSelections method) push_selection_in_leftnaturaljoin_left() (neurolang.relational_algebra.optimisers.PushInSelections method) push_selection_in_leftnaturaljoin_right() (neurolang.relational_algebra.optimisers.PushInSelections method) push_selection_in_outernaturaljoin_left() (neurolang.relational_algebra.optimisers.PushInSelections method) push_selection_in_outernaturaljoin_right() (neurolang.relational_algebra.optimisers.PushInSelections method) push_selection_in_projection() (neurolang.relational_algebra.optimisers.PushInSelections method) push_selection_in_replace_null() (neurolang.relational_algebra.optimisers.PushInSelections method) push_selection_in_right() (neurolang.relational_algebra.optimisers.PushInSelections method) push_universal_down_conjunction() (neurolang.logic.transformations.PushUniversalsDownMixin method) push_universal_down_disjunction() (neurolang.logic.transformations.PushUniversalsDownMixin method) PushExistentialsDown (class in neurolang.logic.transformations) PushExistentialsDownMixin (class in neurolang.logic.transformations) PushInSelections (class in neurolang.relational_algebra.optimisers) PushQuantifiersDown (class in neurolang.logic.transformations) PushUniversalsDown (class in neurolang.logic.transformations) PushUniversalsDownMixin (class in neurolang.logic.transformations) PushUnnamedSelectionsUp (class in neurolang.relational_algebra.optimisers)

Q

quantifier() (neurolang.logic.expression_processing.WalkLogicProgramAggregatingSets method) (neurolang.logic.horn_clauses.TranslateHornClausesToDatalog method) (neurolang.logic.transformations.DesambiguateQuantifiedVariables method) (neurolang.logic.transformations.ExtractBoundVariables method) (neurolang.logic.transformations.UsedQuantifiers method) quantifier_head_symbols_and_adom() (neurolang.solver.FirstOrderLogicSolver method) Query (class in neurolang.frontend.query_resolution_expressions) query() (neurolang.frontend.datalog.standard_syntax.DatalogTransformer method) (neurolang.frontend.neurolang.NeuroLangIntermediateRepresentation method) (neurolang.frontend.query_resolution_datalog.QueryBuilderDatalog method) query_based_probabilistic_choice() (neurolang.probabilistic.cplogic.program.CPLogicMixin method) query_based_probabilistic_fact() (neurolang.probabilistic.cplogic.program.CPLogicMixin method) query_based_probabilistic_predicate() (neurolang.probabilistic.cplogic.program.CPLogicMixin method) query_based_probafact() (neurolang.probabilistic.query_resolution.QueryBasedProbFactToDetRule method) query_based_probchoice_wannabe() (neurolang.frontend.datalog.sugar.TranslateQueryBasedProbabilisticFactMixin method) query_based_probfact_wannabe() (neurolang.frontend.datalog.sugar.TranslateQueryBasedProbabilisticFactMixin method)

query_overlapping_regions() (neurolang.aabb_tree.Tree method) query_predicate() (neurolang.datalog.expression_processing.FlattenQueryInNonRecursiveUCQ method) query_regions_axdir() (neurolang.aabb_tree.Tree method) (neurolang.perior_tree.Tree method) query_regions_contained_in_box() (neurolang.aabb_tree.Tree method) (neurolang.perior_tree.Tree method) query_resolution() (neurolang.solver.FirstOrderLogicSolver method) query_results_to_json() (in module neurolang.utils.server.app) QueryBasedProbFactToDetRule (class in neurolang.probabilistic.query_resolution) QueryBuilderBase (class in neurolang.frontend.query_resolution) QueryBuilderDatalog (class in neurolang.frontend.query_resolution_datalog) QueryHandler (class in neurolang.utils.server.app) QueryResults (class in neurolang.utils.server.responses) QuerySocketHandler (class in neurolang.utils.server.app) QuerySymbolsProxy (class in neurolang.frontend.query_resolution) quoted_predicate() (neurolang.frontend.drs.drs_builder.DRSBuilder method)

R

ra_binary_to_nary() (in module neurolang.probabilistic.cplogic.gm_provenance_solver) ra_constant() (neurolang.relational_algebra.relational_algebra.RelationalAlgebraSolver method) ra_difference() (neurolang.relational_algebra.relational_algebra.RelationalAlgebraSolver method) ra_equijoin() (neurolang.relational_algebra.relational_algebra.RelationalAlgebraSolver method) ra_full_outer_naturaljoin() (neurolang.relational_algebra.relational_algebra.RelationalAlgebraSolver method) ra_intersection() (neurolang.relational_algebra.relational_algebra.RelationalAlgebraSolver method) ra_left_naturaljoin() (neurolang.relational_algebra.relational_algebra.RelationalAlgebraSolver method) ra_name_columns() (neurolang.relational_algebra.relational_algebra.RelationalAlgebraSolver method) ra_naturaljoin() (neurolang.relational_algebra.relational_algebra.RelationalAlgebraSolver method) ra_number_columns() (neurolang.relational_algebra.relational_algebra.RelationalAlgebraSolver method) ra_operation() (neurolang.probabilistic.cplogic.gm_provenance_solver.ProvenanceExpressionTransformer method) ra_product() (neurolang.relational_algebra.relational_algebra.RelationalAlgebraSolver method) ra_projection() (neurolang.relational_algebra.relational_algebra.RelationalAlgebraSolver method) ra_rename_column() (neurolang.relational_algebra.relational_algebra.RelationalAlgebraSolver method) ra_rename_columns() (neurolang.relational_algebra.relational_algebra.RelationalAlgebraSolver method) ra_symbol() (neurolang.relational_algebra.relational_algebra.RelationalAlgebraSolver method) ra_union() (neurolang.relational_algebra.relational_algebra.RelationalAlgebraSolver method) radius (neurolang.regions.SphericalVolume property) range_restricted_variables() (in module neurolang.logic.horn_clauses) RangeRestrictedVariables (class in neurolang.logic.horn_clauses) rap_expression_to_latex() (in module neurolang.probabilistic.cplogic.testing) RAQueryOptimiser (class in neurolang.probabilistic.query_resolution) (class in neurolang.probabilistic.weighted_model_counting) reachable_adorned_code() (in module neurolang.datalog.magic_sets) reachable_code() (in module neurolang.datalog.constraints_representation) (in module neurolang.datalog.expression_processing) reachable_code_from_query() (in module neurolang.probabilistic.stratification) RecogniseSSugar (class in neurolang.frontend.datalog.sugar) recognize() (neurolang.frontend.drs.chart_parser.ChartParser method) Region (class in neurolang.regions) region_difference() (in module neurolang.regions) region_intersection() (in module neurolang.regions) region_names (neurolang.frontend.query_resolution.RegionMixin property) region_set_from_masked_data() (in module neurolang.regions) region_set_names (neurolang.frontend.query_resolution.RegionMixin property) region_union() (in module neurolang.regions) RegionFrontendCPLogicSolver (class in neurolang.frontend.probabilistic_frontend) RegionMixin (class in neurolang.frontend.query_resolution) RegionSolver (class in neurolang.region_solver) RelationalAlgebraColumn (class in neurolang.utils.relational_algebra_set.abstract) RelationalAlgebraColumnInt (class in neurolang.utils.relational_algebra_set) (class in neurolang.utils.relational_algebra_set.abstract) RelationalAlgebraColumnStr (class in neurolang.utils.relational_algebra_set) (class in neurolang.utils.relational_algebra_set.abstract) RelationalAlgebraFrozenSet (class in neurolang.utils) (class in neurolang.utils.relational_algebra_set) (class in neurolang.utils.relational_algebra_set.abstract) (class in neurolang.utils.relational_algebra_set.pandas) RelationalAlgebraOperation (class in neurolang.relational_algebra.relational_algebra) RelationalAlgebraOptimiser (class in neurolang.relational_algebra.optimisers) RelationalAlgebraSelectionConjunction (class in neurolang.probabilistic.shattering) RelationalAlgebraSet (class in neurolang.utils) (class in neurolang.utils.relational_algebra_set) (class in neurolang.utils.relational_algebra_set.abstract) (class in neurolang.utils.relational_algebra_set.pandas) RelationalAlgebraSolver (class in neurolang.relational_algebra.relational_algebra) RelationalAlgebraStringExpression (class in neurolang.utils) (class in neurolang.utils.relational_algebra_set) (class in neurolang.utils.relational_algebra_set.pandas) remaining (neurolang.frontend.drs.chart_parser.ChartParser.Edge attribute) remove_conjunction_duplicates() (in module neurolang.datalog.expression_processing) remove_double_negation() (neurolang.logic.transformations.RemoveTrivialOperationsMixin method) remove_empty_bounding_boxes() (neurolang.regions.VolumetricBrainRegion method) remove_implication() (neurolang.logic.transformations.EliminateImplications method) remove_probability_column() (in module neurolang.probabilistic.cplogic.grounding) remove_single() (neurolang.logic.transformations.RemoveTrivialOperationsMixin method) remove_trivial_existential() (neurolang.logic.transformations.PushExistentialsDownMixin method) remove_trivial_rename() (neurolang.relational_algebra.optimisers.RenameOptimizations method) remove_trivial_universal() (neurolang.logic.transformations.PushUniversalsDownMixin method) RemoveDuplicatedAntecedentPredicates (class in neurolang.datalog.expression_processing) RemoveDuplicatedConjunctsDisjuncts (class in neurolang.logic.transformations)

RemoveExistentialOnVariables (class in neurolang.logic.transformations) RemoveExistentialPredicates (class in neurolang.logic.transformations) RemoveTrivialOperations (class in neurolang.logic.transformations) RemoveTrivialOperationsMixin (class in neurolang.logic.transformations) RemoveUniversalPredicates (class in neurolang.logic.transformations) rename_column() (neurolang.probabilistic.cplogic.testing.TestRAPToLaTeXTranslator method) (neurolang.utils.NamedRelationalAlgebraFrozenSet method) (neurolang.utils.relational_algebra_set.abstract.NamedRelationalAlgebraFrozenSet method) (neurolang.utils.relational_algebra_set.NamedRelationalAlgebraFrozenSet method) (neurolang.utils.relational_algebra_set.pandas.NamedRelationalAlgebraFrozenSet method) rename_columns() (neurolang.utils.NamedRelationalAlgebraFrozenSet method) (neurolang.utils.relational_algebra_set.abstract.NamedRelationalAlgebraFrozenSet method) (neurolang.utils.relational_algebra_set.NamedRelationalAlgebraFrozenSet method) (neurolang.utils.relational_algebra_set.pandas.NamedRelationalAlgebraFrozenSet method) rename_columns_for_args_to_match() (in module neurolang.probabilistic.cplogic) RenameColumn (class in neurolang.relational_algebra.relational_algebra) RenameColumns (class in neurolang.relational_algebra.relational_algebra) RenameOptimizations (class in neurolang.relational_algebra.optimisers) RepeatedTuplesInProbabilisticRelationError replace() (neurolang.utils.OrderedSet method) (neurolang.utils.orderedset.OrderedSet method) replace_adorned_symbol() (neurolang.datalog.magic_sets.ReplaceAdornedSymbolWalker method) replace_null() (neurolang.relational_algebra.relational_algebra.RelationalAlgebraSolver method) (neurolang.utils.NamedRelationalAlgebraFrozenSet method) (neurolang.utils.relational_algebra_set.abstract.NamedRelationalAlgebraFrozenSet method) (neurolang.utils.relational_algebra_set.NamedRelationalAlgebraFrozenSet method) (neurolang.utils.relational_algebra_set.pandas.NamedRelationalAlgebraFrozenSet method) replace_probabilistic_predicate() (neurolang.probabilistic.magic_sets_processing.ReplaceWLQWalker method) replace_probabilistic_queries() (neurolang.probabilistic.magic_sets_processing.ReplaceWLQWalker method) replace_s_getattr_by_first_column() (neurolang.frontend.datalog.sugar.TranslateSSugarToSelectByColumn method) replace_trivial_agg_groupby() (neurolang.relational_algebra.optimisers.SimplifyExtendedProjectionsWithConstants method) replace_type_variable() (in module neurolang.type_system) replace_type_variable_fix_python36_37() (in module neurolang.type_system) replace_variable_in_quantifier() (neurolang.logic.transformations.FreshenVariablesWhenQuantified method) ReplaceAdornedSymbolWalker (class in neurolang.datalog.magic_sets) ReplaceConstantColumnStrBySymbol (class in neurolang.relational_algebra.relational_algebra) ReplaceFreeSymbolWalker (class in neurolang.logic.transformations) ReplaceNull (class in neurolang.relational_algebra.relational_algebra) ReplaceWLQWalker (class in neurolang.probabilistic.magic_sets_processing) reset_program() (neurolang.frontend.query_resolution_datalog.QueryBuilderDatalog method) resolve_symbol() (neurolang.probabilistic.probabilistic_ra_utils.GetProbabilisticSetAtom method) reverse_equality() (neurolang.datalog.expression_processing.EqualitySymbolLeftHandSideNormaliseMixin static method) rewrite_antecedent_equalities() (neurolang.datalog.chase.ChaseNamedRelationalAlgebraMixin method) (neurolang.datalog.chase.relational_algebra.ChaseNamedRelationalAlgebraMixin method) rewrite_boolean_and() (neurolang.solver.BooleanOperationsSolver method) rewrite_boolean_and_l() (neurolang.solver.BooleanOperationsSolver method) rewrite_boolean_and_r() (neurolang.solver.BooleanOperationsSolver method) rewrite_boolean_inversion() (neurolang.solver.BooleanOperationsSolver method) rewrite_boolean_or() (neurolang.solver.BooleanOperationsSolver method) rewrite_boolean_or_l() (neurolang.solver.BooleanOperationsSolver method) rewrite_boolean_or_r() (neurolang.solver.BooleanOperationsSolver method) rewrite_conditional_query() (neurolang.frontend.datalog.sugar.TranslateProbabilisticQueryMixin method) rewrite_constants_in_consequent() (neurolang.datalog.chase.ChaseNamedRelationalAlgebraMixin method) (neurolang.datalog.chase.relational_algebra.ChaseNamedRelationalAlgebraMixin method) rewrite_rule_consequent_constants_to_equalities() (neurolang.datalog.chase.ChaseNamedRelationalAlgebraMixin static method) (neurolang.datalog.chase.relational_algebra.ChaseNamedRelationalAlgebraMixin static method) RewriteSelections (class in neurolang.relational_algebra.optimisers) rewriting_step() (neurolang.datalog.ontologies_rewriter.OntologyRewriter method) right (neurolang.aabb_tree.Node property) right_implication() (neurolang.frontend.query_resolution_expressions.TranslateExpressionToFrontEndExpression method) RightImplication (class in neurolang.datalog.constraints_representation) (class in neurolang.frontend.query_resolution_expressions) RootRule (class in neurolang.frontend.drs.chart_parser) rop_bind() (in module neurolang.frontend.query_resolution_expressions) rotate() (neurolang.logic.transformations.DistributeConjunctions method) (neurolang.logic.transformations.DistributeDisjunctions method) row_maps (neurolang.datalog.wrapped_collections.WrappedTypeMap attribute) row_type (neurolang.datalog.wrapped_collections.WrappedNamedRelationalAlgebraFrozenSetMixin property) (neurolang.datalog.wrapped_collections.WrappedRelationalAlgebraSetBaseMixin property) Rule (class in neurolang.frontend.drs.chart_parser) rule (neurolang.frontend.drs.chart_parser.ChartParser.Edge attribute) rule() (neurolang.frontend.datalog.standard_syntax.DatalogTransformer method)

S

s_sugar() (neurolang.frontend.datalog.sugar.RecogniseSSugar method) safe_range_pred_to_coord_set() (neurolang.frontend.datalog.sugar.spatial.TranslateEuclideanDistanceBoundMatrixMixin method) save_image_to_gzip() (neurolang.utils.server.app.DownloadsHandler method) scope (neurolang.frontend.query_resolution.QueryBuilderBase property) sdd_compilation() (in module neurolang.probabilistic.weighted_model_counting) sdd_compilation_and_wmc() (in module neurolang.probabilistic.weighted_model_counting) sdd_solver_global_model() (in module neurolang.probabilistic.weighted_model_counting) sdd_solver_per_individual_row() (in module neurolang.probabilistic.weighted_model_counting) SDDWMCSemiRingSolver (class in neurolang.probabilistic.weighted_model_counting) SelectByFirstColumn (class in neurolang.frontend.datalog.sugar) Selection (class in neurolang.relational_algebra.relational_algebra) selection() (neurolang.probabilistic.cplogic.testing.TestRAPToLaTeXTranslator method) (neurolang.utils.relational_algebra_set.abstract.RelationalAlgebraFrozenSet method) (neurolang.utils.relational_algebra_set.pandas.RelationalAlgebraFrozenSet method) (neurolang.utils.relational_algebra_set.RelationalAlgebraFrozenSet method) (neurolang.utils.RelationalAlgebraFrozenSet method) selection_between_columns() (neurolang.relational_algebra.relational_algebra.RelationalAlgebraSolver method) selection_between_columns_product() (neurolang.relational_algebra.optimisers.RewriteSelections method) selection_by_constant() (neurolang.relational_algebra.relational_algebra.RelationalAlgebraSolver method) selection_by_constant_on_product() (neurolang.relational_algebra.optimisers.RewriteSelections method) selection_by_tuple_symbol() (neurolang.probabilistic.cplogic.testing.TestRAPToLaTeXTranslator method) selection_columns() (neurolang.utils.relational_algebra_set.abstract.RelationalAlgebraFrozenSet method) (neurolang.utils.relational_algebra_set.pandas.RelationalAlgebraFrozenSet method) (neurolang.utils.relational_algebra_set.RelationalAlgebraFrozenSet method) (neurolang.utils.RelationalAlgebraFrozenSet method) selection_conjunction() (neurolang.probabilistic.shattering.RelationalAlgebraSelectionConjunction method) selection_general_selection_by_constant() (neurolang.relational_algebra.relational_algebra.RelationalAlgebraSolver method) selection_in_projection() (neurolang.probabilistic.cplogic.gm_provenance_solver.SelectionOutPusherMixin method) selection_on_equijoin() (neurolang.relational_algebra.optimisers.RewriteSelections method) selection_on_equijoin_columns() (neurolang.relational_algebra.optimisers.RewriteSelections method) selection_push_right() (neurolang.relational_algebra.optimisers.RewriteSelections method) selection_selection_swap() (neurolang.relational_algebra.optimisers.RewriteSelections method) selection_shorten_right() (neurolang.relational_algebra.optimisers.RewriteSelections method) SelectionOutPusher (class in neurolang.probabilistic.cplogic.gm_provenance_solver) SelectionOutPusherMixin (class in neurolang.probabilistic.cplogic.gm_provenance_solver) SemiRingRAPToSDD (class in neurolang.probabilistic.weighted_model_counting) send_query_update() (neurolang.utils.server.app.QuerySocketHandler method) sentence_list() (neurolang.frontend.drs.drs_builder.DRSBuilder method) separate_deterministic_probabilistic_code() (in module neurolang.probabilistic.expression_processing) serialize_mplt_thumbnails() (in module neurolang.utils.server.responses) serializeVBR() (in module neurolang.utils.server.responses) set_constraints() (neurolang.datalog.constraints_representation.DatalogConstraintsMixin method) set_default_headers() (neurolang.utils.server.app.DownloadsHandler method) (neurolang.utils.server.app.JSONRequestHandler method) (neurolang.utils.server.app.MpltFigureHandler method) set_destroy() (neurolang.relational_algebra.relational_algebra.RelationalAlgebraSolver method) set_error_details() (neurolang.utils.server.responses.QueryResults method) set_query_backend() (neurolang.config.NeurolangConfigParser method) set_readonly() (neurolang.typed_symbol_table.TypedSymbolTable method) set_results_details() (neurolang.utils.server.responses.QueryResults method) set_structural_knowledge_namespace() (neurolang.config.NeurolangConfigParser method) set_symbol_table() (neurolang.solver.GenericSolver method) SetInstance (class in neurolang.datalog.instance) sets_per_symbol() (in module neurolang.probabilistic.shattering) setup_logs() (in module neurolang.utils.server.app) shatter_constants() (in module neurolang.probabilistic.shattering) shatter_inequalities() (neurolang.probabilistic.shattering.ShatterEqualities method) shatter_symbol() (neurolang.probabilistic.shattering.ShatterEqualities method) ShatterEqualities (class in neurolang.probabilistic.shattering) signed_int_ext_identifier() (neurolang.frontend.datalog.standard_syntax.DatalogTransformer method) simple_and() (neurolang.frontend.drs.drs_builder.DRSBuilder method) simplify_double_inversion() (neurolang.solver.BooleanRewriteSolver method) simplify_mul_left() (neurolang.probabilistic.query_resolution.FloatArithmeticSimplifier method) simplify_mul_right() (neurolang.probabilistic.query_resolution.FloatArithmeticSimplifier method) simplify_projection_extended_projection() (neurolang.relational_algebra.optimisers.EliminateTrivialProjections method) simplify_renames_name() (neurolang.relational_algebra.optimisers.RenameOptimizations method) SimplifyExtendedProjectionsWithConstants (class in neurolang.relational_algebra.optimisers) sing_factor() (neurolang.frontend.datalog.standard_syntax.DatalogTransformer method) sing_op() (neurolang.frontend.datalog.standard_syntax.DatalogTransformer method) sing_term() (neurolang.frontend.datalog.standard_syntax.DatalogTransformer method) single_node_truth_probability() (neurolang.probabilistic.cplogic.gm_provenance_solver.CPLogicGraphicalModelProvenanceSolver method) single_product() (neurolang.relational_algebra.optimisers.ProductSimplification method) single_sentence_list() (neurolang.frontend.drs.drs_builder.DRSBuilder method) singular (neurolang.frontend.drs.english_grammar.num attribute) SIPS (class in neurolang.datalog.magic_sets) solve_all() (neurolang.frontend.NeurolangPDL method) (neurolang.frontend.probabilistic_frontend.NeurolangPDL method) (neurolang.frontend.query_resolution_datalog.QueryBuilderDatalog method) (neurolang.neurolang.NeurolangPDL method)

solve_marg_query() (in module neurolang.probabilistic.cplogic.gm_provenance_solver) (in module neurolang.probabilistic.dalvi_suciu_lift) (in module neurolang.probabilistic.small_dichotomy_theorem_based_solver) (in module neurolang.probabilistic.weighted_model_counting) solve_spatial_bound() (neurolang.frontend.datalog.sugar.spatial.TranslateEuclideanDistanceBoundMatrixMixin static method) solve_succ_all() (in module neurolang.probabilistic.cplogic.problog_solver) solve_succ_query() (in module neurolang.probabilistic.cplogic.gm_provenance_solver) (in module neurolang.probabilistic.cplogic.problog_solver) (in module neurolang.probabilistic.dalvi_suciu_lift) (in module neurolang.probabilistic.small_dichotomy_theorem_based_solver) (in module neurolang.probabilistic.weighted_model_counting) solve_succ_query_boolean_diagram() (in module neurolang.probabilistic.weighted_model_counting) solve_succ_query_sdd_direct() (in module neurolang.probabilistic.weighted_model_counting) sort_antecedent_equalities() (neurolang.datalog.expression_processing.EqualitySymbolLeftHandSideNormaliseMixin method) sort_formula_args() (neurolang.relational_algebra.optimisers.RewriteSelections method) spatial_image() (neurolang.frontend.deterministic_frontend.ExplicitVBR method) (neurolang.frontend.deterministic_frontend.ExplicitVBROverlay method) (neurolang.frontend.ExplicitVBR method) (neurolang.frontend.ExplicitVBROverlay method) (neurolang.neurolang.ExplicitVBR method) (neurolang.neurolang.ExplicitVBROverlay method) (neurolang.regions.ExplicitVBR method) (neurolang.regions.ExplicitVBROverlay method) (neurolang.regions.PointSet method) sphere() (neurolang.frontend.query_resolution.RegionMixin method) SphericalVolume (class in neurolang.regions) split() (neurolang.logic.transformations.DistributeConjunctions method) (neurolang.logic.transformations.DistributeDisjunctions method) split_positive_negative_formulas() (in module neurolang.probabilistic.transforms) split_relations_column() (neurolang.relational_algebra.optimisers.RewriteSelections static method) split_rename_left_naturaljoin() (neurolang.relational_algebra.optimisers.RenameOptimizations method) split_rename_naturaljoin() (neurolang.relational_algebra.optimisers.RenameOptimizations method) split_rename_outer_naturaljoin() (neurolang.relational_algebra.optimisers.RenameOptimizations method) standardize_projected_column() (neurolang.relational_algebra.optimisers.PushUnnamedSelectionsUp method) start() (neurolang.frontend.datalog.standard_syntax.DatalogTransformer method) starts() (in module neurolang.interval_algebra) statement() (neurolang.frontend.datalog.standard_syntax.DatalogTransformer method) (neurolang.frontend.neurolang.NeuroLangIntermediateRepresentation method) statement_function() (neurolang.frontend.datalog.standard_syntax.DatalogTransformer method) statement_intensional() (neurolang.datalog.negation.DatalogProgramNegationMixin method) statement_intensional_aggregation() (neurolang.datalog.aggregation.DatalogWithAggregationMixin method) StaticFileOrDefaultHandler (class in neurolang.utils.server.app) StatusHandler (class in neurolang.utils.server.app) stop_if_bound() (neurolang.logic.transformations.ReplaceFreeSymbolWalker method) str2columnstr_constant() (in module neurolang.relational_algebra.relational_algebra) stratify() (in module neurolang.datalog.expression_processing) stratify_obtain_facts_stratum() (in module neurolang.datalog.expression_processing) stratify_obtain_new_stratum() (in module neurolang.datalog.expression_processing) stratify_program() (in module neurolang.probabilistic.stratification) string() (neurolang.frontend.neurolang.NeuroLangIntermediateRepresentation method) StringArithmeticWalker (class in neurolang.relational_algebra.relational_algebra) StudyID (class in neurolang.frontend.neurosynth_utils) submit_query() (neurolang.utils.server.queries.NeurolangQueryManager method) sum() (neurolang.frontend.neurolang.NeuroLangIntermediateRepresentation method) support (neurolang.probabilistic.distributions.Distribution property) (neurolang.probabilistic.distributions.TableDistribution property) swap_formula_args() (neurolang.relational_algebra.optimisers.RewriteSelections method) swap_rename_selection() (neurolang.probabilistic.cplogic.gm_provenance_solver.SelectionOutPusherMixin method) switch_backend() (neurolang.config.NeurolangConfigParser method) switch_expression_type_printing() (neurolang.config.NeurolangConfigParser method) switch_rename_replace_null() (neurolang.relational_algebra.optimisers.RenameOptimizations method) Symbol (class in neurolang.frontend) (class in neurolang.frontend.deterministic_frontend) (class in neurolang.frontend.query_resolution_expressions) symbol (neurolang.frontend.deterministic_frontend.Symbol property) (neurolang.frontend.query_resolution_expressions.Symbol property) (neurolang.frontend.Symbol property) symbol() (neurolang.frontend.datalog.sugar.RecogniseSSugar method) (neurolang.frontend.query_resolution_expressions.TranslateExpressionToFrontEndExpression method) (neurolang.logic.expression_processing.ExtractLogicAtoms method) (neurolang.logic.expression_processing.ExtractLogicPredicates method) (neurolang.logic.transformations.UsedQuantifiers method) (neurolang.probabilistic.weighted_model_counting.SemiRingRAPToSDD method) symbol_table (neurolang.frontend.query_resolution.QueryBuilderBase property) (neurolang.neurolang_compiler.NeuroLangIntermediateRepresentationCompiler property) symbols (neurolang.frontend.query_resolution.QueryBuilderBase property) symbols_by_type() (neurolang.typed_symbol_table.TypedSymbolTable method) SymbolsHandler (class in neurolang.utils.server.app)

T

TableDistribution (class in neurolang.probabilistic.distributions) take_principal_regions() (in module neurolang.regions) temp_seed() (in module neurolang.probabilistic.cplogic.testing) term() (neurolang.frontend.datalog.standard_syntax.DatalogTransformer method) TestRAPToLaTeXTranslator (class in neurolang.probabilistic.cplogic.testing) text() (neurolang.frontend.datalog.standard_syntax.DatalogTransformer method) TfIDf (class in neurolang.frontend.neurosynth_utils) thing (neurolang.frontend.drs.english_grammar.gen attribute) to_explicit_vbr() (neurolang.regions.VolumetricBrainRegion method) to_ijk() (neurolang.frontend.deterministic_frontend.ExplicitVBR method) (neurolang.frontend.ExplicitVBR method) (neurolang.neurolang.ExplicitVBR method) (neurolang.regions.ExplicitVBR method) (neurolang.regions.ImplicitVBR method) (neurolang.regions.PlanarVolume method) (neurolang.regions.PointSet method) (neurolang.regions.SphericalVolume method) (neurolang.regions.VolumetricBrainRegion method) to_ijk_set() (neurolang.regions.VolumetricBrainRegion method) to_unnamed() (neurolang.utils.NamedRelationalAlgebraFrozenSet method) (neurolang.utils.relational_algebra_set.abstract.NamedRelationalAlgebraFrozenSet method) (neurolang.utils.relational_algebra_set.NamedRelationalAlgebraFrozenSet method) (neurolang.utils.relational_algebra_set.pandas.NamedRelationalAlgebraFrozenSet method) to_xyz() (neurolang.frontend.deterministic_frontend.ExplicitVBR method) (neurolang.frontend.ExplicitVBR method) (neurolang.neurolang.ExplicitVBR method) (neurolang.regions.ExplicitVBR method) (neurolang.regions.ImplicitVBR method) (neurolang.regions.PointSet method) (neurolang.regions.VolumetricBrainRegion method) to_xyz_set() (neurolang.regions.VolumetricBrainRegion method) tokenize() (neurolang.frontend.drs.chart_parser.Tokenizer method) TokenizeException Tokenizer (class in neurolang.frontend.drs.chart_parser) topological_sort_groundings() (in module neurolang.probabilistic.cplogic.grounding) topological_sort_groundings_util() (in module neurolang.probabilistic.cplogic.grounding) transform_function_application_consequent_to_aggregation() (neurolang.datalog.aggregation.TranslateToLogicWithAggregation method) TransformIntoConjunctionOfDatalogSentences (class in neurolang.frontend.drs.translate_to_dl) translatable_numpy_operation() (neurolang.relational_algebra.relational_algebra.StringArithmeticWalker method) translate_block() (neurolang.frontend.drs.translate_to_dl.TranslateToDatalog method) translate_builtin_fa() (neurolang.datalog.translate_to_named_ra.TranslateToNamedRA method) translate_builtin_fa_constants() (neurolang.datalog.translate_to_named_ra.TranslateToNamedRA method) translate_conjunction() (neurolang.datalog.translate_to_named_ra.TranslateToNamedRA method) translate_conjunction_to_named_ra() (neurolang.datalog.chase.ChaseNamedRelationalAlgebraMixin method) (neurolang.datalog.chase.relational_algebra.ChaseNamedRelationalAlgebraMixin method) translate_disjunction() (neurolang.datalog.translate_to_named_ra.TranslateToNamedRA method) translate_eq() (neurolang.datalog.translate_to_named_ra.TranslateToNamedRA method) translate_eq_c_c() (neurolang.datalog.translate_to_named_ra.TranslateToNamedRA method) translate_eq_c_fa() (neurolang.datalog.translate_to_named_ra.TranslateToNamedRA method) translate_eq_c_s() (neurolang.datalog.translate_to_named_ra.TranslateToNamedRA method) translate_eq_fa_s() (neurolang.datalog.translate_to_named_ra.TranslateToNamedRA method) translate_eq_s_c() (neurolang.datalog.translate_to_named_ra.TranslateToNamedRA method) translate_existential_predicate() (neurolang.datalog.translate_to_named_ra.TranslateToNamedRA method) translate_fa() (neurolang.datalog.translate_to_named_ra.TranslateToNamedRA method) translate_horn_clauses_to_datalog() (in module neurolang.logic.horn_clauses) translate_implication() (neurolang.frontend.datalog.syntax_preprocessing.ProbFol2DatalogMixin method) (neurolang.logic.horn_clauses.Fol2DatalogMixin method) translate_logic_operator() (neurolang.logic.expression_processing.TranslateToLogic method) translate_logical_sentence() (neurolang.frontend.drs.translate_to_dl.TranslateToDatalog method) translate_marg_query() (neurolang.frontend.datalog.syntax_preprocessing.ProbFol2DatalogMixin method) translate_negation() (neurolang.datalog.translate_to_named_ra.TranslateToNamedRA method) translate_predicate() (neurolang.datalog.chase.ChaseRelationalAlgebraPlusCeriMixin method) (neurolang.datalog.chase.relational_algebra.ChaseRelationalAlgebraPlusCeriMixin method) translate_predicate_process_argument() (neurolang.datalog.chase.ChaseRelationalAlgebraPlusCeriMixin method) (neurolang.datalog.chase.relational_algebra.ChaseRelationalAlgebraPlusCeriMixin method) translate_predicate_process_argument_symbol() (neurolang.datalog.chase.ChaseRelationalAlgebraPlusCeriMixin method) (neurolang.datalog.chase.relational_algebra.ChaseRelationalAlgebraPlusCeriMixin method) translate_sentence() (neurolang.frontend.drs.translate_to_dl.TranslateToDatalog method) translate_to_ra_plus() (neurolang.datalog.chase.ChaseRelationalAlgebraPlusCeriMixin method) (neurolang.datalog.chase.relational_algebra.ChaseRelationalAlgebraPlusCeriMixin method) translate_true_implication() (neurolang.datalog.expressions.TranslateToLogic method) TranslateColumnsToAtoms (class in neurolang.frontend.datalog.sugar) TranslateEuclideanDistanceBoundMatrixMixin (class in neurolang.frontend.datalog.sugar.spatial) TranslateExpressionToFrontEndExpression (class in neurolang.frontend.query_resolution_expressions) TranslateHeadConstantsToEqualities (class in neurolang.frontend.datalog.sugar) TranslateHornClausesToDatalog (class in neurolang.logic.horn_clauses) TranslateProbabilisticQueryMixin (class in neurolang.frontend.datalog.sugar) TranslateQueryBasedProbabilisticFactMixin (class in neurolang.frontend.datalog.sugar) TranslateSelectByFirstColumn (class in neurolang.frontend.datalog.sugar) TranslateSSugarToSelectByColumn (class in neurolang.frontend.datalog.sugar) TranslateToDatalog (class in neurolang.frontend.drs.translate_to_dl) TranslateToDatalogException TranslateToDatalogSemantics (class in neurolang.datalog.expression_processing) TranslateToLogic (class in neurolang.datalog.expressions) (class in neurolang.logic.expression_processing) TranslateToLogicWithAggregation (class in neurolang.datalog.aggregation) TranslateToNamedRA (class in neurolang.datalog.translate_to_named_ra) Tree (class in neurolang.aabb_tree) (class in neurolang.perior_tree) tuple() (neurolang.frontend.neurolang.NeuroLangIntermediateRepresentation method) TupleEqualSymbol (class in neurolang.probabilistic.cplogic.gm_provenance_solver) TupleSymbol (class in neurolang.probabilistic.cplogic.gm_provenance_solver) type (neurolang.commands.CommandsMixin attribute) (neurolang.datalog.aggregation.DatalogWithAggregationMixin attribute) (neurolang.datalog.aggregation.TranslateToLogicWithAggregation attribute) (neurolang.datalog.basic_representation.DatalogProgram attribute) (neurolang.datalog.basic_representation.Fact attribute) (neurolang.datalog.basic_representation.Implication attribute) (neurolang.datalog.basic_representation.NullConstant attribute) (neurolang.datalog.basic_representation.Undefined attribute) (neurolang.datalog.chase.relational_algebra.NamedRelationalAlgebraOptimiser attribute) (neurolang.datalog.constraints_representation.DatalogConstraintsMixin attribute) (neurolang.datalog.constraints_representation.DatalogConstraintsProgram attribute) (neurolang.datalog.constraints_representation.RightImplication attribute) (neurolang.datalog.expression_processing.CollapseConjunctiveAntecedents attribute) (neurolang.datalog.expression_processing.EqualitySymbolLeftHandSideNormaliseMixin attribute) (neurolang.datalog.expression_processing.FlattenQueryInNonRecursiveUCQ attribute) (neurolang.datalog.expression_processing.FreshenFreeVariables attribute) (neurolang.datalog.expression_processing.HeadConstantToBodyEquality attribute) (neurolang.datalog.expression_processing.HeadRepeatedVariableToBodyEquality attribute) (neurolang.datalog.expression_processing.RemoveDuplicatedAntecedentPredicates attribute) (neurolang.datalog.expression_processing.TranslateToDatalogSemantics attribute) (neurolang.datalog.expression_processing.UnifyVariableEqualities attribute) (neurolang.datalog.expression_processing.UnifyVariableEqualitiesMixin attribute) (neurolang.datalog.expressions.Conjunction attribute) (neurolang.datalog.expressions.Fact attribute) (neurolang.datalog.expressions.Implication attribute) (neurolang.datalog.expressions.Negation attribute) (neurolang.datalog.expressions.TranslateToLogic attribute) (neurolang.datalog.expressions.UnaryLogicOperator attribute) (neurolang.datalog.expressions.Union attribute) (neurolang.datalog.magic_sets.AdornedSymbol attribute) (neurolang.datalog.magic_sets.ReplaceAdornedSymbolWalker attribute) (neurolang.datalog.negation.DatalogProgramNegation attribute) (neurolang.datalog.negation.DatalogProgramNegationMixin attribute) (neurolang.datalog.negation.NegativeFact attribute) (neurolang.datalog.ontologies_rewriter.ExtractFreeVariablesRightImplicationWalker attribute) (neurolang.datalog.translate_to_named_ra.TranslateToNamedRA attribute) (neurolang.frontend.datalog.standard_syntax.ExternalSymbol attribute) (neurolang.frontend.datalog.sugar.Column attribute) (neurolang.frontend.datalog.sugar.ConvertAttrSToSelectByColumn attribute) (neurolang.frontend.datalog.sugar.RecogniseSSugar attribute) (neurolang.frontend.datalog.sugar.SelectByFirstColumn attribute) (neurolang.frontend.datalog.sugar.spatial.DetectEuclideanDistanceBoundMatrix attribute) (neurolang.frontend.datalog.sugar.spatial.TranslateEuclideanDistanceBoundMatrixMixin attribute) (neurolang.frontend.datalog.sugar.TranslateColumnsToAtoms attribute) (neurolang.frontend.datalog.sugar.TranslateHeadConstantsToEqualities attribute) (neurolang.frontend.datalog.sugar.TranslateProbabilisticQueryMixin attribute) (neurolang.frontend.datalog.sugar.TranslateQueryBasedProbabilisticFactMixin attribute) (neurolang.frontend.datalog.sugar.TranslateSelectByFirstColumn attribute) (neurolang.frontend.datalog.sugar.TranslateSSugarToSelectByColumn attribute) (neurolang.frontend.datalog.syntax_preprocessing.ProbFol2DatalogMixin attribute) (neurolang.frontend.drs.chart_parser.Grammar attribute) (neurolang.frontend.drs.chart_parser.RootRule attribute) (neurolang.frontend.drs.chart_parser.Rule attribute) (neurolang.frontend.drs.drs_builder.DRS attribute) (neurolang.frontend.drs.drs_builder.DRS2FOL attribute) (neurolang.frontend.drs.drs_builder.DRSBuilder attribute) (neurolang.frontend.drs.translate_to_dl.TransformIntoConjunctionOfDatalogSentences attribute) (neurolang.frontend.neurolang.ExistentialPredicate attribute) (neurolang.frontend.neurolang.NeuroLangIntermediateRepresentationCompiler attribute) (neurolang.frontend.neurolang.PatternMatcher attribute) (neurolang.frontend.probabilistic_frontend.RegionFrontendCPLogicSolver attribute) (neurolang.frontend.query_resolution_expressions.Expression property) (neurolang.frontend.query_resolution_expressions.TranslateExpressionToFrontEndExpression attribute) (neurolang.logic.expression_processing.ExtractFreeVariablesWalker attribute) (neurolang.logic.expression_processing.ExtractLogicAtoms attribute) (neurolang.logic.expression_processing.ExtractLogicPredicates attribute) (neurolang.logic.expression_processing.HasExistentialPredicates attribute) (neurolang.logic.expression_processing.LogicSolver attribute) (neurolang.logic.expression_processing.TranslateToLogic attribute) (neurolang.logic.expression_processing.WalkLogicProgramAggregatingSets attribute) (neurolang.logic.horn_clauses.ConvertSRNFToHornClause attribute) (neurolang.logic.horn_clauses.Fol2DatalogMixin attribute) (neurolang.logic.horn_clauses.HornClause attribute) (neurolang.logic.horn_clauses.HornFact attribute) (neurolang.logic.horn_clauses.MoveNegationsToAtomsOrExistentialQuantifiers attribute) (neurolang.logic.horn_clauses.RangeRestrictedVariables attribute) (neurolang.logic.horn_clauses.TranslateHornClausesToDatalog attribute) (neurolang.logic.transformations.CheckConjunctiveQueryWithNegation attribute) (neurolang.logic.transformations.CollapseConjunctions attribute) (neurolang.logic.transformations.CollapseConjunctionsMixin attribute) (neurolang.logic.transformations.CollapseDisjunctions attribute) (neurolang.logic.transformations.CollapseDisjunctionsMixin attribute) (neurolang.logic.transformations.DesambiguateQuantifiedVariables attribute) (neurolang.logic.transformations.DistributeConjunctions attribute) (neurolang.logic.transformations.DistributeDisjunctions attribute) (neurolang.logic.transformations.DistributeImplicationsWithConjunctiveHeads attribute) (neurolang.logic.transformations.DistributeUniversalQuantifiers attribute) (neurolang.logic.transformations.EliminateImplications attribute) (neurolang.logic.transformations.ExtractBoundVariables attribute) (neurolang.logic.transformations.ExtractConjunctiveQueryWithNegation attribute) (neurolang.logic.transformations.ExtractFOLFreeVariables attribute) (neurolang.logic.transformations.FactorQuantifiersMixin attribute) (neurolang.logic.transformations.FONegELogicExpression attribute) (neurolang.logic.transformations.FreshenVariablesWhenQuantified attribute) (neurolang.logic.transformations.GuaranteeConjunction attribute) (neurolang.logic.transformations.GuaranteeDisjunction attribute) (neurolang.logic.transformations.LogicExpressionWalker attribute) (neurolang.logic.transformations.MakeExistentialsImplicit attribute) (neurolang.logic.transformations.MakeUniversalsImplicit attribute) (neurolang.logic.transformations.MoveNegationsToAtoms attribute) (neurolang.logic.transformations.MoveNegationsToAtomsInFONegE attribute) (neurolang.logic.transformations.MoveNegationsToAtomsMixin attribute) (neurolang.logic.transformations.MoveNegationsToAtomsSimpleOperationsMixin attribute) (neurolang.logic.transformations.MoveQuantifiersUp attribute) (neurolang.logic.transformations.MoveQuantifiersUpFONegE attribute) (neurolang.logic.transformations.PullExistentialUpFromNegation attribute) (neurolang.logic.transformations.PullUniversalUpFromNegation attribute) (neurolang.logic.transformations.PushExistentialsDown attribute) (neurolang.logic.transformations.PushExistentialsDownMixin attribute) (neurolang.logic.transformations.PushQuantifiersDown attribute) (neurolang.logic.transformations.PushUniversalsDown attribute) (neurolang.logic.transformations.PushUniversalsDownMixin attribute) (neurolang.logic.transformations.RemoveDuplicatedConjunctsDisjuncts attribute) (neurolang.logic.transformations.RemoveExistentialOnVariables attribute) (neurolang.logic.transformations.RemoveExistentialPredicates attribute) (neurolang.logic.transformations.RemoveTrivialOperations attribute) (neurolang.logic.transformations.RemoveTrivialOperationsMixin attribute) (neurolang.logic.transformations.RemoveUniversalPredicates attribute) (neurolang.logic.transformations.ReplaceFreeSymbolWalker attribute) (neurolang.logic.transformations.UsedQuantifiers attribute) (neurolang.probabilistic.cplogic.cplogic_to_gm.AndPlateNode attribute) (neurolang.probabilistic.cplogic.cplogic_to_gm.BernoulliPlateNode attribute) (neurolang.probabilistic.cplogic.cplogic_to_gm.CPLogicGroundingToGraphicalModelTranslator attribute) (neurolang.probabilistic.cplogic.cplogic_to_gm.GraphicalModel attribute) (neurolang.probabilistic.cplogic.cplogic_to_gm.NaryChoicePlateNode attribute) (neurolang.probabilistic.cplogic.cplogic_to_gm.NaryChoiceResultPlateNode attribute) (neurolang.probabilistic.cplogic.cplogic_to_gm.PlateNode attribute) (neurolang.probabilistic.cplogic.cplogic_to_gm.ProbabilisticPlateNode attribute) (neurolang.probabilistic.cplogic.gm_provenance_solver.CPLogicGraphicalModelProvenanceSolver attribute) (neurolang.probabilistic.cplogic.gm_provenance_solver.NodeValue attribute) (neurolang.probabilistic.cplogic.gm_provenance_solver.ProbabilityOperation attribute) (neurolang.probabilistic.cplogic.gm_provenance_solver.ProvenanceExpressionTransformer attribute) (neurolang.probabilistic.cplogic.gm_provenance_solver.SelectionOutPusher attribute) (neurolang.probabilistic.cplogic.gm_provenance_solver.SelectionOutPusherMixin attribute) (neurolang.probabilistic.cplogic.gm_provenance_solver.TupleEqualSymbol attribute) (neurolang.probabilistic.cplogic.gm_provenance_solver.TupleSymbol attribute) (neurolang.probabilistic.cplogic.gm_provenance_solver.UnionOverTuples attribute) (neurolang.probabilistic.cplogic.gm_provenance_solver.UnionRemover attribute) (neurolang.probabilistic.cplogic.gm_provenance_solver.UnionRemoverMixin attribute) (neurolang.probabilistic.cplogic.grounding.Datalog attribute) (neurolang.probabilistic.cplogic.program.CPLogicMixin attribute) (neurolang.probabilistic.cplogic.program.CPLogicProgram attribute) (neurolang.probabilistic.cplogic.testing.TestRAPToLaTeXTranslator attribute) (neurolang.probabilistic.expressions.Condition attribute) (neurolang.probabilistic.expressions.Grounding attribute) (neurolang.probabilistic.expressions.ProbabilisticBinaryLogicOperator attribute) (neurolang.probabilistic.expressions.ProbabilisticChoice attribute) (neurolang.probabilistic.expressions.ProbabilisticChoiceGrounding attribute) (neurolang.probabilistic.expressions.ProbabilisticFact attribute) (neurolang.probabilistic.expressions.ProbabilisticPredicate attribute) (neurolang.probabilistic.expressions.ProbabilisticQuery attribute) (neurolang.probabilistic.magic_sets_processing.ReplaceWLQWalker attribute) (neurolang.probabilistic.ppdl.PPDL attribute) (neurolang.probabilistic.ppdl.PPDLDeltaSymbol attribute) (neurolang.probabilistic.ppdl.PPDLDeltaTerm attribute) (neurolang.probabilistic.ppdl.PPDLMixin attribute) (neurolang.probabilistic.probabilistic_ra_utils.DeterministicFactSet attribute) (neurolang.probabilistic.probabilistic_ra_utils.GetProbabilisticSetAtom attribute) (neurolang.probabilistic.probabilistic_ra_utils.NonLiftable attribute) (neurolang.probabilistic.probabilistic_ra_utils.ProbabilisticChoiceSet attribute) (neurolang.probabilistic.probabilistic_ra_utils.ProbabilisticFactSet attribute) (neurolang.probabilistic.probabilistic_semiring_solver.ProbSemiringSolver attribute) (neurolang.probabilistic.probabilistic_semiring_solver.ProbSemiringSolverMixin attribute) (neurolang.probabilistic.probabilistic_semiring_solver.ProbSemiringToRelationalAlgebraSolver attribute) (neurolang.probabilistic.query_resolution.AddNeededProjections attribute) (neurolang.probabilistic.query_resolution.FilterZeroProbability attribute) (neurolang.probabilistic.query_resolution.FloatArithmeticSimplifier attribute) (neurolang.probabilistic.query_resolution.QueryBasedProbFactToDetRule attribute) (neurolang.probabilistic.query_resolution.RAQueryOptimiser attribute) (neurolang.probabilistic.shattering.NormalizeNotEquals attribute) (neurolang.probabilistic.shattering.RelationalAlgebraSelectionConjunction attribute) (neurolang.probabilistic.shattering.ShatterEqualities attribute) (neurolang.probabilistic.weighted_model_counting.DeterministicFactSetTranslation attribute) (neurolang.probabilistic.weighted_model_counting.EliminateSuperfluousProjectionMixin attribute) (neurolang.probabilistic.weighted_model_counting.RAQueryOptimiser attribute) (neurolang.probabilistic.weighted_model_counting.SDDWMCSemiRingSolver attribute) (neurolang.probabilistic.weighted_model_counting.SemiRingRAPToSDD attribute) (neurolang.probabilistic.weighted_model_counting.WMCSemiRingSolver attribute) (neurolang.region_solver.RegionSolver attribute) (neurolang.relational_algebra.optimisers.CommuteJoinsAvoidCrossProducts attribute) (neurolang.relational_algebra.optimisers.EliminateTrivialProjections attribute) (neurolang.relational_algebra.optimisers.ProductSimplification attribute) (neurolang.relational_algebra.optimisers.PushInSelections attribute) (neurolang.relational_algebra.optimisers.PushUnnamedSelectionsUp attribute) (neurolang.relational_algebra.optimisers.RelationalAlgebraOptimiser attribute) (neurolang.relational_algebra.optimisers.RenameOptimizations attribute) (neurolang.relational_algebra.optimisers.RewriteSelections attribute) (neurolang.relational_algebra.optimisers.SimplifyExtendedProjectionsWithConstants attribute) (neurolang.relational_algebra.relational_algebra.BinaryRelationalAlgebraOperation attribute) (neurolang.relational_algebra.relational_algebra.ConcatenateConstantColumn attribute) (neurolang.relational_algebra.relational_algebra.Destroy attribute) (neurolang.relational_algebra.relational_algebra.Difference attribute) (neurolang.relational_algebra.relational_algebra.EquiJoin attribute) (neurolang.relational_algebra.relational_algebra.ExtendedProjection attribute) (neurolang.relational_algebra.relational_algebra.FullOuterNaturalJoin attribute) (neurolang.relational_algebra.relational_algebra.FunctionApplicationListMember attribute) (neurolang.relational_algebra.relational_algebra.GroupByAggregation attribute) (neurolang.relational_algebra.relational_algebra.Intersection attribute) (neurolang.relational_algebra.relational_algebra.LeftNaturalJoin attribute) (neurolang.relational_algebra.relational_algebra.NameColumns attribute) (neurolang.relational_algebra.relational_algebra.NAryRelationalAlgebraOperation attribute) (neurolang.relational_algebra.relational_algebra.NaturalJoin attribute) (neurolang.relational_algebra.relational_algebra.NumberColumns attribute) (neurolang.relational_algebra.relational_algebra.Product attribute) (neurolang.relational_algebra.relational_algebra.Projection attribute) (neurolang.relational_algebra.relational_algebra.RelationalAlgebraOperation attribute) (neurolang.relational_algebra.relational_algebra.RelationalAlgebraSolver attribute) (neurolang.relational_algebra.relational_algebra.RenameColumn attribute) (neurolang.relational_algebra.relational_algebra.RenameColumns attribute) (neurolang.relational_algebra.relational_algebra.ReplaceConstantColumnStrBySymbol attribute) (neurolang.relational_algebra.relational_algebra.ReplaceNull attribute) (neurolang.relational_algebra.relational_algebra.Selection attribute) (neurolang.relational_algebra.relational_algebra.StringArithmeticWalker attribute) (neurolang.relational_algebra.relational_algebra.UnaryRelationalAlgebraOperation attribute) (neurolang.relational_algebra.relational_algebra.Union attribute) (neurolang.solver.BooleanOperationsSolver attribute) (neurolang.solver.BooleanRewriteSolver attribute) (neurolang.solver.FirstOrderLogicSolver attribute) (neurolang.solver.GenericSolver attribute) (neurolang.solver.NumericOperationsSolver attribute)

type_name (neurolang.region_solver.RegionSolver attribute) TypedSymbolTable (class in neurolang.typed_symbol_table) types (neurolang.frontend.query_resolution.QueryBuilderBase property) types() (neurolang.typed_symbol_table.TypedSymbolTable method) typing_callable_from_annotated_function() (in module neurolang.type_system)

U

ub (neurolang.aabb_tree.AABB property) unary_conjunction() (neurolang.frontend.drs.drs_builder.DRS2FOL method) UnaryLogicOperator (class in neurolang.datalog.expressions) UnaryRelationalAlgebraOperation (class in neurolang.relational_algebra.relational_algebra) UncomparableDistributionsError Undefined (class in neurolang.datalog.basic_representation) unification (neurolang.frontend.drs.chart_parser.ChartParser.Edge attribute) unify_builtin_substitution() (neurolang.datalog.chase.ChaseGeneral method) (neurolang.datalog.chase.general.ChaseGeneral method) unify_builtin_substitution_containment() (neurolang.datalog.chase.ChaseGeneral static method) (neurolang.datalog.chase.general.ChaseGeneral static method) unify_builtin_substitution_equality() (neurolang.datalog.chase.ChaseGeneral static method) (neurolang.datalog.chase.general.ChaseGeneral static method) unify_existential_variables() (in module neurolang.probabilistic.transforms) unify_negative_builtin_substitution() (neurolang.datalog.chase.negation.DatalogChaseNegationGeneral method) unify_negative_substitution() (neurolang.datalog.chase.negation.DatalogChaseNegationMGUMixin static method) unify_substitution() (neurolang.datalog.chase.ChaseMGUMixin static method) (neurolang.datalog.chase.mgu.ChaseMGUMixin static method) unify_types() (in module neurolang.type_system) UnifyVariableEqualities (class in neurolang.datalog.expression_processing) UnifyVariableEqualitiesMixin (class in neurolang.datalog.expression_processing) Union (class in neurolang.datalog.expressions) (class in neurolang.relational_algebra.relational_algebra) union() (neurolang.aabb_tree.AABB method) (neurolang.logic.expression_processing.WalkLogicProgramAggregatingSets method) (neurolang.logic.horn_clauses.TranslateHornClausesToDatalog method)

union_contains_probabilistic_facts() (in module neurolang.probabilistic.expression_processing) union_of_projection() (neurolang.probabilistic.cplogic.gm_provenance_solver.SelectionOutPusherMixin method) union_of_selection_not_same_tuple_symbol() (neurolang.probabilistic.cplogic.gm_provenance_solver.SelectionOutPusherMixin method) union_of_selection_same_tuple_symbol() (neurolang.probabilistic.cplogic.gm_provenance_solver.UnionRemoverMixin method) union_over_tuples() (neurolang.probabilistic.cplogic.testing.TestRAPToLaTeXTranslator method) union_with_probabilistic_facts() (neurolang.probabilistic.cplogic.program.CPLogicMixin method) union_with_query_based_pfact() (neurolang.probabilistic.query_resolution.QueryBasedProbFactToDetRule method) UnionOfConjunctiveQueries (class in neurolang.datalog.basic_representation) UnionOverTuples (class in neurolang.probabilistic.cplogic.gm_provenance_solver) UnionRemover (class in neurolang.probabilistic.cplogic.gm_provenance_solver) UnionRemoverMixin (class in neurolang.probabilistic.cplogic.gm_provenance_solver) universal() (neurolang.logic.transformations.MakeUniversalsImplicit method) (neurolang.logic.transformations.RemoveUniversalPredicates method) universal_predicate() (neurolang.solver.FirstOrderLogicSolver method) Unknown (class in neurolang.type_system) unknown() (neurolang.logic.horn_clauses.ConvertSRNFToHornClause method) UnsupportedProbabilisticQueryError unwrap() (neurolang.datalog.basic_representation.WrappedRelationalAlgebraSet method) (neurolang.datalog.wrapped_collections.WrappedNamedRelationalAlgebraFrozenSet method) (neurolang.datalog.wrapped_collections.WrappedRelationalAlgebraFrozenSet method) (neurolang.datalog.wrapped_collections.WrappedRelationalAlgebraSet method) unwrapped_iter() (neurolang.datalog.wrapped_collections.WrappedRelationalAlgebraSetBaseMixin method) update_rules_with_new_prob_expressions() (in module neurolang.probabilistic.magic_sets_processing) upper_bound_to_max_dist() (neurolang.frontend.datalog.sugar.spatial.TranslateEuclideanDistanceBoundMatrixMixin static method) used_edges (neurolang.frontend.drs.chart_parser.ChartParser.Edge attribute) UsedQuantifiers (class in neurolang.logic.transformations)

V

v_before() (in module neurolang.interval_algebra) v_during() (in module neurolang.interval_algebra) v_equals() (in module neurolang.interval_algebra) v_finishes() (in module neurolang.interval_algebra) v_meets() (in module neurolang.interval_algebra) v_overlaps() (in module neurolang.interval_algebra) v_starts() (in module neurolang.interval_algebra) validate_absolute_path() (neurolang.utils.server.app.StaticFileOrDefaultHandler method) value (neurolang.frontend.deterministic_frontend.Symbol property) (neurolang.frontend.query_resolution_expressions.Symbol property) (neurolang.frontend.Symbol property)

value() (neurolang.frontend.neurolang.NeuroLangIntermediateRepresentation method) values() (neurolang.datalog.instance.FrozenMapInstance method) var_apposition() (neurolang.frontend.drs.drs_builder.DRSBuilder method) var_noun_phrase() (neurolang.frontend.drs.drs_builder.DRSBuilder method) verify_that_the_query_is_ranked() (in module neurolang.probabilistic.ranking) volume (neurolang.aabb_tree.AABB property) (neurolang.perior_tree.BoundedAABB property) VolumetricBrainRegion (class in neurolang.regions)

W

walk_binary_logic_expression() (neurolang.logic.expression_processing.WalkLogicProgramAggregatingSets method) walk_constant() (neurolang.logic.transformations.LogicExpressionWalker method) walk_function() (neurolang.logic.transformations.LogicExpressionWalker method) walk_function_application() (neurolang.frontend.query_resolution_expressions.TranslateExpressionToFrontEndExpression method) (neurolang.logic.expression_processing.HasExistentialPredicates method) walk_implication() (neurolang.logic.transformations.LogicExpressionWalker method) walk_nary() (neurolang.logic.expression_processing.WalkLogicProgramAggregatingSets method) (neurolang.logic.transformations.LogicExpressionWalker method) walk_negation() (neurolang.logic.transformations.LogicExpressionWalker method) walk_quantifier() (neurolang.logic.transformations.LogicExpressionWalker method) walk_symbol() (neurolang.logic.transformations.LogicExpressionWalker method) walk_through_implication() (neurolang.logic.transformations.FreshenVariablesWhenQuantified method) WalkLogicProgramAggregatingSets (class in neurolang.logic.expression_processing) width (neurolang.aabb_tree.AABB property) (neurolang.perior_tree.BoundedAABB property) (neurolang.regions.Region property)

within_language_marg_query() (neurolang.probabilistic.cplogic.program.CPLogicMixin method) within_language_prob_queries() (neurolang.probabilistic.cplogic.program.CPLogicMixin method) within_language_prob_query() (neurolang.frontend.datalog.sugar.TranslateProbabilisticQueryMixin method) within_language_succ_query() (neurolang.probabilistic.cplogic.program.CPLogicMixin method) within_language_succ_query_to_intensional_rule() (in module neurolang.probabilistic.expression_processing) wmc_weights() (neurolang.probabilistic.weighted_model_counting.SDDWMCSemiRingSolver method) WMCSemiRingSolver (class in neurolang.probabilistic.weighted_model_counting) WrappedNamedRelationalAlgebraFrozenSet (class in neurolang.datalog.wrapped_collections) WrappedNamedRelationalAlgebraFrozenSetMixin (class in neurolang.datalog.wrapped_collections) WrappedRelationalAlgebraFrozenSet (class in neurolang.datalog.wrapped_collections) WrappedRelationalAlgebraFrozenSetMixin (class in neurolang.datalog.wrapped_collections) WrappedRelationalAlgebraSet (class in neurolang.datalog.basic_representation) (class in neurolang.datalog.wrapped_collections) WrappedRelationalAlgebraSetBaseMixin (class in neurolang.datalog.wrapped_collections) WrappedRelationalAlgebraSetMixin (class in neurolang.datalog.wrapped_collections) WrappedTypeMap (class in neurolang.datalog.wrapped_collections) write_json_reponse() (neurolang.utils.server.app.JSONRequestHandler method)

X

Xrewrite() (neurolang.datalog.ontologies_rewriter.OntologyRewriter method)

Y

yield_comma() (neurolang.frontend.drs.chart_parser.Tokenizer method)

yield_quote() (neurolang.frontend.drs.chart_parser.Tokenizer method) yield_word() (neurolang.frontend.drs.chart_parser.Tokenizer method)