LICENSE
README.md
setup.py
logica/__main__.py
logica/colab_logica.py
logica/logica.py
logica/run_all_tests.py
logica.egg-info/PKG-INFO
logica.egg-info/SOURCES.txt
logica.egg-info/dependency_links.txt
logica.egg-info/entry_points.txt
logica.egg-info/top_level.txt
logica/common/callclingo.py
logica/common/clingo_logica.py
logica/common/color.py
logica/common/concertina_lib.py
logica/common/duckdb_logica.py
logica/common/graph.py
logica/common/graph_art.py
logica/common/image.py
logica/common/intelligence.py
logica/common/logica_lib.py
logica/common/logica_test.py
logica/common/platonic.py
logica/common/platonic_test.py
logica/common/psql_logica.py
logica/common/sqlite3_logica.py
logica/common/data/processed_functions.py
logica/compiler/dialects.py
logica/compiler/expr_translate.py
logica/compiler/functors.py
logica/compiler/rule_translate.py
logica/compiler/universe.py
logica/compiler/dialect_libraries/bq_library.py
logica/compiler/dialect_libraries/databricks_library.py
logica/compiler/dialect_libraries/duckdb_library.py
logica/compiler/dialect_libraries/presto_library.py
logica/compiler/dialect_libraries/psql_library.py
logica/compiler/dialect_libraries/recursion_library.py
logica/compiler/dialect_libraries/sqlite_library.py
logica/compiler/dialect_libraries/trino_library.py
logica/examples/more/call_postgres.py
logica/examples/more/call_sqlite.py
logica/integration_tests/run_tests.py
logica/integration_tests/import_tests/run_tests.py
logica/parser_py/parse.py
logica/tools/avatar.py
logica/tools/proposition_repl.py
logica/tools/run_in_terminal.py
logica/type_inference/bad_schema_exception.py
logica/type_inference/bq_type_parser.py
logica/type_inference/bq_type_retrieval_service.py
logica/type_inference/bq_type_retriever.py
logica/type_inference/built_in_functions_types.py
logica/type_inference/intersection.py
logica/type_inference/psql_type_parser.py
logica/type_inference/psql_type_retrieval_service.py
logica/type_inference/psql_type_retriever.py
logica/type_inference/type_inference_exception.py
logica/type_inference/type_inference_service.py
logica/type_inference/type_retrieval_exception.py
logica/type_inference/type_retrieval_service_base.py
logica/type_inference/type_retrieval_service_discovery.py
logica/type_inference/type_retriever_base.py
logica/type_inference/types_graph_builder.py
logica/type_inference/unknown_bigquery_type_exception.py
logica/type_inference/unsupported_engine_exception.py
logica/type_inference/inspectors/inspector_base.py
logica/type_inference/inspectors/postgres_inspector.py
logica/type_inference/inspectors/sqlite_inspector.py
logica/type_inference/inspectors/table_not_exist_exception.py
logica/type_inference/research/algebra.py
logica/type_inference/research/infer.py
logica/type_inference/research/meta_types.py
logica/type_inference/research/meta_types_test.py
logica/type_inference/research/reference_algebra.py
logica/type_inference/research/types_of_builtins.py
logica/type_inference/research/integration_tests/run_tests.py
logica/type_inference/tests/db_interaction_test.py
logica/type_inference/tests/integration_test.py
logica/type_inference/tests/intersection_test.py
logica/type_inference/tests/type_inference_test.py
logica/type_inference/tests/types_graph_building_test.py
logica/type_inference/types/edge.py
logica/type_inference/types/expression.py
logica/type_inference/types/types_graph.py
logica/type_inference/types/variable_types.py