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/identity_predicate.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/evaluable_function_term.py
prototyping_inference_engine/api/atom/term/function_term.py
prototyping_inference_engine/api/atom/term/identity_constant.py
prototyping_inference_engine/api/atom/term/identity_literal.py
prototyping_inference_engine/api/atom/term/identity_variable.py
prototyping_inference_engine/api/atom/term/literal.py
prototyping_inference_engine/api/atom/term/literal_config.py
prototyping_inference_engine/api/atom/term/literal_xsd.py
prototyping_inference_engine/api/atom/term/logical_function_term.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/identity_predicate_factory.py
prototyping_inference_engine/api/atom/term/factory/identity_term_factory.py
prototyping_inference_engine/api/atom/term/factory/literal_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_identity_factories.py
prototyping_inference_engine/api/atom/term/test/test_literal.py
prototyping_inference_engine/api/atom/term/test/test_logical_function_term.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/comparison_data.py
prototyping_inference_engine/api/data/datalog_delegable.py
prototyping_inference_engine/api/data/delegating_atom_wrapper.py
prototyping_inference_engine/api/data/materialized_data.py
prototyping_inference_engine/api/data/python_function_data.py
prototyping_inference_engine/api/data/query_delegatable.py
prototyping_inference_engine/api/data/queryable_data_del_atoms_wrapper.py
prototyping_inference_engine/api/data/readable_data.py
prototyping_inference_engine/api/data/collection/__init__.py
prototyping_inference_engine/api/data/collection/builder.py
prototyping_inference_engine/api/data/collection/materialized_collection.py
prototyping_inference_engine/api/data/collection/protocols.py
prototyping_inference_engine/api/data/collection/readable_collection.py
prototyping_inference_engine/api/data/collection/writable_collection.py
prototyping_inference_engine/api/data/collection/test/__init__.py
prototyping_inference_engine/api/data/collection/test/test_builder.py
prototyping_inference_engine/api/data/collection/test/test_integration.py
prototyping_inference_engine/api/data/collection/test/test_materialized_collection.py
prototyping_inference_engine/api/data/collection/test/test_protocols.py
prototyping_inference_engine/api/data/collection/test/test_readable_collection.py
prototyping_inference_engine/api/data/collection/test/test_writable_collection.py
prototyping_inference_engine/api/data/constraint/__init__.py
prototyping_inference_engine/api/data/constraint/position_constraint.py
prototyping_inference_engine/api/data/functions/__init__.py
prototyping_inference_engine/api/data/functions/integraal_standard_functions.py
prototyping_inference_engine/api/data/functions/test/__init__.py
prototyping_inference_engine/api/data/functions/test/test_integraal_standard_functions.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_comparison_data.py
prototyping_inference_engine/api/data/test/test_delegation_wrappers.py
prototyping_inference_engine/api/data/test/test_position_constraint.py
prototyping_inference_engine/api/data/test/test_python_function_data.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/fo_conjunction_fact_base_wrapper.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_fo_conjunction_fact_base_wrapper.py
prototyping_inference_engine/api/formula/test/test_formula.py
prototyping_inference_engine/api/formula/test/test_formula_builder.py
prototyping_inference_engine/api/iri/__init__.py
prototyping_inference_engine/api/iri/compat.py
prototyping_inference_engine/api/iri/iri.py
prototyping_inference_engine/api/iri/manager.py
prototyping_inference_engine/api/iri/normalization.py
prototyping_inference_engine/api/iri/preparator.py
prototyping_inference_engine/api/iri/resolution.py
prototyping_inference_engine/api/iri/test/test_compat_iri_resolution.py
prototyping_inference_engine/api/iri/test/test_iri_ref.py
prototyping_inference_engine/api/iri/test/test_manager.py
prototyping_inference_engine/api/iri/test/test_normalizer.py
prototyping_inference_engine/api/iri/test/test_preparator.py
prototyping_inference_engine/api/kb/__init__.py
prototyping_inference_engine/api/kb/knowledge_base.py
prototyping_inference_engine/api/kb/rule_base.py
prototyping_inference_engine/api/kb/test/test_knowledge_base.py
prototyping_inference_engine/api/kb/test/test_rule_base.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/prepared_fo_query.py
prototyping_inference_engine/api/query/prepared_query.py
prototyping_inference_engine/api/query/query.py
prototyping_inference_engine/api/query/union_conjunctive_queries.py
prototyping_inference_engine/api/query/union_query.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/factory/__init__.py
prototyping_inference_engine/api/query/factory/fo_query_factory.py
prototyping_inference_engine/api/query/factory/test/test_fo_query_factory.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_prepared_queries.py
prototyping_inference_engine/api/query/test/test_query.py
prototyping_inference_engine/api/query/test/test_union_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/documentation/__init__.py
prototyping_inference_engine/documentation/test/__init__.py
prototyping_inference_engine/documentation/test/test_doc_examples.py
prototyping_inference_engine/io/__init__.py
prototyping_inference_engine/io/parsers/__init__.py
prototyping_inference_engine/io/parsers/dlgpe_parser.py
prototyping_inference_engine/io/parsers/dlgpe/__init__.py
prototyping_inference_engine/io/parsers/dlgpe/conversions.py
prototyping_inference_engine/io/parsers/dlgpe/dlgpe.lark
prototyping_inference_engine/io/parsers/dlgpe/dlgpe_parser.py
prototyping_inference_engine/io/parsers/dlgpe/dlgpe_transformer.py
prototyping_inference_engine/io/parsers/dlgpe/test/__init__.py
prototyping_inference_engine/io/parsers/dlgpe/test/test_dlgpe_compatibility.py
prototyping_inference_engine/io/parsers/dlgpe/test/test_dlgpe_existential_queries.py
prototyping_inference_engine/io/parsers/dlgpe/test/test_dlgpe_head_conjunction.py
prototyping_inference_engine/io/parsers/dlgpe/test/test_dlgpe_iri_resolution.py
prototyping_inference_engine/io/parsers/dlgpe/test/test_dlgpe_literals.py
prototyping_inference_engine/io/parsers/dlgpe/test/test_dlgpe_logical_function_terms.py
prototyping_inference_engine/io/parsers/dlgpe/test/test_dlgpe_parser.py
prototyping_inference_engine/io/parsers/dlgpe/test/test_dlgpe_prefix_base_strict.py
prototyping_inference_engine/io/parsers/dlgpe/test/test_dlgpe_unsupported_features_extra.py
prototyping_inference_engine/io/parsers/test/__init__.py
prototyping_inference_engine/io/writers/__init__.py
prototyping_inference_engine/io/writers/dlgpe_writer.py
prototyping_inference_engine/io/writers/test/__init__.py
prototyping_inference_engine/io/writers/test/test_dlgpe_writer.py
prototyping_inference_engine/query_evaluation/__init__.py
prototyping_inference_engine/query_evaluation/evaluator/__init__.py
prototyping_inference_engine/query_evaluation/evaluator/errors.py
prototyping_inference_engine/query_evaluation/evaluator/atom/__init__.py
prototyping_inference_engine/query_evaluation/evaluator/atom/atom_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/disjunction/__init__.py
prototyping_inference_engine/query_evaluation/evaluator/disjunction/disjunction_formula_evaluator.py
prototyping_inference_engine/query_evaluation/evaluator/fo_query/__init__.py
prototyping_inference_engine/query_evaluation/evaluator/fo_query/fo_query_evaluator.py
prototyping_inference_engine/query_evaluation/evaluator/fo_query/fo_query_evaluator_registry.py
prototyping_inference_engine/query_evaluation/evaluator/fo_query/fo_query_evaluators.py
prototyping_inference_engine/query_evaluation/evaluator/negation/__init__.py
prototyping_inference_engine/query_evaluation/evaluator/negation/negation_formula_evaluator.py
prototyping_inference_engine/query_evaluation/evaluator/quantifiers/__init__.py
prototyping_inference_engine/query_evaluation/evaluator/quantifiers/existential_formula_evaluator.py
prototyping_inference_engine/query_evaluation/evaluator/quantifiers/universal_formula_evaluator.py
prototyping_inference_engine/query_evaluation/evaluator/query/__init__.py
prototyping_inference_engine/query_evaluation/evaluator/query/conjunctive_query_evaluator.py
prototyping_inference_engine/query_evaluation/evaluator/query/query_evaluator.py
prototyping_inference_engine/query_evaluation/evaluator/query/query_evaluator_registry.py
prototyping_inference_engine/query_evaluation/evaluator/query/union_query_evaluator.py
prototyping_inference_engine/query_evaluation/evaluator/registry/__init__.py
prototyping_inference_engine/query_evaluation/evaluator/registry/formula_evaluator.py
prototyping_inference_engine/query_evaluation/evaluator/registry/formula_evaluator_registry.py
prototyping_inference_engine/query_evaluation/evaluator/rewriting/__init__.py
prototyping_inference_engine/query_evaluation/evaluator/rewriting/function_term_rewriter.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_union_query_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/identity_wrapper.py
prototyping_inference_engine/utils/partition.py
prototyping_inference_engine/utils/test/__init__.py
prototyping_inference_engine/utils/test/test_identity_wrapper.py
prototyping_inference_engine/utils/test/test_partition.py