LICENSE
MANIFEST.in
README.md
pyproject.toml
setup.py
prototyping_inference_engine/__init__.py
prototyping_inference_engine.egg-info/PKG-INFO
prototyping_inference_engine.egg-info/SOURCES.txt
prototyping_inference_engine.egg-info/dependency_links.txt
prototyping_inference_engine.egg-info/entry_points.txt
prototyping_inference_engine.egg-info/requires.txt
prototyping_inference_engine.egg-info/top_level.txt
prototyping_inference_engine/api/__init__.py
prototyping_inference_engine/api/atom/__init__.py
prototyping_inference_engine/api/atom/atom.py
prototyping_inference_engine/api/atom/atom_operations.py
prototyping_inference_engine/api/atom/predicate.py
prototyping_inference_engine/api/atom/set/__init__.py
prototyping_inference_engine/api/atom/set/atom_set.py
prototyping_inference_engine/api/atom/set/frozen_atom_set.py
prototyping_inference_engine/api/atom/set/mutable_atom_set.py
prototyping_inference_engine/api/atom/set/core/__init__.py
prototyping_inference_engine/api/atom/set/core/core_algorithm.py
prototyping_inference_engine/api/atom/set/core/core_algorithm_provider.py
prototyping_inference_engine/api/atom/set/core/naive_core_by_specialization.py
prototyping_inference_engine/api/atom/set/homomorphism/__init__.py
prototyping_inference_engine/api/atom/set/homomorphism/homomorphism_algorithm.py
prototyping_inference_engine/api/atom/set/homomorphism/homomorphism_algorithm_provider.py
prototyping_inference_engine/api/atom/set/homomorphism/backtrack/__init__.py
prototyping_inference_engine/api/atom/set/homomorphism/backtrack/naive_backtrack_homomorphism_algorithm.py
prototyping_inference_engine/api/atom/set/homomorphism/backtrack/scheduler/__init__.py
prototyping_inference_engine/api/atom/set/homomorphism/backtrack/scheduler/backtrack_scheduler.py
prototyping_inference_engine/api/atom/set/homomorphism/backtrack/scheduler/by_variable_and_domain_backtrack_scheduler.py
prototyping_inference_engine/api/atom/set/homomorphism/backtrack/scheduler/by_variable_backtrack_scheduler.py
prototyping_inference_engine/api/atom/set/homomorphism/backtrack/scheduler/dynamic_backtrack_scheduler.py
prototyping_inference_engine/api/atom/set/homomorphism/backtrack/scheduler/test/__init__.py
prototyping_inference_engine/api/atom/set/homomorphism/backtrack/scheduler/test/test_backtrack_scheduler.py
prototyping_inference_engine/api/atom/set/index/IndexedAtomSet.py
prototyping_inference_engine/api/atom/set/index/IndexedByTermAndPredicateAtomSet.py
prototyping_inference_engine/api/atom/set/index/__init__.py
prototyping_inference_engine/api/atom/set/index/index.py
prototyping_inference_engine/api/atom/set/index/index_by_predicate.py
prototyping_inference_engine/api/atom/set/index/index_by_term.py
prototyping_inference_engine/api/atom/set/index/index_by_term_and_predicate.py
prototyping_inference_engine/api/atom/set/index/index_provider.py
prototyping_inference_engine/api/atom/set/index/indexed_by_predicate_atom_set.py
prototyping_inference_engine/api/atom/set/index/indexed_by_term_atom_set.py
prototyping_inference_engine/api/atom/set/index/test/__init__.py
prototyping_inference_engine/api/atom/set/index/test/test_index.py
prototyping_inference_engine/api/atom/set/test/__init__.py
prototyping_inference_engine/api/atom/set/test/test_atom_set.py
prototyping_inference_engine/api/atom/term/__init__.py
prototyping_inference_engine/api/atom/term/constant.py
prototyping_inference_engine/api/atom/term/term.py
prototyping_inference_engine/api/atom/term/term_partition.py
prototyping_inference_engine/api/atom/term/variable.py
prototyping_inference_engine/api/atom/term/factory/__init__.py
prototyping_inference_engine/api/atom/term/factory/constant_factory.py
prototyping_inference_engine/api/atom/term/factory/predicate_factory.py
prototyping_inference_engine/api/atom/term/factory/variable_factory.py
prototyping_inference_engine/api/atom/term/factory/test/__init__.py
prototyping_inference_engine/api/atom/term/factory/test/test_factories.py
prototyping_inference_engine/api/atom/term/storage/__init__.py
prototyping_inference_engine/api/atom/term/storage/dict_storage.py
prototyping_inference_engine/api/atom/term/storage/global_cache_storage.py
prototyping_inference_engine/api/atom/term/storage/storage_strategy.py
prototyping_inference_engine/api/atom/term/storage/weak_ref_storage.py
prototyping_inference_engine/api/atom/term/storage/test/__init__.py
prototyping_inference_engine/api/atom/term/storage/test/test_storage_strategies.py
prototyping_inference_engine/api/atom/term/test/__init__.py
prototyping_inference_engine/api/atom/term/test/test_term.py
prototyping_inference_engine/api/atom/term/test/test_term_partition.py
prototyping_inference_engine/api/atom/test/__init__.py
prototyping_inference_engine/api/atom/test/test_atom.py
prototyping_inference_engine/api/atom/test/test_atom_operations.py
prototyping_inference_engine/api/atom/test/test_predicate.py
prototyping_inference_engine/api/data/__init__.py
prototyping_inference_engine/api/data/atomic_pattern.py
prototyping_inference_engine/api/data/basic_query.py
prototyping_inference_engine/api/data/materialized_data.py
prototyping_inference_engine/api/data/query_delegatable.py
prototyping_inference_engine/api/data/readable_data.py
prototyping_inference_engine/api/data/constraint/__init__.py
prototyping_inference_engine/api/data/constraint/position_constraint.py
prototyping_inference_engine/api/data/test/__init__.py
prototyping_inference_engine/api/data/test/test_atomic_pattern.py
prototyping_inference_engine/api/data/test/test_position_constraint.py
prototyping_inference_engine/api/fact_base/__init__.py
prototyping_inference_engine/api/fact_base/fact_base.py
prototyping_inference_engine/api/fact_base/factory.py
prototyping_inference_engine/api/fact_base/frozen_in_memory_fact_base.py
prototyping_inference_engine/api/fact_base/in_memory_fact_base.py
prototyping_inference_engine/api/fact_base/mutable_in_memory_fact_base.py
prototyping_inference_engine/api/fact_base/protocols.py
prototyping_inference_engine/api/fact_base/test/__init__.py
prototyping_inference_engine/api/fact_base/test/test_fact_base.py
prototyping_inference_engine/api/formula/__init__.py
prototyping_inference_engine/api/formula/binary_formula.py
prototyping_inference_engine/api/formula/conjunction_formula.py
prototyping_inference_engine/api/formula/disjunction_formula.py
prototyping_inference_engine/api/formula/existential_formula.py
prototyping_inference_engine/api/formula/formula.py
prototyping_inference_engine/api/formula/formula_builder.py
prototyping_inference_engine/api/formula/negation_formula.py
prototyping_inference_engine/api/formula/quantified_formula.py
prototyping_inference_engine/api/formula/universal_formula.py
prototyping_inference_engine/api/formula/test/__init__.py
prototyping_inference_engine/api/formula/test/test_formula.py
prototyping_inference_engine/api/formula/test/test_formula_builder.py
prototyping_inference_engine/api/ontology/__init__.py
prototyping_inference_engine/api/ontology/ontology.py
prototyping_inference_engine/api/ontology/constraint/__init__.py
prototyping_inference_engine/api/ontology/constraint/negative_constraint.py
prototyping_inference_engine/api/ontology/rule/__init__.py
prototyping_inference_engine/api/ontology/rule/rule.py
prototyping_inference_engine/api/ontology/test/__init__.py
prototyping_inference_engine/api/ontology/test/test_ontology.py
prototyping_inference_engine/api/ontology/test/test_rule.py
prototyping_inference_engine/api/query/__init__.py
prototyping_inference_engine/api/query/conjunctive_query.py
prototyping_inference_engine/api/query/fo_query.py
prototyping_inference_engine/api/query/fo_query_factory.py
prototyping_inference_engine/api/query/query.py
prototyping_inference_engine/api/query/union_conjunctive_queries.py
prototyping_inference_engine/api/query/containment/__init__.py
prototyping_inference_engine/api/query/containment/conjunctive_query_containment.py
prototyping_inference_engine/api/query/containment/conjunctive_query_containment_provider.py
prototyping_inference_engine/api/query/containment/query_containment.py
prototyping_inference_engine/api/query/containment/union_conjunctive_queries_containment.py
prototyping_inference_engine/api/query/containment/test/__init__.py
prototyping_inference_engine/api/query/containment/test/test_query_containment.py
prototyping_inference_engine/api/query/redundancies/__init__.py
prototyping_inference_engine/api/query/redundancies/redundancies_cleaner_conjunctive_query.py
prototyping_inference_engine/api/query/redundancies/redundancies_cleaner_union_conjunctive_queries.py
prototyping_inference_engine/api/query/redundancies/ucq_redundancies_cleaner_provider.py
prototyping_inference_engine/api/query/redundancies/test/__init__.py
prototyping_inference_engine/api/query/redundancies/test/test_redundancies.py
prototyping_inference_engine/api/query/test/__init__.py
prototyping_inference_engine/api/query/test/test_fo_query.py
prototyping_inference_engine/api/query/test/test_query.py
prototyping_inference_engine/api/substitution/__init__.py
prototyping_inference_engine/api/substitution/substitutable.py
prototyping_inference_engine/api/substitution/substitution.py
prototyping_inference_engine/api/substitution/test/__init__.py
prototyping_inference_engine/api/substitution/test/test_substitution.py
prototyping_inference_engine/api/test/__init__.py
prototyping_inference_engine/api/test/test_rule.py
prototyping_inference_engine/api/test/atom/__init__.py
prototyping_inference_engine/api/test/atom/set/__init__.py
prototyping_inference_engine/api/test/atom/set/core/__init__.py
prototyping_inference_engine/api/test/atom/set/core/test_naive_core_by_specialization.py
prototyping_inference_engine/api/test/atom/set/homomorphism/__init__.py
prototyping_inference_engine/api/test/atom/set/homomorphism/test_naive_backtrack_homomorphism_algorithm.py
prototyping_inference_engine/apps/__init__.py
prototyping_inference_engine/apps/disjunctive_rewriter.py
prototyping_inference_engine/apps/examples/answer_variable_replaced_by_constant.dlgp
prototyping_inference_engine/apps/examples/basic.dlgp
prototyping_inference_engine/apps/examples/coloration1.dlgp
prototyping_inference_engine/apps/examples/coloration2.dlgp
prototyping_inference_engine/apps/examples/mapping_basic.dlgp
prototyping_inference_engine/apps/examples/mapping_coloration1.dlgp
prototyping_inference_engine/apps/examples/mapping_coloration2.dlgp
prototyping_inference_engine/apps/examples/no_rewriting_not_compatible.dlgp
prototyping_inference_engine/apps/examples/with_answer_variable_erasure.dlgp
prototyping_inference_engine/apps/examples/with_constant.dlgp
prototyping_inference_engine/backward_chaining/__init__.py
prototyping_inference_engine/backward_chaining/breadth_first_rewriting.py
prototyping_inference_engine/backward_chaining/ucq_rewriting_algorithm.py
prototyping_inference_engine/backward_chaining/rewriting_operator/__init__.py
prototyping_inference_engine/backward_chaining/rewriting_operator/rewriting_operator.py
prototyping_inference_engine/backward_chaining/rewriting_operator/rewriting_operator_provider.py
prototyping_inference_engine/backward_chaining/rewriting_operator/without_aggregation_rewriting_operator.py
prototyping_inference_engine/backward_chaining/test/__init__.py
prototyping_inference_engine/backward_chaining/test/test_breadth_first_rewriting.py
prototyping_inference_engine/backward_chaining/test/test_disjunctive_piece_unifier_algorithm.py
prototyping_inference_engine/backward_chaining/test/test_piece_unifier.py
prototyping_inference_engine/backward_chaining/test/test_piece_unifier_algorithm.py
prototyping_inference_engine/backward_chaining/test/test_without_aggregation_rewriting_operator.py
prototyping_inference_engine/backward_chaining/unifier/__init__.py
prototyping_inference_engine/backward_chaining/unifier/disjunctive_piece_unifier.py
prototyping_inference_engine/backward_chaining/unifier/disjunctive_piece_unifier_algorithm.py
prototyping_inference_engine/backward_chaining/unifier/piece_unifier.py
prototyping_inference_engine/backward_chaining/unifier/piece_unifier_algorithm.py
prototyping_inference_engine/backward_chaining/unifier/piece_unifier_cache.py
prototyping_inference_engine/parser/__init__.py
prototyping_inference_engine/parser/dlgp/__init__.py
prototyping_inference_engine/parser/dlgp/dlgp2.lark
prototyping_inference_engine/parser/dlgp/dlgp2_parser.py
prototyping_inference_engine/parser/dlgp/dlgp2_transformer.py
prototyping_inference_engine/parser/test/__init__.py
prototyping_inference_engine/parser/test/test_dlgp2_parser.py
prototyping_inference_engine/parser/test/test_dlgp2_transformer.py
prototyping_inference_engine/query_evaluation/__init__.py
prototyping_inference_engine/query_evaluation/evaluator/__init__.py
prototyping_inference_engine/query_evaluation/evaluator/atom_evaluator.py
prototyping_inference_engine/query_evaluation/evaluator/disjunction_evaluator.py
prototyping_inference_engine/query_evaluation/evaluator/existential_evaluator.py
prototyping_inference_engine/query_evaluation/evaluator/fo_query_evaluator.py
prototyping_inference_engine/query_evaluation/evaluator/fo_query_evaluator_registry.py
prototyping_inference_engine/query_evaluation/evaluator/fo_query_evaluators.py
prototyping_inference_engine/query_evaluation/evaluator/formula_evaluator.py
prototyping_inference_engine/query_evaluation/evaluator/formula_evaluator_registry.py
prototyping_inference_engine/query_evaluation/evaluator/negation_evaluator.py
prototyping_inference_engine/query_evaluation/evaluator/query_evaluator.py
prototyping_inference_engine/query_evaluation/evaluator/universal_evaluator.py
prototyping_inference_engine/query_evaluation/evaluator/conjunction/__init__.py
prototyping_inference_engine/query_evaluation/evaluator/conjunction/backtrack_conjunction_evaluator.py
prototyping_inference_engine/query_evaluation/evaluator/conjunction/conjunction_evaluator.py
prototyping_inference_engine/query_evaluation/evaluator/conjunction/scheduler/__init__.py
prototyping_inference_engine/query_evaluation/evaluator/conjunction/scheduler/formula_scheduler.py
prototyping_inference_engine/query_evaluation/evaluator/conjunction/scheduler/formula_scheduler_provider.py
prototyping_inference_engine/query_evaluation/evaluator/conjunction/scheduler/sequential_formula_scheduler.py
prototyping_inference_engine/query_evaluation/evaluator/test/__init__.py
prototyping_inference_engine/query_evaluation/evaluator/test/test_atom_evaluator.py
prototyping_inference_engine/query_evaluation/evaluator/test/test_atomic_fo_query_evaluator.py
prototyping_inference_engine/query_evaluation/evaluator/test/test_backtrack_evaluator.py
prototyping_inference_engine/query_evaluation/evaluator/test/test_conjunction_evaluator.py
prototyping_inference_engine/query_evaluation/evaluator/test/test_disjunction_evaluator.py
prototyping_inference_engine/query_evaluation/evaluator/test/test_existential_evaluator.py
prototyping_inference_engine/query_evaluation/evaluator/test/test_fo_query_evaluator.py
prototyping_inference_engine/query_evaluation/evaluator/test/test_negation_evaluator.py
prototyping_inference_engine/query_evaluation/evaluator/test/test_universal_evaluator.py
prototyping_inference_engine/session/__init__.py
prototyping_inference_engine/session/cleanup_stats.py
prototyping_inference_engine/session/parse_result.py
prototyping_inference_engine/session/providers.py
prototyping_inference_engine/session/reasoning_session.py
prototyping_inference_engine/session/term_factories.py
prototyping_inference_engine/session/test/__init__.py
prototyping_inference_engine/session/test/test_providers.py
prototyping_inference_engine/session/test/test_reasoning_session.py
prototyping_inference_engine/session/test/test_support_classes.py
prototyping_inference_engine/utils/__init__.py
prototyping_inference_engine/utils/partition.py
prototyping_inference_engine/utils/test/__init__.py
prototyping_inference_engine/utils/test/test_partition.py