.coveragerc
.gitattributes
.gitignore
AUTHORS.rst
LICENSE
MANIFEST.in
Makefile
README.md
asv.conf.json
pyproject.toml
pytest.ini
setup.cfg
setup.py
versioneer.py
.circleci/config.yml
.github/workflows/trigger_neurolang.yml
benchmarks/__init__.py
benchmarks/chase.py
benchmarks/datalog_frontend.py
doc/Makefile
doc/api.rst
doc/authors.rst
doc/conf.py
doc/index.rst
doc/install.rst
doc/install_doc_component.html
doc/tutorial.rst
doc/tutorial_logic_programming.rst
doc/_static/git.png
doc/_static/logo.png
doc/_templates/class.rst
doc/_templates/function.rst
doc/logos/LOGO_ERC-FLAG_EU_.jpg
examples/README.txt
examples/__init__.py
examples/plot_load_destrieux_datalog_ir.py
examples/plot_load_destrieux_left_hemisphere_gyri.py
examples/plot_neurosynth_implementation.py
examples/plot_sulcal_queries.py
neurolang/CD_relations.py
neurolang/__init__.py
neurolang/_version.py
neurolang/_version.pya
neurolang/aabb_tree.py
neurolang/datalog_chase.py
neurolang/exceptions.py
neurolang/expression_pattern_matching.py
neurolang/expression_walker.py
neurolang/expressions.py
neurolang/interval_algebra.py
neurolang/neurolang.py
neurolang/neurolang_compiler.py
neurolang/perior_tree.py
neurolang/region_solver.py
neurolang/regions.py
neurolang/relational_algebra.py
neurolang/relational_algebra_provenance.py
neurolang/solver.py
neurolang/typed_symbol_table.py
neurolang.egg-info/PKG-INFO
neurolang.egg-info/SOURCES.txt
neurolang.egg-info/dependency_links.txt
neurolang.egg-info/requires.txt
neurolang.egg-info/top_level.txt
neurolang/datalog/__init__.py
neurolang/datalog/aggregation.py
neurolang/datalog/basic_representation.py
neurolang/datalog/constraints_representation.py
neurolang/datalog/expression_processing.py
neurolang/datalog/expressions.py
neurolang/datalog/instance.py
neurolang/datalog/magic_sets.py
neurolang/datalog/negation.py
neurolang/datalog/ontologies_parser.py
neurolang/datalog/ontologies_rewriter.py
neurolang/datalog/translate_to_named_ra.py
neurolang/datalog/wrapped_collections.py
neurolang/datalog/chase/__init__.py
neurolang/datalog/chase/general.py
neurolang/datalog/chase/mgu.py
neurolang/datalog/chase/negation.py
neurolang/datalog/chase/relational_algebra.py
neurolang/datalog/tests/__init__.py
neurolang/datalog/tests/test_aggregation.py
neurolang/datalog/tests/test_chase.py
neurolang/datalog/tests/test_constraints_representation.py
neurolang/datalog/tests/test_cq_disj_to_named_ra.py
neurolang/datalog/tests/test_datalog_program.py
neurolang/datalog/tests/test_expression_processing.py
neurolang/datalog/tests/test_expressions.py
neurolang/datalog/tests/test_flatquery.py
neurolang/datalog/tests/test_instance.py
neurolang/datalog/tests/test_magic_sets.py
neurolang/datalog/tests/test_negation.py
neurolang/datalog/tests/test_ontologies_parser.py
neurolang/datalog/tests/test_ontologies_rewriter.py
neurolang/datalog/tests/test_variable_equality.py
neurolang/datalog/tests/test_wrapped_collections.py
neurolang/frontend/__init__.py
neurolang/frontend/ast.py
neurolang/frontend/ast_tatsu.py
neurolang/frontend/deterministic_frontend.py
neurolang/frontend/neurolang.py
neurolang/frontend/neurosynth_utils.py
neurolang/frontend/probabilistic_frontend.py
neurolang/frontend/query_resolution.py
neurolang/frontend/query_resolution_datalog.py
neurolang/frontend/query_resolution_expressions.py
neurolang/frontend/datalog/__init__.py
neurolang/frontend/datalog/intermediate_sugar.py
neurolang/frontend/datalog/natural_syntax.py
neurolang/frontend/datalog/standard_syntax.py
neurolang/frontend/datalog/standard_syntax_datalog.py
neurolang/frontend/datalog/syntax_preprocessing.py
neurolang/frontend/datalog/tests/__init__.py
neurolang/frontend/datalog/tests/test_basic_representation.py
neurolang/frontend/datalog/tests/test_intermediate_sugar.py
neurolang/frontend/datalog/tests/test_parser.py
neurolang/frontend/datalog/tests/test_parser_nsd.py
neurolang/frontend/drs/__init__.py
neurolang/frontend/drs/chart_parser.py
neurolang/frontend/drs/drs_builder.py
neurolang/frontend/drs/english_grammar.py
neurolang/frontend/drs/exceptions.py
neurolang/frontend/drs/translate_to_dl.py
neurolang/frontend/drs/tests/__init__.py
neurolang/frontend/drs/tests/test_chart_parser.py
neurolang/frontend/drs/tests/test_drs_builder.py
neurolang/frontend/drs/tests/test_english_grammar.py
neurolang/frontend/drs/tests/test_solver_integration.py
neurolang/frontend/tests/__init__.py
neurolang/frontend/tests/test_ast.py
neurolang/frontend/tests/test_frontend.py
neurolang/frontend/tests/test_neurosynth.py
neurolang/frontend/tests/test_probabilistic_frontend.py
neurolang/logic/__init__.py
neurolang/logic/expression_processing.py
neurolang/logic/horn_clauses.py
neurolang/logic/transformations.py
neurolang/logic/unification.py
neurolang/logic/tests/__init__.py
neurolang/logic/tests/test_translation.py
neurolang/logic/tests/test_unification.py
neurolang/probabilistic/__init__.py
neurolang/probabilistic/dichotomy_theorem_based_solver.py
neurolang/probabilistic/distributions.py
neurolang/probabilistic/exceptions.py
neurolang/probabilistic/expression_processing.py
neurolang/probabilistic/expressions.py
neurolang/probabilistic/ppdl.py
neurolang/probabilistic/probabilistic_ra_utils.py
neurolang/probabilistic/query_resolution.py
neurolang/probabilistic/shattering.py
neurolang/probabilistic/stratification.py
neurolang/probabilistic/weighted_model_counting.py
neurolang/probabilistic/cplogic/__init__.py
neurolang/probabilistic/cplogic/cplogic_to_gm.py
neurolang/probabilistic/cplogic/gm_provenance_solver.py
neurolang/probabilistic/cplogic/grounding.py
neurolang/probabilistic/cplogic/noisy_or_probability_provenance.py
neurolang/probabilistic/cplogic/problog_solver.py
neurolang/probabilistic/cplogic/program.py
neurolang/probabilistic/cplogic/testing.py
neurolang/probabilistic/cplogic/tests/__init__.py
neurolang/probabilistic/cplogic/tests/test_cplogic_program.py
neurolang/probabilistic/cplogic/tests/test_cplogic_to_gm.py
neurolang/probabilistic/cplogic/tests/test_grounding.py
neurolang/probabilistic/cplogic/tests/test_noisy_or_probability_provenance.py
neurolang/probabilistic/cplogic/tests/test_problog.py
neurolang/probabilistic/cplogic/tests/test_query_resolution.py
neurolang/probabilistic/tests/__init__.py
neurolang/probabilistic/tests/test_deterministic_probabilistic_separation.py
neurolang/probabilistic/tests/test_dichotomy_based_solver.py
neurolang/probabilistic/tests/test_distributions.py
neurolang/probabilistic/tests/test_expression_processing.py
neurolang/probabilistic/tests/test_marg_query_resolution.py
neurolang/probabilistic/tests/test_ppdl.py
neurolang/probabilistic/tests/test_probabilistic_solvers.py
neurolang/probabilistic/tests/test_shattering.py
neurolang/probabilistic/tests/test_stratification.py
neurolang/tests/__init__.py
neurolang/tests/conftest.py
neurolang/tests/test_aabb_tree.py
neurolang/tests/test_algebraic_structures.py
neurolang/tests/test_expression_iterator.py
neurolang/tests/test_expression_pattern_matching.py
neurolang/tests/test_expression_walker.py
neurolang/tests/test_expressions.py
neurolang/tests/test_first_order_logic_queries.py
neurolang/tests/test_fol_to_datalog.py
neurolang/tests/test_interval_algebra.py
neurolang/tests/test_perior_tree.py
neurolang/tests/test_regions.py
neurolang/tests/test_relational_algebra.py
neurolang/tests/test_relational_algebra_provenance.py
neurolang/tests/test_relational_algebra_semiring.py
neurolang/tests/test_sets.py
neurolang/tests/test_solvers.py
neurolang/tests/test_symbol_replace.py
neurolang/tests/test_typing.py
neurolang/type_system/__init__.py
neurolang/type_system/tests/__init__.py
neurolang/type_system/tests/test_gradual_typing.py
neurolang/utils/__init__.py
neurolang/utils/data_manipulation.py
neurolang/utils/orderedset.py
neurolang/utils/relational_algebra_set/__init__.py
neurolang/utils/relational_algebra_set/abstract.py
neurolang/utils/relational_algebra_set/pandas.py
neurolang/utils/tests/__init__.py
neurolang/utils/tests/test_orderedset.py
neurolang/utils/tests/test_relational_algebra_set.py