neurolang.probabilistic.probabilistic_semiring_solver module¶

class neurolang.probabilistic.probabilistic_semiring_solver.ProbSemiringSolver(*args, **kwargs)¶

Attributes:

patterns: Property holding an iterator of triplets (pattern, guard, action).

Methods

`match`(expression)	Find the action for a given expression by going through the `patterns`.
`pattern_match`(pattern, expression)	Return `True` if `pattern` matches `expression`.
`type`

aggregate
arithmetic_string_expression
concatenate_constant_column
cycle_in_build_provenance_algebra_set
deterministic_fact_set
deterministic_fact_set_general
difference
eliminate_superfluous_projection
empty_deterministic_fact_set
extended_projection
name_columns_int_rap
name_columns_rap
number_columns_rap
pattern_match_expression
pattern_match_expression_parameters
pattern_match_expression_tuple
pattern_match_tuple
probabilistic_choice_set
probabilistic_choice_set_to_symbol
probabilistic_fact_set
probabilistic_fact_set_invalid
process_expression
process_iterable_argument
projection_rap
projection_rap_columnint
projection_rap_columnint_subset
prov_arithmetic_operation
prov_concatenate_constant_column
prov_extended_projection
prov_naturaljoin
prov_naturaljoin_inverse
prov_product
prov_rename_column
prov_rename_columns
prov_union
push_projection_in_deterministic
ra_constant
ra_difference
ra_equijoin
ra_full_outer_naturaljoin
ra_intersection
ra_left_naturaljoin
ra_name_columns
ra_naturaljoin
ra_number_columns
ra_product
ra_projection
ra_rename_column
ra_rename_columns
ra_symbol
ra_union
replace_null
selection_between_columns
selection_by_constant
selection_general_selection_by_constant
selection_provenance_set
selection_rap_eq_columnint
selection_rap_eq_columnint_columnint
set_destroy
walk

class neurolang.probabilistic.probabilistic_semiring_solver.ProbSemiringSolverMixin(*args, **kwargs)¶

Bases: BuildProvenanceAlgebraSetWalkIntoMixin, RelationalAlgebraProvenanceCountingSolverMixin, PatternWalker

Attributes:

patterns: Property holding an iterator of triplets (pattern, guard, action).

Methods

`match`(expression)	Find the action for a given expression by going through the `patterns`.
`pattern_match`(pattern, expression)	Return `True` if `pattern` matches `expression`.
`type`

cycle_in_build_provenance_algebra_set
deterministic_fact_set
deterministic_fact_set_general
difference
eliminate_superfluous_projection
empty_deterministic_fact_set
name_columns_int_rap
name_columns_rap
number_columns_rap
pattern_match_expression
pattern_match_expression_parameters
pattern_match_expression_tuple
pattern_match_tuple
probabilistic_choice_set
probabilistic_choice_set_to_symbol
probabilistic_fact_set
probabilistic_fact_set_invalid
projection_rap
projection_rap_columnint
projection_rap_columnint_subset
prov_concatenate_constant_column
prov_extended_projection
prov_naturaljoin
prov_naturaljoin_inverse
prov_product
prov_rename_column
prov_rename_columns
prov_union
push_projection_in_deterministic
selection_provenance_set
selection_rap_eq_columnint
selection_rap_eq_columnint_columnint
walk

class neurolang.probabilistic.probabilistic_semiring_solver.ProbSemiringToRelationalAlgebraSolver(*args, symbol_table=None, **kwargs)¶

Bases: ProbSemiringSolverMixin, ResolveSymbolMixin, ExpressionWalker

Attributes:

patterns: Property holding an iterator of triplets (pattern, guard, action).

Methods

`match`(expression)	Find the action for a given expression by going through the `patterns`.
`pattern_match`(pattern, expression)	Return `True` if `pattern` matches `expression`.
`type`

cycle_in_build_provenance_algebra_set
deterministic_fact_set
deterministic_fact_set_general
difference
eliminate_superfluous_projection
empty_deterministic_fact_set
name_columns_int_rap
name_columns_rap
number_columns_rap
pattern_match_expression
pattern_match_expression_parameters
pattern_match_expression_tuple
pattern_match_tuple
probabilistic_choice_set
probabilistic_choice_set_to_symbol
probabilistic_fact_set
probabilistic_fact_set_invalid
process_expression
process_iterable_argument
projection_rap
projection_rap_columnint
projection_rap_columnint_subset
prov_concatenate_constant_column
prov_extended_projection
prov_naturaljoin
prov_naturaljoin_inverse
prov_product
prov_rename_column
prov_rename_columns
prov_union
push_projection_in_deterministic
selection_provenance_set
selection_rap_eq_columnint
selection_rap_eq_columnint_columnint
symbol_from_table
walk