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/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/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/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/index/IndexedByTermAndPredicateAtomSet.py
prototyping_inference_engine/api/atom/set/index/__init__.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/indexed_by_predicate_atom_set.py
prototyping_inference_engine/api/atom/set/index/indexed_by_term_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/fact_base/__init__.py
prototyping_inference_engine/api/fact_base/fact_base.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_fact_base.py
prototyping_inference_engine/api/fact_base/mutable_in_memory_fact_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_rule.py
prototyping_inference_engine/api/query/__init__.py
prototyping_inference_engine/api/query/atomic_query.py
prototyping_inference_engine/api/query/conjunctive_query.py
prototyping_inference_engine/api/query/query.py
prototyping_inference_engine/api/query/query_support.py
prototyping_inference_engine/api/query/union_conjunctive_queries.py
prototyping_inference_engine/api/query/unsupported_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/query_containment.py
prototyping_inference_engine/api/query/containment/union_conjunctive_queries_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/substitution/__init__.py
prototyping_inference_engine/api/substitution/substitutable.py
prototyping_inference_engine/api/substitution/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/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/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_processing/__init__.py
prototyping_inference_engine/query_processing/query_processing.py
prototyping_inference_engine/query_processing/csp/__init__.py
prototyping_inference_engine/query_processing/csp/csp_query_processing.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