.coveragerc
.gitattributes
.gitignore
AUTHORS.rst
LICENSE
MANIFEST.in
Makefile
README.md
asv.conf.json
conftest.py
pyproject.toml
pytest.ini
setup.cfg
setup.py
versioneer.py
.circleci/config.yml
.github/workflows/stale.yml
.github/workflows/trigger_neurolang.yml
benchmarks/__init__.py
benchmarks/chase.py
benchmarks/datalog_frontend.py
benchmarks/relational_algebra_set.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/_templates/layout.html
doc/logos/LOGO_ERC-FLAG_EU_.jpg
examples/README.txt
examples/__init__.py
examples/plot_cbma_spatial_prior.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
examples_scratch/__init__.py
examples_scratch/new_ns_example.py
examples_scratch/plot_destrieux_queries.py
examples_scratch/plot_load_destrieux_datalog_ir.py
examples_scratch/plot_neurolang_datalog_example-Copy1.py
examples_scratch/problog_ns.py
neurolang/CD_relations.py
neurolang/__init__.py
neurolang/_version.py
neurolang/_version.pya
neurolang/aabb_tree.py
neurolang/commands.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_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/entry_points.txt
neurolang.egg-info/requires.txt
neurolang.egg-info/top_level.txt
neurolang/config/__init__.py
neurolang/config/config.ini
neurolang/config/tests/__init__.py
neurolang/config/tests/test_config.py
neurolang/datalog/__init__.py
neurolang/datalog/aggregation.py
neurolang/datalog/basic_representation.py
neurolang/datalog/constraints_representation.py
neurolang/datalog/exceptions.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_stratification.py
neurolang/datalog/tests/test_unify_vareqs.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/frontend_extensions.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/natural_syntax.py
neurolang/frontend/datalog/standard_syntax.py
neurolang/frontend/datalog/syntax_preprocessing.py
neurolang/frontend/datalog/sugar/__init__.py
neurolang/frontend/datalog/sugar/resampling.py
neurolang/frontend/datalog/sugar/spatial.py
neurolang/frontend/datalog/sugar/tests/__init__.py
neurolang/frontend/datalog/sugar/tests/test_intermediate_sugar.py
neurolang/frontend/datalog/sugar/tests/test_spatial.py
neurolang/frontend/datalog/tests/__init__.py
neurolang/frontend/datalog/tests/old_test_parser_squall.py
neurolang/frontend/datalog/tests/test_basic_representation.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_negation.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_transformations.py
neurolang/logic/tests/test_translation.py
neurolang/logic/tests/test_unification.py
neurolang/probabilistic/__init__.py
neurolang/probabilistic/containment.py
neurolang/probabilistic/dalvi_suciu_lift.py
neurolang/probabilistic/distributions.py
neurolang/probabilistic/exceptions.py
neurolang/probabilistic/expression_processing.py
neurolang/probabilistic/expressions.py
neurolang/probabilistic/magic_sets_processing.py
neurolang/probabilistic/ppdl.py
neurolang/probabilistic/probabilistic_ra_utils.py
neurolang/probabilistic/probabilistic_semiring_solver.py
neurolang/probabilistic/query_resolution.py
neurolang/probabilistic/ranking.py
neurolang/probabilistic/shattering.py
neurolang/probabilistic/shattering_new.py
neurolang/probabilistic/small_dichotomy_theorem_based_solver.py
neurolang/probabilistic/stratification.py
neurolang/probabilistic/transforms.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/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_problog.py
neurolang/probabilistic/tests/__init__.py
neurolang/probabilistic/tests/test_components_transformation.py
neurolang/probabilistic/tests/test_containment.py
neurolang/probabilistic/tests/test_dalvi_suciu_lift.py
neurolang/probabilistic/tests/test_dalvi_suciu_logic_tr.py
neurolang/probabilistic/tests/test_deterministic_probabilistic_separation.py
neurolang/probabilistic/tests/test_distributions.py
neurolang/probabilistic/tests/test_expression_processing.py
neurolang/probabilistic/tests/test_magic_sets_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_query_based_pfacts.py
neurolang/probabilistic/tests/test_ranking.py
neurolang/probabilistic/tests/test_shattering.py
neurolang/probabilistic/tests/test_small_dichotomy_based_solver.py
neurolang/probabilistic/tests/test_stratification.py
neurolang/relational_algebra/__init__.py
neurolang/relational_algebra/optimisers.py
neurolang/relational_algebra/relational_algebra.py
neurolang/relational_algebra/tests/__init__.py
neurolang/relational_algebra/tests/test_relational_algebra.py
neurolang/relational_algebra/tests/test_relational_algebra_optimisers.py
neurolang/tests/__init__.py
neurolang/tests/test_aabb_tree.py
neurolang/tests/test_algebraic_structures.py
neurolang/tests/test_commands.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_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/various.py
neurolang/utils/relational_algebra_set/__init__.py
neurolang/utils/relational_algebra_set/abstract.py
neurolang/utils/relational_algebra_set/dask_helpers.py
neurolang/utils/relational_algebra_set/dask_sql.py
neurolang/utils/relational_algebra_set/pandas.py
neurolang/utils/relational_algebra_set/pandas_duckdb.py
neurolang/utils/server/README.md
neurolang/utils/server/__init__.py
neurolang/utils/server/app.py
neurolang/utils/server/engines.py
neurolang/utils/server/queries.py
neurolang/utils/server/queries.yaml
neurolang/utils/server/responses.py
neurolang/utils/server/neurolang-web/.eslintrc.json
neurolang/utils/server/neurolang-web/.gitignore
neurolang/utils/server/neurolang-web/babel.config.js
neurolang/utils/server/neurolang-web/constants.js
neurolang/utils/server/neurolang-web/index.html
neurolang/utils/server/neurolang-web/inr_logo_grisbleu.svg
neurolang/utils/server/neurolang-web/jest.config.js
neurolang/utils/server/neurolang-web/jquery-bundler.js
neurolang/utils/server/neurolang-web/main.js
neurolang/utils/server/neurolang-web/package-lock.json
neurolang/utils/server/neurolang-web/package.json
neurolang/utils/server/neurolang-web/style.css
neurolang/utils/server/neurolang-web/dist/index.html
neurolang/utils/server/neurolang-web/dist/papaya.css
neurolang/utils/server/neurolang-web/dist/papaya.js
neurolang/utils/server/neurolang-web/dist/assets/brand-icons.02340ba1.svg
neurolang/utils/server/neurolang-web/dist/assets/brand-icons.5d919029.woff2
neurolang/utils/server/neurolang-web/dist/assets/brand-icons.811e1577.eot
neurolang/utils/server/neurolang-web/dist/assets/brand-icons.a0c14538.ttf
neurolang/utils/server/neurolang-web/dist/assets/brand-icons.e836c5d5.woff
neurolang/utils/server/neurolang-web/dist/assets/flags.94d5c7f1.png
neurolang/utils/server/neurolang-web/dist/assets/icons.231d68ce.ttf
neurolang/utils/server/neurolang-web/dist/assets/icons.32501727.eot
neurolang/utils/server/neurolang-web/dist/assets/icons.352f8ead.woff
neurolang/utils/server/neurolang-web/dist/assets/icons.7f4d3fd0.woff2
neurolang/utils/server/neurolang-web/dist/assets/icons.e7685398.svg
neurolang/utils/server/neurolang-web/dist/assets/index.5cf2c2f9.js
neurolang/utils/server/neurolang-web/dist/assets/index.b8715a35.css
neurolang/utils/server/neurolang-web/dist/assets/inr_logo_grisbleu.abcd4c0f.svg
neurolang/utils/server/neurolang-web/dist/assets/outline-icons.01f4416f.eot
neurolang/utils/server/neurolang-web/dist/assets/outline-icons.6a8c8e9e.woff2
neurolang/utils/server/neurolang-web/dist/assets/outline-icons.865fd23d.svg
neurolang/utils/server/neurolang-web/dist/assets/outline-icons.8e2d9619.woff
neurolang/utils/server/neurolang-web/dist/assets/outline-icons.f32b94a2.ttf
neurolang/utils/server/neurolang-web/dist/assets/vendor.7600caef.js
neurolang/utils/server/neurolang-web/engines/engines.css
neurolang/utils/server/neurolang-web/engines/engines.js
neurolang/utils/server/neurolang-web/papaya/viewer.css
neurolang/utils/server/neurolang-web/papaya/viewer.js
neurolang/utils/server/neurolang-web/public/papaya.css
neurolang/utils/server/neurolang-web/public/papaya.js
neurolang/utils/server/neurolang-web/query/datalog.js
neurolang/utils/server/neurolang-web/query/query.css
neurolang/utils/server/neurolang-web/query/query.js
neurolang/utils/server/neurolang-web/query/query.test.js
neurolang/utils/server/neurolang-web/router/router.js
neurolang/utils/server/neurolang-web/symbols/symbols.css
neurolang/utils/server/neurolang-web/symbols/symbols.js
neurolang/utils/server/neurolang-web/symbols/symbols.test.js
neurolang/utils/server/neurolang-web/tests/tests.setup.js
neurolang/utils/server/tests/__init__.py
neurolang/utils/server/tests/test_app.py
neurolang/utils/server/tests/test_engines.py
neurolang/utils/server/tests/test_queries.py
neurolang/utils/server/tests/test_responses.py
neurolang/utils/testing/__init__.py
neurolang/utils/testing/logic.py
neurolang/utils/testing/tests/__init__.py
neurolang/utils/testing/tests/test_logic_commutative_comparison.py
neurolang/utils/tests/__init__.py
neurolang/utils/tests/test_dask_relational_algebra_set.py
neurolang/utils/tests/test_orderedset.py
neurolang/utils/tests/test_relational_algebra_set.py