neurolang.datalog_chase module

class neurolang.datalog_chase.ChaseNode(instance, children)

Bases: tuple

Attributes:

children

Alias for field number 1

instance

Alias for field number 0

Methods

count(value, /)	Return number of occurrences of value.
index(value[, start, stop])	Return first index of value.

children

Alias for field number 1

instance

Alias for field number 0

neurolang.datalog_chase.DatalogChase

alias of Chase

class neurolang.datalog_chase.DatalogChaseGeneral(datalog_program, rules=None)

Bases: Chase, ChaseNaive

Methods

aggregate_tuple_type_into_row_type
build_chase_solution
build_chase_tree
build_nodes_from_rules
chase_step
check_constraints
compose_all_subtitutions
compose_substitutions_ignoring_conflicts
compose_substitutions_no_conflict
compute_instance_update
compute_new_tuple_and_type
compute_result_set
eliminate_already_computed
evaluate_builtins
evaluate_builtins_predicates
execute_chase
extract_rule_predicates
extract_variable_arguments
get_args_to_project
infer_iterable_subtype
is_containment_of_symbol_in_constant
is_equality_between_constant_and_symbol
obtain_substitutions
pick_chase_instance_for_stratum
rewrite_antecedent_equalities
rewrite_constants_in_consequent
rewrite_rule_consequent_constants_to_equalities
translate_conjunction_to_named_ra
unify_builtin_substitution
unify_builtin_substitution_containment
unify_builtin_substitution_equality

neurolang.datalog_chase.DatalogChaseMGUMixin

alias of ChaseMGUMixin

neurolang.datalog_chase.DatalogChaseRelationalAlgebraMixin

alias of ChaseRelationalAlgebraPlusCeriMixin