neurolang.datalog.chase.negation module

class neurolang.datalog.chase.negation.DatalogChaseNegation(datalog_program, rules=None)

Bases: DatalogChaseNegationGeneral, DatalogChaseNegationMGUMixin

Methods

aggregate_tuple_type_into_row_type
build_chase_solution
build_chase_tree
build_nodes_from_rules
chase_step
check_constraints
check_non_linear
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
evaluate_negative_builtins
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_negative_substitutions
obtain_substitutions
per_rule_update
unify_builtin_substitution
unify_builtin_substitution_containment
unify_builtin_substitution_equality
unify_negative_builtin_substitution
unify_negative_substitution
unify_substitution

class neurolang.datalog.chase.negation.DatalogChaseNegationGeneral(datalog_program, rules=None)

Bases: ChaseGeneral, ChaseSemiNaive, NegativeFactConstraints

Methods

aggregate_tuple_type_into_row_type
build_chase_solution
build_chase_tree
build_nodes_from_rules
chase_step
check_constraints
check_non_linear
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
evaluate_negative_builtins
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
per_rule_update
unify_builtin_substitution
unify_builtin_substitution_containment
unify_builtin_substitution_equality
unify_negative_builtin_substitution

chase_step(instance, rule, restriction_instance=None)

check_non_linear(head_functor, functor, recursive_calls)

evaluate_negative_builtins(builtin_predicates, substitutions)

extract_rule_predicates(rule, instance, restriction_instance=None)

get_args_to_project(rule, builtin_predicates_)

unify_negative_builtin_substitution(predicate, substitution, functor)

class neurolang.datalog.chase.negation.DatalogChaseNegationMGUMixin

Bases: ChaseMGUMixin

Methods

obtain_negative_substitutions
obtain_substitutions
unify_negative_substitution
unify_substitution

static obtain_negative_substitutions(args_to_project, negative_predicates, substitutions)

static unify_negative_substitution(predicate, substitution, representation)

class neurolang.datalog.chase.negation.DatalogChaseNegationRelationalAlgebraMixin

Bases: ChaseRelationalAlgebraPlusCeriMixin

Methods

compute_substitutions
obtain_negative_substitutions
obtain_substitutions
translate_predicate
translate_predicate_process_argument
translate_predicate_process_argument_symbol
translate_to_ra_plus

obtain_negative_substitutions(args_to_project, rule_predicates_iterator, substitutions)

class neurolang.datalog.chase.negation.NegativeFactConstraints

Bases: object

Methods

check_constraints

check_constraints(instance_update)