├── .DS_Store ├── .github ├── scripts │ ├── __main__.py │ ├── deploy.sh │ └── setup.py └── workflows │ └── publish.yml ├── .gitignore ├── CONTRIBUTING.md ├── LICENSE ├── README.md ├── colab_logica.py ├── common ├── callclingo.py ├── clingo_logica.py ├── color.py ├── concertina_lib.py ├── data │ └── processed_functions.py ├── duckdb_logica.py ├── graph.py ├── graph_art.py ├── image.py ├── intelligence.py ├── logica_lib.py ├── logica_test.py ├── platonic.py ├── platonic_test.py ├── proto │ └── logica.proto ├── psql_logica.py └── sqlite3_logica.py ├── compiler ├── dialect_libraries │ ├── bq_library.py │ ├── databricks_library.py │ ├── duckdb_library.py │ ├── presto_library.py │ ├── psql_library.py │ ├── recursion_library.py │ ├── sqlite_library.py │ └── trino_library.py ├── dialects.py ├── expr_translate.py ├── functors.py ├── rule_translate.py └── universe.py ├── docs ├── CNAME ├── Logica_Icon.png ├── Logica_Logo_16_9.png ├── _config.yml ├── _layouts │ └── default.html ├── github-mark.png ├── index.html ├── index_old.md ├── learn │ └── logica.md ├── logica.js ├── logica_logo.png ├── logica_syntax.css ├── logica_syntax_light.css ├── robot.html ├── sandbox.html ├── syntax.md └── syntax_highlighting.js ├── examples ├── Logica_example_Avengers_and_PostgreSQL.ipynb ├── Logica_example_Covid_Analysis.ipynb ├── Logica_example_Drawing_Graphs.ipynb ├── Logica_example_Hello_World.ipynb ├── Logica_example_Life_expectency.ipynb ├── Logica_example_News_Clusters.ipynb ├── Logica_example_News_connections.ipynb ├── Logica_example_Postgres_Quick_Start.ipynb ├── Logica_example_Reachability.ipynb ├── README.md ├── copy_colab.png ├── graph │ ├── arrival.l │ ├── common_ancestors.l │ ├── connectivity.l │ ├── distance.l │ ├── graph_rendering.l │ ├── transitive_reduction.l │ └── winmove.l ├── learning │ └── Database_Problems.ipynb ├── more │ ├── Customer_Distribution_TPC_H_query.ipynb │ ├── Generic-VisJS.ipynb │ ├── List_Comprehension.ipynb │ ├── Page_Rank.ipynb │ ├── Simple_Postgres.ipynb │ ├── Table_Inspection.ipynb │ ├── Table_Pivot.ipynb │ ├── Using_AnyValue.ipynb │ ├── call_postgres.py │ └── call_sqlite.py └── scripts │ ├── AdventOfCode2022 │ ├── day1 │ │ └── solution.l │ ├── day2 │ │ └── solution.l │ ├── day3 │ │ └── solution.l │ └── day4 │ │ └── solution.l │ ├── closure_use.l │ ├── map_lookup.l │ ├── map_lookup2.l │ ├── outer_join.l │ ├── primes.l │ ├── primes_postgresql.l │ ├── primes_presto.l │ ├── primes_sqlite.l │ ├── primes_trino.l │ ├── queen_victoria.l │ ├── reachability_use.l │ ├── records_processing.l │ ├── recursion.l │ └── ticket.l ├── integration_tests ├── analytic_test.l ├── analytic_test.txt ├── arg_min_max_test.l ├── arg_min_max_test.txt ├── array_test.l ├── array_test.txt ├── bq_plusplus_test.l ├── bq_plusplus_test.txt ├── bulk_functions.l ├── bulk_functions_test.txt ├── cast_test.l ├── cast_test.txt ├── chain.l ├── chain_test.l ├── chain_test.txt ├── clingo_basic_test.l ├── clingo_basic_test.txt ├── clingo_models_limit_test.l ├── clingo_pipeline_test.l ├── clingo_pipeline_test.txt ├── clingo_sum_test.l ├── clingo_sum_test.txt ├── clingo_timeout_test.l ├── closure_test.l ├── closure_test.txt ├── composite_functor.test ├── composite_functor_test.l ├── composite_functor_test.txt ├── define_aggregation.l ├── define_aggregation_test.txt ├── dialects │ ├── presto │ │ ├── arg_min_max_test.l │ │ ├── arg_min_max_test.txt │ │ ├── basics_test.l │ │ ├── basics_test.txt │ │ ├── grounding_test.l │ │ ├── grounding_test.txt │ │ ├── joins_test.l │ │ ├── joins_test.txt │ │ └── reachability_test.l │ └── trino │ │ ├── arg_min_max_test.l │ │ ├── arg_min_max_test.txt │ │ ├── basics_test.l │ │ ├── basics_test.txt │ │ ├── grounding_test.l │ │ ├── grounding_test.txt │ │ ├── joins_test.l │ │ ├── joins_test.txt │ │ ├── reachability_test.l │ │ ├── trino_reachability_test.l │ │ └── trino_reachability_test.txt ├── disjunction_test.l ├── disjunction_test.txt ├── duckdb_clingo.l ├── duckdb_clingo.txt ├── duckdb_combine_test.txt ├── duckdb_flow_test.txt ├── duckdb_graph_coloring_test.txt ├── duckdb_is_default.l ├── duckdb_is_default.txt ├── duckdb_iteration_closure_test.l ├── duckdb_iteration_closure_test.txt ├── duckdb_json_test.l ├── duckdb_json_test.txt ├── duckdb_negation_test.l ├── duckdb_negation_test.txt ├── duckdb_pair_test.txt ├── duckdb_purchase_test.txt ├── duckdb_recursion_test.txt ├── duckdb_smoothed_winmove_test.l ├── duckdb_smoothed_winmove_test.txt ├── duckdb_stop_test.l ├── duckdb_stop_test.txt ├── equals_true_test.l ├── equals_true_test.txt ├── extract_clingo_test.l ├── extract_clingo_test.txt ├── factorial_test.l ├── factorial_test.txt ├── flags_test.l ├── functor_annotations_test.l ├── functor_arg_update_test.l ├── functor_arg_update_test.txt ├── functor_chain_test.l ├── functor_chain_test.txt ├── functor_test.l ├── functor_test.txt ├── ground_psql_test.l ├── ground_psql_test.txt ├── ground_test.l ├── ground_test.txt ├── if_then.l ├── if_then_QualifiedSummary.txt ├── import_root_test.l ├── import_root_test.txt ├── import_roots_test.l ├── import_roots_test.txt ├── import_tests │ ├── canada.l │ ├── canada_Consume.txt │ ├── canada_ImportFraction.txt │ ├── canada_ImportedEngineer.txt │ ├── canada_psql_Consume.txt │ ├── canada_psql_test.l │ ├── canada_test.l │ ├── functor_test.l │ ├── functor_test.txt │ ├── modification_inside.l │ ├── new_canada.l │ ├── run_tests.py │ ├── taxation.l │ └── usa.l ├── in_expr_test.l ├── in_expr_test.txt ├── long_functor_test.l ├── long_functor_test.txt ├── manual_coloring_first_test.l ├── manual_coloring_first_test.txt ├── manual_coloring_second_test.l ├── manual_coloring_second_test.txt ├── manual_salesman.l ├── manual_salesman.txt ├── modification_inside.l ├── modification_inside.txt ├── multi_body_aggregation.l ├── multi_body_aggregation_test.txt ├── nested_combines_test.l ├── nested_combines_test.txt ├── no_from_test.l ├── no_from_test.txt ├── noinject_test.l ├── nontrivial_restof_test.l ├── nontrivial_restof_test.txt ├── operation_order_test.l ├── operation_order_test.txt ├── orderby_limit_test.l ├── orderby_limit_test.txt ├── outer_join.l ├── outer_join_combine.l ├── outer_join_disjunction.l ├── outer_join_some_value.l ├── outer_join_test.txt ├── outer_join_verbose.l ├── outer_join_verbose_test.txt ├── population.csv ├── ppq_test.l ├── ppq_test.txt ├── propositional_implication_test.l ├── propositional_implication_test.txt ├── psql_arg_min_max_k_test.l ├── psql_arg_min_max_k_test.txt ├── psql_arg_min_test.l ├── psql_arg_min_test.txt ├── psql_argmax2_combine_test.l ├── psql_argmax2_combine_test.txt ├── psql_argmin_list_test.l ├── psql_argmin_list_test.txt ├── psql_bool_test.l ├── psql_combine2_test.l ├── psql_combine2_test.txt ├── psql_combine_test.l ├── psql_combine_test.txt ├── psql_explicit_typing_test.l ├── psql_explicit_typing_test.txt ├── psql_flow_test.l ├── psql_flow_test.txt ├── psql_game_test.l ├── psql_game_test.txt ├── psql_graph_coloring_test.l ├── psql_graph_coloring_test.txt ├── psql_pair_test.l ├── psql_pair_test.txt ├── psql_plusplus_test.l ├── psql_plusplus_test.txt ├── psql_purchase2_test.l ├── psql_purchase2_test.txt ├── psql_purchase3_test.l ├── psql_purchase3_test.txt ├── psql_purchase_test.l ├── psql_purchase_test.txt ├── psql_record_combine_test.l ├── psql_record_combine_test.txt ├── psql_recursion_test.l ├── psql_recursion_test.txt ├── psql_simple_structs_test.l ├── psql_simple_structs_test.txt ├── psql_single_arg_min.l ├── psql_structs_ground_test.l ├── psql_structs_ground_test.txt ├── psql_test.l ├── psql_test.txt ├── psql_udf_test.l ├── psql_udf_test.txt ├── psql_win_move_test.l ├── psql_win_move_test.txt ├── psqld_empty_list_type_duck_test.txt ├── psqld_empty_list_type_test.l ├── psqld_empty_list_type_test.txt ├── quote_escape_test.l ├── quote_escape_test.txt ├── reachability_test.l ├── reachability_test.txt ├── rec_cycle_test.l ├── rec_cycle_test.txt ├── rec_small_cycle_test.l ├── rec_small_cycle_test.txt ├── run_manual_tests.sh ├── run_tests.py ├── simple_functors_test.l ├── simple_functors_test.txt ├── single_arg_min.l ├── sql_expr_test.l ├── sql_expr_test.txt ├── sql_string_table_test.l ├── sql_string_table_test.txt ├── sqlite_array_sub_test.l ├── sqlite_array_sub_test.txt ├── sqlite_array_test.l ├── sqlite_array_test.txt ├── sqlite_assignment_test.l ├── sqlite_assignment_test.txt ├── sqlite_combine_test.l ├── sqlite_combine_test.txt ├── sqlite_composite_test.l ├── sqlite_composite_test.txt ├── sqlite_deep_recursion_test.l ├── sqlite_deep_recursion_test.txt ├── sqlite_element_test.l ├── sqlite_element_test.txt ├── sqlite_file_test.l ├── sqlite_file_test.txt ├── sqlite_flat_recursion_test.l ├── sqlite_flat_recursion_test.txt ├── sqlite_funcs_test.l ├── sqlite_funcs_test.txt ├── sqlite_functor_over_constant_test.l ├── sqlite_functor_over_constant_test.txt ├── sqlite_functors_test.l ├── sqlite_functors_test.txt ├── sqlite_groupby_test.l ├── sqlite_groupby_test.txt ├── sqlite_in_expr_test.l ├── sqlite_in_expr_test.txt ├── sqlite_is_test.l ├── sqlite_is_test.txt ├── sqlite_math_test.l ├── sqlite_math_test.txt ├── sqlite_nil_test.l ├── sqlite_nil_test.txt ├── sqlite_pagerank.l ├── sqlite_pagerank.txt ├── sqlite_reachability.l ├── sqlite_reachability.txt ├── sqlite_rec_depth.l ├── sqlite_rec_depth.txt ├── sqlite_rec_functor.l ├── sqlite_rec_functor.txt ├── sqlite_record_assembler.l ├── sqlite_record_assembler.txt ├── sqlite_records_test.l ├── sqlite_records_test.txt ├── sqlite_recursion.l ├── sqlite_recursion.txt ├── sqlite_shortest_path_test.l ├── sqlite_shortest_path_test.txt ├── sqlite_subquery_test.l ├── sqlite_subquery_test.txt ├── sqlite_test.l ├── sqlite_test.txt ├── sqlite_unwrapping_test.l ├── sqlite_unwrapping_test.txt ├── sqlite_winmove_test.l ├── sqlite_winmove_test.txt ├── strategic_test.l ├── strategic_test.txt ├── string_screening_test.l ├── string_screening_test.txt ├── sub_if_test.l ├── sub_if_test.txt ├── testrun_csv_test.l ├── testrun_csv_test.txt ├── udf_test.l ├── udf_test.txt ├── ultra_short_cycle_test.l ├── ultra_short_cycle_test.txt ├── unary_test.l ├── unary_test.txt ├── unification_priority_test.l ├── unification_priority_test.txt ├── unnest_order_test.l ├── unnest_order_test.txt ├── with_test.l └── with_test.txt ├── lib ├── closure.l ├── random.l └── reachability.l ├── logica ├── logica.py ├── parser_py └── parse.py ├── run_all_tests.py ├── syntax ├── sublime │ └── logica.sublime-syntax ├── vim │ ├── ftdetect │ │ └── logica.vim │ └── syntax │ │ └── logica.vim └── vscode │ ├── .gitignore │ ├── .vscode │ └── launch.json │ ├── .vscodeignore │ ├── CHANGELOG.md │ ├── DEV.md │ ├── README.md │ ├── images │ ├── LogicaFile.svg │ ├── LogicaIcon.svg │ └── Logica_Icon.png │ ├── language-configuration.json │ ├── logica-icon-theme.json │ ├── package-lock.json │ ├── package.json │ ├── src │ └── logica.tmLanguage.yaml │ └── syntaxes │ └── logica.tmLanguage.json ├── tools ├── avatar.py ├── proposition_repl.py └── run_in_terminal.py ├── tutorial ├── Logica_DuckDB_tutorial.ipynb └── Logica_tutorial.ipynb └── type_inference ├── bad_schema_exception.py ├── bq_type_parser.py ├── bq_type_retrieval_service.py ├── bq_type_retriever.py ├── built_in_functions_types.py ├── inspectors ├── inspector_base.py ├── postgres_inspector.py ├── sqlite_inspector.py └── table_not_exist_exception.py ├── intersection.py ├── psql_type_parser.py ├── psql_type_retrieval_service.py ├── psql_type_retriever.py ├── research ├── algebra.py ├── infer.py ├── integration_tests │ ├── run_tests.py │ ├── typing_aggregation_test.l │ ├── typing_aggregation_test.txt │ ├── typing_basic_test.l │ ├── typing_basic_test.txt │ ├── typing_combine2_test.l │ ├── typing_combine2_test.txt │ ├── typing_combines_test.l │ ├── typing_combines_test.txt │ ├── typing_kitchensync_test.l │ ├── typing_kitchensync_test.txt │ ├── typing_lists_test.l │ ├── typing_lists_test.txt │ ├── typing_nested_test.l │ ├── typing_nested_test.txt │ ├── typing_palindrome_puzzle_test.l │ └── typing_palindrome_puzzle_test.txt ├── meta_types.py ├── meta_types_test.py ├── reference_algebra.py └── types_of_builtins.py ├── tests ├── db_interaction_test.py ├── integration_test.py ├── intersection_test.py ├── type_inference_test.py └── types_graph_building_test.py ├── type_inference_exception.py ├── type_inference_service.py ├── type_retrieval_exception.py ├── type_retrieval_service_base.py ├── type_retrieval_service_discovery.py ├── type_retriever_base.py ├── types ├── edge.py ├── expression.py ├── types_graph.py └── variable_types.py ├── types_graph_builder.py ├── unknown_bigquery_type_exception.py └── unsupported_engine_exception.py /.DS_Store: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/.DS_Store -------------------------------------------------------------------------------- /.github/scripts/__main__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/.github/scripts/__main__.py -------------------------------------------------------------------------------- /.github/scripts/deploy.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/.github/scripts/deploy.sh -------------------------------------------------------------------------------- /.github/scripts/setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/.github/scripts/setup.py -------------------------------------------------------------------------------- /.github/workflows/publish.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/.github/workflows/publish.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/.gitignore -------------------------------------------------------------------------------- /CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/CONTRIBUTING.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/README.md -------------------------------------------------------------------------------- /colab_logica.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/colab_logica.py -------------------------------------------------------------------------------- /common/callclingo.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/common/callclingo.py -------------------------------------------------------------------------------- /common/clingo_logica.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/common/clingo_logica.py -------------------------------------------------------------------------------- /common/color.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/common/color.py -------------------------------------------------------------------------------- /common/concertina_lib.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/common/concertina_lib.py -------------------------------------------------------------------------------- /common/data/processed_functions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/common/data/processed_functions.py -------------------------------------------------------------------------------- /common/duckdb_logica.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/common/duckdb_logica.py -------------------------------------------------------------------------------- /common/graph.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/common/graph.py -------------------------------------------------------------------------------- /common/graph_art.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/common/graph_art.py -------------------------------------------------------------------------------- /common/image.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/common/image.py -------------------------------------------------------------------------------- /common/intelligence.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/common/intelligence.py -------------------------------------------------------------------------------- /common/logica_lib.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/common/logica_lib.py -------------------------------------------------------------------------------- /common/logica_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/common/logica_test.py -------------------------------------------------------------------------------- /common/platonic.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/common/platonic.py -------------------------------------------------------------------------------- /common/platonic_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/common/platonic_test.py -------------------------------------------------------------------------------- /common/proto/logica.proto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/common/proto/logica.proto -------------------------------------------------------------------------------- /common/psql_logica.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/common/psql_logica.py -------------------------------------------------------------------------------- /common/sqlite3_logica.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/common/sqlite3_logica.py -------------------------------------------------------------------------------- /compiler/dialect_libraries/bq_library.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/compiler/dialect_libraries/bq_library.py -------------------------------------------------------------------------------- /compiler/dialect_libraries/databricks_library.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/compiler/dialect_libraries/databricks_library.py -------------------------------------------------------------------------------- /compiler/dialect_libraries/duckdb_library.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/compiler/dialect_libraries/duckdb_library.py -------------------------------------------------------------------------------- /compiler/dialect_libraries/presto_library.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/compiler/dialect_libraries/presto_library.py -------------------------------------------------------------------------------- /compiler/dialect_libraries/psql_library.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/compiler/dialect_libraries/psql_library.py -------------------------------------------------------------------------------- /compiler/dialect_libraries/recursion_library.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/compiler/dialect_libraries/recursion_library.py -------------------------------------------------------------------------------- /compiler/dialect_libraries/sqlite_library.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/compiler/dialect_libraries/sqlite_library.py -------------------------------------------------------------------------------- /compiler/dialect_libraries/trino_library.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/compiler/dialect_libraries/trino_library.py -------------------------------------------------------------------------------- /compiler/dialects.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/compiler/dialects.py -------------------------------------------------------------------------------- /compiler/expr_translate.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/compiler/expr_translate.py -------------------------------------------------------------------------------- /compiler/functors.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/compiler/functors.py -------------------------------------------------------------------------------- /compiler/rule_translate.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/compiler/rule_translate.py -------------------------------------------------------------------------------- /compiler/universe.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/compiler/universe.py -------------------------------------------------------------------------------- /docs/CNAME: -------------------------------------------------------------------------------- 1 | logica.dev -------------------------------------------------------------------------------- /docs/Logica_Icon.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/docs/Logica_Icon.png -------------------------------------------------------------------------------- /docs/Logica_Logo_16_9.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/docs/Logica_Logo_16_9.png -------------------------------------------------------------------------------- /docs/_config.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/docs/_config.yml -------------------------------------------------------------------------------- /docs/_layouts/default.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/docs/_layouts/default.html -------------------------------------------------------------------------------- /docs/github-mark.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/docs/github-mark.png -------------------------------------------------------------------------------- /docs/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/docs/index.html -------------------------------------------------------------------------------- /docs/index_old.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/docs/index_old.md -------------------------------------------------------------------------------- /docs/learn/logica.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/docs/learn/logica.md -------------------------------------------------------------------------------- /docs/logica.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/docs/logica.js -------------------------------------------------------------------------------- /docs/logica_logo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/docs/logica_logo.png -------------------------------------------------------------------------------- /docs/logica_syntax.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/docs/logica_syntax.css -------------------------------------------------------------------------------- /docs/logica_syntax_light.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/docs/logica_syntax_light.css -------------------------------------------------------------------------------- /docs/robot.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/docs/robot.html -------------------------------------------------------------------------------- /docs/sandbox.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/docs/sandbox.html -------------------------------------------------------------------------------- /docs/syntax.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/docs/syntax.md -------------------------------------------------------------------------------- /docs/syntax_highlighting.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/docs/syntax_highlighting.js -------------------------------------------------------------------------------- /examples/Logica_example_Avengers_and_PostgreSQL.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/examples/Logica_example_Avengers_and_PostgreSQL.ipynb -------------------------------------------------------------------------------- /examples/Logica_example_Covid_Analysis.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/examples/Logica_example_Covid_Analysis.ipynb -------------------------------------------------------------------------------- /examples/Logica_example_Drawing_Graphs.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/examples/Logica_example_Drawing_Graphs.ipynb -------------------------------------------------------------------------------- /examples/Logica_example_Hello_World.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/examples/Logica_example_Hello_World.ipynb -------------------------------------------------------------------------------- /examples/Logica_example_Life_expectency.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/examples/Logica_example_Life_expectency.ipynb -------------------------------------------------------------------------------- /examples/Logica_example_News_Clusters.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/examples/Logica_example_News_Clusters.ipynb -------------------------------------------------------------------------------- /examples/Logica_example_News_connections.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/examples/Logica_example_News_connections.ipynb -------------------------------------------------------------------------------- /examples/Logica_example_Postgres_Quick_Start.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/examples/Logica_example_Postgres_Quick_Start.ipynb -------------------------------------------------------------------------------- /examples/Logica_example_Reachability.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/examples/Logica_example_Reachability.ipynb -------------------------------------------------------------------------------- /examples/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/examples/README.md -------------------------------------------------------------------------------- /examples/copy_colab.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/examples/copy_colab.png -------------------------------------------------------------------------------- /examples/graph/arrival.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/examples/graph/arrival.l -------------------------------------------------------------------------------- /examples/graph/common_ancestors.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/examples/graph/common_ancestors.l -------------------------------------------------------------------------------- /examples/graph/connectivity.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/examples/graph/connectivity.l -------------------------------------------------------------------------------- /examples/graph/distance.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/examples/graph/distance.l -------------------------------------------------------------------------------- /examples/graph/graph_rendering.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/examples/graph/graph_rendering.l -------------------------------------------------------------------------------- /examples/graph/transitive_reduction.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/examples/graph/transitive_reduction.l -------------------------------------------------------------------------------- /examples/graph/winmove.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/examples/graph/winmove.l -------------------------------------------------------------------------------- /examples/learning/Database_Problems.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/examples/learning/Database_Problems.ipynb -------------------------------------------------------------------------------- /examples/more/Customer_Distribution_TPC_H_query.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/examples/more/Customer_Distribution_TPC_H_query.ipynb -------------------------------------------------------------------------------- /examples/more/Generic-VisJS.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/examples/more/Generic-VisJS.ipynb -------------------------------------------------------------------------------- /examples/more/List_Comprehension.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/examples/more/List_Comprehension.ipynb -------------------------------------------------------------------------------- /examples/more/Page_Rank.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/examples/more/Page_Rank.ipynb -------------------------------------------------------------------------------- /examples/more/Simple_Postgres.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/examples/more/Simple_Postgres.ipynb -------------------------------------------------------------------------------- /examples/more/Table_Inspection.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/examples/more/Table_Inspection.ipynb -------------------------------------------------------------------------------- /examples/more/Table_Pivot.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/examples/more/Table_Pivot.ipynb -------------------------------------------------------------------------------- /examples/more/Using_AnyValue.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/examples/more/Using_AnyValue.ipynb -------------------------------------------------------------------------------- /examples/more/call_postgres.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/examples/more/call_postgres.py -------------------------------------------------------------------------------- /examples/more/call_sqlite.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/examples/more/call_sqlite.py -------------------------------------------------------------------------------- /examples/scripts/AdventOfCode2022/day1/solution.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/examples/scripts/AdventOfCode2022/day1/solution.l -------------------------------------------------------------------------------- /examples/scripts/AdventOfCode2022/day2/solution.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/examples/scripts/AdventOfCode2022/day2/solution.l -------------------------------------------------------------------------------- /examples/scripts/AdventOfCode2022/day3/solution.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/examples/scripts/AdventOfCode2022/day3/solution.l -------------------------------------------------------------------------------- /examples/scripts/AdventOfCode2022/day4/solution.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/examples/scripts/AdventOfCode2022/day4/solution.l -------------------------------------------------------------------------------- /examples/scripts/closure_use.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/examples/scripts/closure_use.l -------------------------------------------------------------------------------- /examples/scripts/map_lookup.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/examples/scripts/map_lookup.l -------------------------------------------------------------------------------- /examples/scripts/map_lookup2.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/examples/scripts/map_lookup2.l -------------------------------------------------------------------------------- /examples/scripts/outer_join.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/examples/scripts/outer_join.l -------------------------------------------------------------------------------- /examples/scripts/primes.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/examples/scripts/primes.l -------------------------------------------------------------------------------- /examples/scripts/primes_postgresql.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/examples/scripts/primes_postgresql.l -------------------------------------------------------------------------------- /examples/scripts/primes_presto.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/examples/scripts/primes_presto.l -------------------------------------------------------------------------------- /examples/scripts/primes_sqlite.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/examples/scripts/primes_sqlite.l -------------------------------------------------------------------------------- /examples/scripts/primes_trino.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/examples/scripts/primes_trino.l -------------------------------------------------------------------------------- /examples/scripts/queen_victoria.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/examples/scripts/queen_victoria.l -------------------------------------------------------------------------------- /examples/scripts/reachability_use.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/examples/scripts/reachability_use.l -------------------------------------------------------------------------------- /examples/scripts/records_processing.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/examples/scripts/records_processing.l -------------------------------------------------------------------------------- /examples/scripts/recursion.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/examples/scripts/recursion.l -------------------------------------------------------------------------------- /examples/scripts/ticket.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/examples/scripts/ticket.l -------------------------------------------------------------------------------- /integration_tests/analytic_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/analytic_test.l -------------------------------------------------------------------------------- /integration_tests/analytic_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/analytic_test.txt -------------------------------------------------------------------------------- /integration_tests/arg_min_max_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/arg_min_max_test.l -------------------------------------------------------------------------------- /integration_tests/arg_min_max_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/arg_min_max_test.txt -------------------------------------------------------------------------------- /integration_tests/array_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/array_test.l -------------------------------------------------------------------------------- /integration_tests/array_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/array_test.txt -------------------------------------------------------------------------------- /integration_tests/bq_plusplus_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/bq_plusplus_test.l -------------------------------------------------------------------------------- /integration_tests/bq_plusplus_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/bq_plusplus_test.txt -------------------------------------------------------------------------------- /integration_tests/bulk_functions.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/bulk_functions.l -------------------------------------------------------------------------------- /integration_tests/bulk_functions_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/bulk_functions_test.txt -------------------------------------------------------------------------------- /integration_tests/cast_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/cast_test.l -------------------------------------------------------------------------------- /integration_tests/cast_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/cast_test.txt -------------------------------------------------------------------------------- /integration_tests/chain.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/chain.l -------------------------------------------------------------------------------- /integration_tests/chain_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/chain_test.l -------------------------------------------------------------------------------- /integration_tests/chain_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/chain_test.txt -------------------------------------------------------------------------------- /integration_tests/clingo_basic_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/clingo_basic_test.l -------------------------------------------------------------------------------- /integration_tests/clingo_basic_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/clingo_basic_test.txt -------------------------------------------------------------------------------- /integration_tests/clingo_models_limit_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/clingo_models_limit_test.l -------------------------------------------------------------------------------- /integration_tests/clingo_pipeline_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/clingo_pipeline_test.l -------------------------------------------------------------------------------- /integration_tests/clingo_pipeline_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/clingo_pipeline_test.txt -------------------------------------------------------------------------------- /integration_tests/clingo_sum_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/clingo_sum_test.l -------------------------------------------------------------------------------- /integration_tests/clingo_sum_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/clingo_sum_test.txt -------------------------------------------------------------------------------- /integration_tests/clingo_timeout_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/clingo_timeout_test.l -------------------------------------------------------------------------------- /integration_tests/closure_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/closure_test.l -------------------------------------------------------------------------------- /integration_tests/closure_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/closure_test.txt -------------------------------------------------------------------------------- /integration_tests/composite_functor.test: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /integration_tests/composite_functor_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/composite_functor_test.l -------------------------------------------------------------------------------- /integration_tests/composite_functor_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/composite_functor_test.txt -------------------------------------------------------------------------------- /integration_tests/define_aggregation.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/define_aggregation.l -------------------------------------------------------------------------------- /integration_tests/define_aggregation_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/define_aggregation_test.txt -------------------------------------------------------------------------------- /integration_tests/dialects/presto/arg_min_max_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/dialects/presto/arg_min_max_test.l -------------------------------------------------------------------------------- /integration_tests/dialects/presto/arg_min_max_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/dialects/presto/arg_min_max_test.txt -------------------------------------------------------------------------------- /integration_tests/dialects/presto/basics_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/dialects/presto/basics_test.l -------------------------------------------------------------------------------- /integration_tests/dialects/presto/basics_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/dialects/presto/basics_test.txt -------------------------------------------------------------------------------- /integration_tests/dialects/presto/grounding_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/dialects/presto/grounding_test.l -------------------------------------------------------------------------------- /integration_tests/dialects/presto/grounding_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/dialects/presto/grounding_test.txt -------------------------------------------------------------------------------- /integration_tests/dialects/presto/joins_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/dialects/presto/joins_test.l -------------------------------------------------------------------------------- /integration_tests/dialects/presto/joins_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/dialects/presto/joins_test.txt -------------------------------------------------------------------------------- /integration_tests/dialects/presto/reachability_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/dialects/presto/reachability_test.l -------------------------------------------------------------------------------- /integration_tests/dialects/trino/arg_min_max_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/dialects/trino/arg_min_max_test.l -------------------------------------------------------------------------------- /integration_tests/dialects/trino/arg_min_max_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/dialects/trino/arg_min_max_test.txt -------------------------------------------------------------------------------- /integration_tests/dialects/trino/basics_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/dialects/trino/basics_test.l -------------------------------------------------------------------------------- /integration_tests/dialects/trino/basics_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/dialects/trino/basics_test.txt -------------------------------------------------------------------------------- /integration_tests/dialects/trino/grounding_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/dialects/trino/grounding_test.l -------------------------------------------------------------------------------- /integration_tests/dialects/trino/grounding_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/dialects/trino/grounding_test.txt -------------------------------------------------------------------------------- /integration_tests/dialects/trino/joins_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/dialects/trino/joins_test.l -------------------------------------------------------------------------------- /integration_tests/dialects/trino/joins_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/dialects/trino/joins_test.txt -------------------------------------------------------------------------------- /integration_tests/dialects/trino/reachability_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/dialects/trino/reachability_test.l -------------------------------------------------------------------------------- /integration_tests/dialects/trino/trino_reachability_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/dialects/trino/trino_reachability_test.l -------------------------------------------------------------------------------- /integration_tests/dialects/trino/trino_reachability_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/dialects/trino/trino_reachability_test.txt -------------------------------------------------------------------------------- /integration_tests/disjunction_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/disjunction_test.l -------------------------------------------------------------------------------- /integration_tests/disjunction_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/disjunction_test.txt -------------------------------------------------------------------------------- /integration_tests/duckdb_clingo.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/duckdb_clingo.l -------------------------------------------------------------------------------- /integration_tests/duckdb_clingo.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/duckdb_clingo.txt -------------------------------------------------------------------------------- /integration_tests/duckdb_combine_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/duckdb_combine_test.txt -------------------------------------------------------------------------------- /integration_tests/duckdb_flow_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/duckdb_flow_test.txt -------------------------------------------------------------------------------- /integration_tests/duckdb_graph_coloring_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/duckdb_graph_coloring_test.txt -------------------------------------------------------------------------------- /integration_tests/duckdb_is_default.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/duckdb_is_default.l -------------------------------------------------------------------------------- /integration_tests/duckdb_is_default.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/duckdb_is_default.txt -------------------------------------------------------------------------------- /integration_tests/duckdb_iteration_closure_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/duckdb_iteration_closure_test.l -------------------------------------------------------------------------------- /integration_tests/duckdb_iteration_closure_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/duckdb_iteration_closure_test.txt -------------------------------------------------------------------------------- /integration_tests/duckdb_json_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/duckdb_json_test.l -------------------------------------------------------------------------------- /integration_tests/duckdb_json_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/duckdb_json_test.txt -------------------------------------------------------------------------------- /integration_tests/duckdb_negation_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/duckdb_negation_test.l -------------------------------------------------------------------------------- /integration_tests/duckdb_negation_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/duckdb_negation_test.txt -------------------------------------------------------------------------------- /integration_tests/duckdb_pair_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/duckdb_pair_test.txt -------------------------------------------------------------------------------- /integration_tests/duckdb_purchase_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/duckdb_purchase_test.txt -------------------------------------------------------------------------------- /integration_tests/duckdb_recursion_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/duckdb_recursion_test.txt -------------------------------------------------------------------------------- /integration_tests/duckdb_smoothed_winmove_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/duckdb_smoothed_winmove_test.l -------------------------------------------------------------------------------- /integration_tests/duckdb_smoothed_winmove_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/duckdb_smoothed_winmove_test.txt -------------------------------------------------------------------------------- /integration_tests/duckdb_stop_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/duckdb_stop_test.l -------------------------------------------------------------------------------- /integration_tests/duckdb_stop_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/duckdb_stop_test.txt -------------------------------------------------------------------------------- /integration_tests/equals_true_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/equals_true_test.l -------------------------------------------------------------------------------- /integration_tests/equals_true_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/equals_true_test.txt -------------------------------------------------------------------------------- /integration_tests/extract_clingo_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/extract_clingo_test.l -------------------------------------------------------------------------------- /integration_tests/extract_clingo_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/extract_clingo_test.txt -------------------------------------------------------------------------------- /integration_tests/factorial_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/factorial_test.l -------------------------------------------------------------------------------- /integration_tests/factorial_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/factorial_test.txt -------------------------------------------------------------------------------- /integration_tests/flags_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/flags_test.l -------------------------------------------------------------------------------- /integration_tests/functor_annotations_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/functor_annotations_test.l -------------------------------------------------------------------------------- /integration_tests/functor_arg_update_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/functor_arg_update_test.l -------------------------------------------------------------------------------- /integration_tests/functor_arg_update_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/functor_arg_update_test.txt -------------------------------------------------------------------------------- /integration_tests/functor_chain_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/functor_chain_test.l -------------------------------------------------------------------------------- /integration_tests/functor_chain_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/functor_chain_test.txt -------------------------------------------------------------------------------- /integration_tests/functor_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/functor_test.l -------------------------------------------------------------------------------- /integration_tests/functor_test.txt: -------------------------------------------------------------------------------- 1 | d 2 | s 3 | -------------------------------------------------------------------------------- /integration_tests/ground_psql_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/ground_psql_test.l -------------------------------------------------------------------------------- /integration_tests/ground_psql_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/ground_psql_test.txt -------------------------------------------------------------------------------- /integration_tests/ground_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/ground_test.l -------------------------------------------------------------------------------- /integration_tests/ground_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/ground_test.txt -------------------------------------------------------------------------------- /integration_tests/if_then.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/if_then.l -------------------------------------------------------------------------------- /integration_tests/if_then_QualifiedSummary.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/if_then_QualifiedSummary.txt -------------------------------------------------------------------------------- /integration_tests/import_root_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/import_root_test.l -------------------------------------------------------------------------------- /integration_tests/import_root_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/import_root_test.txt -------------------------------------------------------------------------------- /integration_tests/import_roots_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/import_roots_test.l -------------------------------------------------------------------------------- /integration_tests/import_roots_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/import_roots_test.txt -------------------------------------------------------------------------------- /integration_tests/import_tests/canada.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/import_tests/canada.l -------------------------------------------------------------------------------- /integration_tests/import_tests/canada_Consume.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/import_tests/canada_Consume.txt -------------------------------------------------------------------------------- /integration_tests/import_tests/canada_ImportFraction.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/import_tests/canada_ImportFraction.txt -------------------------------------------------------------------------------- /integration_tests/import_tests/canada_ImportedEngineer.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/import_tests/canada_ImportedEngineer.txt -------------------------------------------------------------------------------- /integration_tests/import_tests/canada_psql_Consume.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/import_tests/canada_psql_Consume.txt -------------------------------------------------------------------------------- /integration_tests/import_tests/canada_psql_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/import_tests/canada_psql_test.l -------------------------------------------------------------------------------- /integration_tests/import_tests/canada_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/import_tests/canada_test.l -------------------------------------------------------------------------------- /integration_tests/import_tests/functor_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/import_tests/functor_test.l -------------------------------------------------------------------------------- /integration_tests/import_tests/functor_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/import_tests/functor_test.txt -------------------------------------------------------------------------------- /integration_tests/import_tests/modification_inside.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/import_tests/modification_inside.l -------------------------------------------------------------------------------- /integration_tests/import_tests/new_canada.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/import_tests/new_canada.l -------------------------------------------------------------------------------- /integration_tests/import_tests/run_tests.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/import_tests/run_tests.py -------------------------------------------------------------------------------- /integration_tests/import_tests/taxation.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/import_tests/taxation.l -------------------------------------------------------------------------------- /integration_tests/import_tests/usa.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/import_tests/usa.l -------------------------------------------------------------------------------- /integration_tests/in_expr_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/in_expr_test.l -------------------------------------------------------------------------------- /integration_tests/in_expr_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/in_expr_test.txt -------------------------------------------------------------------------------- /integration_tests/long_functor_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/long_functor_test.l -------------------------------------------------------------------------------- /integration_tests/long_functor_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/long_functor_test.txt -------------------------------------------------------------------------------- /integration_tests/manual_coloring_first_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/manual_coloring_first_test.l -------------------------------------------------------------------------------- /integration_tests/manual_coloring_first_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/manual_coloring_first_test.txt -------------------------------------------------------------------------------- /integration_tests/manual_coloring_second_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/manual_coloring_second_test.l -------------------------------------------------------------------------------- /integration_tests/manual_coloring_second_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/manual_coloring_second_test.txt -------------------------------------------------------------------------------- /integration_tests/manual_salesman.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/manual_salesman.l -------------------------------------------------------------------------------- /integration_tests/manual_salesman.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/manual_salesman.txt -------------------------------------------------------------------------------- /integration_tests/modification_inside.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/modification_inside.l -------------------------------------------------------------------------------- /integration_tests/modification_inside.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/modification_inside.txt -------------------------------------------------------------------------------- /integration_tests/multi_body_aggregation.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/multi_body_aggregation.l -------------------------------------------------------------------------------- /integration_tests/multi_body_aggregation_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/multi_body_aggregation_test.txt -------------------------------------------------------------------------------- /integration_tests/nested_combines_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/nested_combines_test.l -------------------------------------------------------------------------------- /integration_tests/nested_combines_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/nested_combines_test.txt -------------------------------------------------------------------------------- /integration_tests/no_from_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/no_from_test.l -------------------------------------------------------------------------------- /integration_tests/no_from_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/no_from_test.txt -------------------------------------------------------------------------------- /integration_tests/noinject_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/noinject_test.l -------------------------------------------------------------------------------- /integration_tests/nontrivial_restof_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/nontrivial_restof_test.l -------------------------------------------------------------------------------- /integration_tests/nontrivial_restof_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/nontrivial_restof_test.txt -------------------------------------------------------------------------------- /integration_tests/operation_order_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/operation_order_test.l -------------------------------------------------------------------------------- /integration_tests/operation_order_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/operation_order_test.txt -------------------------------------------------------------------------------- /integration_tests/orderby_limit_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/orderby_limit_test.l -------------------------------------------------------------------------------- /integration_tests/orderby_limit_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/orderby_limit_test.txt -------------------------------------------------------------------------------- /integration_tests/outer_join.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/outer_join.l -------------------------------------------------------------------------------- /integration_tests/outer_join_combine.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/outer_join_combine.l -------------------------------------------------------------------------------- /integration_tests/outer_join_disjunction.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/outer_join_disjunction.l -------------------------------------------------------------------------------- /integration_tests/outer_join_some_value.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/outer_join_some_value.l -------------------------------------------------------------------------------- /integration_tests/outer_join_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/outer_join_test.txt -------------------------------------------------------------------------------- /integration_tests/outer_join_verbose.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/outer_join_verbose.l -------------------------------------------------------------------------------- /integration_tests/outer_join_verbose_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/outer_join_verbose_test.txt -------------------------------------------------------------------------------- /integration_tests/population.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/population.csv -------------------------------------------------------------------------------- /integration_tests/ppq_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/ppq_test.l -------------------------------------------------------------------------------- /integration_tests/ppq_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/ppq_test.txt -------------------------------------------------------------------------------- /integration_tests/propositional_implication_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/propositional_implication_test.l -------------------------------------------------------------------------------- /integration_tests/propositional_implication_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/propositional_implication_test.txt -------------------------------------------------------------------------------- /integration_tests/psql_arg_min_max_k_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/psql_arg_min_max_k_test.l -------------------------------------------------------------------------------- /integration_tests/psql_arg_min_max_k_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/psql_arg_min_max_k_test.txt -------------------------------------------------------------------------------- /integration_tests/psql_arg_min_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/psql_arg_min_test.l -------------------------------------------------------------------------------- /integration_tests/psql_arg_min_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/psql_arg_min_test.txt -------------------------------------------------------------------------------- /integration_tests/psql_argmax2_combine_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/psql_argmax2_combine_test.l -------------------------------------------------------------------------------- /integration_tests/psql_argmax2_combine_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/psql_argmax2_combine_test.txt -------------------------------------------------------------------------------- /integration_tests/psql_argmin_list_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/psql_argmin_list_test.l -------------------------------------------------------------------------------- /integration_tests/psql_argmin_list_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/psql_argmin_list_test.txt -------------------------------------------------------------------------------- /integration_tests/psql_bool_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/psql_bool_test.l -------------------------------------------------------------------------------- /integration_tests/psql_combine2_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/psql_combine2_test.l -------------------------------------------------------------------------------- /integration_tests/psql_combine2_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/psql_combine2_test.txt -------------------------------------------------------------------------------- /integration_tests/psql_combine_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/psql_combine_test.l -------------------------------------------------------------------------------- /integration_tests/psql_combine_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/psql_combine_test.txt -------------------------------------------------------------------------------- /integration_tests/psql_explicit_typing_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/psql_explicit_typing_test.l -------------------------------------------------------------------------------- /integration_tests/psql_explicit_typing_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/psql_explicit_typing_test.txt -------------------------------------------------------------------------------- /integration_tests/psql_flow_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/psql_flow_test.l -------------------------------------------------------------------------------- /integration_tests/psql_flow_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/psql_flow_test.txt -------------------------------------------------------------------------------- /integration_tests/psql_game_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/psql_game_test.l -------------------------------------------------------------------------------- /integration_tests/psql_game_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/psql_game_test.txt -------------------------------------------------------------------------------- /integration_tests/psql_graph_coloring_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/psql_graph_coloring_test.l -------------------------------------------------------------------------------- /integration_tests/psql_graph_coloring_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/psql_graph_coloring_test.txt -------------------------------------------------------------------------------- /integration_tests/psql_pair_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/psql_pair_test.l -------------------------------------------------------------------------------- /integration_tests/psql_pair_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/psql_pair_test.txt -------------------------------------------------------------------------------- /integration_tests/psql_plusplus_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/psql_plusplus_test.l -------------------------------------------------------------------------------- /integration_tests/psql_plusplus_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/psql_plusplus_test.txt -------------------------------------------------------------------------------- /integration_tests/psql_purchase2_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/psql_purchase2_test.l -------------------------------------------------------------------------------- /integration_tests/psql_purchase2_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/psql_purchase2_test.txt -------------------------------------------------------------------------------- /integration_tests/psql_purchase3_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/psql_purchase3_test.l -------------------------------------------------------------------------------- /integration_tests/psql_purchase3_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/psql_purchase3_test.txt -------------------------------------------------------------------------------- /integration_tests/psql_purchase_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/psql_purchase_test.l -------------------------------------------------------------------------------- /integration_tests/psql_purchase_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/psql_purchase_test.txt -------------------------------------------------------------------------------- /integration_tests/psql_record_combine_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/psql_record_combine_test.l -------------------------------------------------------------------------------- /integration_tests/psql_record_combine_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/psql_record_combine_test.txt -------------------------------------------------------------------------------- /integration_tests/psql_recursion_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/psql_recursion_test.l -------------------------------------------------------------------------------- /integration_tests/psql_recursion_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/psql_recursion_test.txt -------------------------------------------------------------------------------- /integration_tests/psql_simple_structs_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/psql_simple_structs_test.l -------------------------------------------------------------------------------- /integration_tests/psql_simple_structs_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/psql_simple_structs_test.txt -------------------------------------------------------------------------------- /integration_tests/psql_single_arg_min.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/psql_single_arg_min.l -------------------------------------------------------------------------------- /integration_tests/psql_structs_ground_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/psql_structs_ground_test.l -------------------------------------------------------------------------------- /integration_tests/psql_structs_ground_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/psql_structs_ground_test.txt -------------------------------------------------------------------------------- /integration_tests/psql_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/psql_test.l -------------------------------------------------------------------------------- /integration_tests/psql_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/psql_test.txt -------------------------------------------------------------------------------- /integration_tests/psql_udf_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/psql_udf_test.l -------------------------------------------------------------------------------- /integration_tests/psql_udf_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/psql_udf_test.txt -------------------------------------------------------------------------------- /integration_tests/psql_win_move_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/psql_win_move_test.l -------------------------------------------------------------------------------- /integration_tests/psql_win_move_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/psql_win_move_test.txt -------------------------------------------------------------------------------- /integration_tests/psqld_empty_list_type_duck_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/psqld_empty_list_type_duck_test.txt -------------------------------------------------------------------------------- /integration_tests/psqld_empty_list_type_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/psqld_empty_list_type_test.l -------------------------------------------------------------------------------- /integration_tests/psqld_empty_list_type_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/psqld_empty_list_type_test.txt -------------------------------------------------------------------------------- /integration_tests/quote_escape_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/quote_escape_test.l -------------------------------------------------------------------------------- /integration_tests/quote_escape_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/quote_escape_test.txt -------------------------------------------------------------------------------- /integration_tests/reachability_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/reachability_test.l -------------------------------------------------------------------------------- /integration_tests/reachability_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/reachability_test.txt -------------------------------------------------------------------------------- /integration_tests/rec_cycle_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/rec_cycle_test.l -------------------------------------------------------------------------------- /integration_tests/rec_cycle_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/rec_cycle_test.txt -------------------------------------------------------------------------------- /integration_tests/rec_small_cycle_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/rec_small_cycle_test.l -------------------------------------------------------------------------------- /integration_tests/rec_small_cycle_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/rec_small_cycle_test.txt -------------------------------------------------------------------------------- /integration_tests/run_manual_tests.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/run_manual_tests.sh -------------------------------------------------------------------------------- /integration_tests/run_tests.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/run_tests.py -------------------------------------------------------------------------------- /integration_tests/simple_functors_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/simple_functors_test.l -------------------------------------------------------------------------------- /integration_tests/simple_functors_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/simple_functors_test.txt -------------------------------------------------------------------------------- /integration_tests/single_arg_min.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/single_arg_min.l -------------------------------------------------------------------------------- /integration_tests/sql_expr_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/sql_expr_test.l -------------------------------------------------------------------------------- /integration_tests/sql_expr_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/sql_expr_test.txt -------------------------------------------------------------------------------- /integration_tests/sql_string_table_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/sql_string_table_test.l -------------------------------------------------------------------------------- /integration_tests/sql_string_table_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/sql_string_table_test.txt -------------------------------------------------------------------------------- /integration_tests/sqlite_array_sub_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/sqlite_array_sub_test.l -------------------------------------------------------------------------------- /integration_tests/sqlite_array_sub_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/sqlite_array_sub_test.txt -------------------------------------------------------------------------------- /integration_tests/sqlite_array_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/sqlite_array_test.l -------------------------------------------------------------------------------- /integration_tests/sqlite_array_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/sqlite_array_test.txt -------------------------------------------------------------------------------- /integration_tests/sqlite_assignment_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/sqlite_assignment_test.l -------------------------------------------------------------------------------- /integration_tests/sqlite_assignment_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/sqlite_assignment_test.txt -------------------------------------------------------------------------------- /integration_tests/sqlite_combine_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/sqlite_combine_test.l -------------------------------------------------------------------------------- /integration_tests/sqlite_combine_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/sqlite_combine_test.txt -------------------------------------------------------------------------------- /integration_tests/sqlite_composite_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/sqlite_composite_test.l -------------------------------------------------------------------------------- /integration_tests/sqlite_composite_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/sqlite_composite_test.txt -------------------------------------------------------------------------------- /integration_tests/sqlite_deep_recursion_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/sqlite_deep_recursion_test.l -------------------------------------------------------------------------------- /integration_tests/sqlite_deep_recursion_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/sqlite_deep_recursion_test.txt -------------------------------------------------------------------------------- /integration_tests/sqlite_element_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/sqlite_element_test.l -------------------------------------------------------------------------------- /integration_tests/sqlite_element_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/sqlite_element_test.txt -------------------------------------------------------------------------------- /integration_tests/sqlite_file_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/sqlite_file_test.l -------------------------------------------------------------------------------- /integration_tests/sqlite_file_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/sqlite_file_test.txt -------------------------------------------------------------------------------- /integration_tests/sqlite_flat_recursion_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/sqlite_flat_recursion_test.l -------------------------------------------------------------------------------- /integration_tests/sqlite_flat_recursion_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/sqlite_flat_recursion_test.txt -------------------------------------------------------------------------------- /integration_tests/sqlite_funcs_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/sqlite_funcs_test.l -------------------------------------------------------------------------------- /integration_tests/sqlite_funcs_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/sqlite_funcs_test.txt -------------------------------------------------------------------------------- /integration_tests/sqlite_functor_over_constant_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/sqlite_functor_over_constant_test.l -------------------------------------------------------------------------------- /integration_tests/sqlite_functor_over_constant_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/sqlite_functor_over_constant_test.txt -------------------------------------------------------------------------------- /integration_tests/sqlite_functors_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/sqlite_functors_test.l -------------------------------------------------------------------------------- /integration_tests/sqlite_functors_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/sqlite_functors_test.txt -------------------------------------------------------------------------------- /integration_tests/sqlite_groupby_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/sqlite_groupby_test.l -------------------------------------------------------------------------------- /integration_tests/sqlite_groupby_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/sqlite_groupby_test.txt -------------------------------------------------------------------------------- /integration_tests/sqlite_in_expr_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/sqlite_in_expr_test.l -------------------------------------------------------------------------------- /integration_tests/sqlite_in_expr_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/sqlite_in_expr_test.txt -------------------------------------------------------------------------------- /integration_tests/sqlite_is_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/sqlite_is_test.l -------------------------------------------------------------------------------- /integration_tests/sqlite_is_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/sqlite_is_test.txt -------------------------------------------------------------------------------- /integration_tests/sqlite_math_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/sqlite_math_test.l -------------------------------------------------------------------------------- /integration_tests/sqlite_math_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/sqlite_math_test.txt -------------------------------------------------------------------------------- /integration_tests/sqlite_nil_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/sqlite_nil_test.l -------------------------------------------------------------------------------- /integration_tests/sqlite_nil_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/sqlite_nil_test.txt -------------------------------------------------------------------------------- /integration_tests/sqlite_pagerank.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/sqlite_pagerank.l -------------------------------------------------------------------------------- /integration_tests/sqlite_pagerank.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/sqlite_pagerank.txt -------------------------------------------------------------------------------- /integration_tests/sqlite_reachability.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/sqlite_reachability.l -------------------------------------------------------------------------------- /integration_tests/sqlite_reachability.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/sqlite_reachability.txt -------------------------------------------------------------------------------- /integration_tests/sqlite_rec_depth.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/sqlite_rec_depth.l -------------------------------------------------------------------------------- /integration_tests/sqlite_rec_depth.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/sqlite_rec_depth.txt -------------------------------------------------------------------------------- /integration_tests/sqlite_rec_functor.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/sqlite_rec_functor.l -------------------------------------------------------------------------------- /integration_tests/sqlite_rec_functor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/sqlite_rec_functor.txt -------------------------------------------------------------------------------- /integration_tests/sqlite_record_assembler.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/sqlite_record_assembler.l -------------------------------------------------------------------------------- /integration_tests/sqlite_record_assembler.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/sqlite_record_assembler.txt -------------------------------------------------------------------------------- /integration_tests/sqlite_records_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/sqlite_records_test.l -------------------------------------------------------------------------------- /integration_tests/sqlite_records_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/sqlite_records_test.txt -------------------------------------------------------------------------------- /integration_tests/sqlite_recursion.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/sqlite_recursion.l -------------------------------------------------------------------------------- /integration_tests/sqlite_recursion.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/sqlite_recursion.txt -------------------------------------------------------------------------------- /integration_tests/sqlite_shortest_path_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/sqlite_shortest_path_test.l -------------------------------------------------------------------------------- /integration_tests/sqlite_shortest_path_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/sqlite_shortest_path_test.txt -------------------------------------------------------------------------------- /integration_tests/sqlite_subquery_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/sqlite_subquery_test.l -------------------------------------------------------------------------------- /integration_tests/sqlite_subquery_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/sqlite_subquery_test.txt -------------------------------------------------------------------------------- /integration_tests/sqlite_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/sqlite_test.l -------------------------------------------------------------------------------- /integration_tests/sqlite_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/sqlite_test.txt -------------------------------------------------------------------------------- /integration_tests/sqlite_unwrapping_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/sqlite_unwrapping_test.l -------------------------------------------------------------------------------- /integration_tests/sqlite_unwrapping_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/sqlite_unwrapping_test.txt -------------------------------------------------------------------------------- /integration_tests/sqlite_winmove_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/sqlite_winmove_test.l -------------------------------------------------------------------------------- /integration_tests/sqlite_winmove_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/sqlite_winmove_test.txt -------------------------------------------------------------------------------- /integration_tests/strategic_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/strategic_test.l -------------------------------------------------------------------------------- /integration_tests/strategic_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/strategic_test.txt -------------------------------------------------------------------------------- /integration_tests/string_screening_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/string_screening_test.l -------------------------------------------------------------------------------- /integration_tests/string_screening_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/string_screening_test.txt -------------------------------------------------------------------------------- /integration_tests/sub_if_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/sub_if_test.l -------------------------------------------------------------------------------- /integration_tests/sub_if_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/sub_if_test.txt -------------------------------------------------------------------------------- /integration_tests/testrun_csv_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/testrun_csv_test.l -------------------------------------------------------------------------------- /integration_tests/testrun_csv_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/testrun_csv_test.txt -------------------------------------------------------------------------------- /integration_tests/udf_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/udf_test.l -------------------------------------------------------------------------------- /integration_tests/udf_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/udf_test.txt -------------------------------------------------------------------------------- /integration_tests/ultra_short_cycle_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/ultra_short_cycle_test.l -------------------------------------------------------------------------------- /integration_tests/ultra_short_cycle_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/ultra_short_cycle_test.txt -------------------------------------------------------------------------------- /integration_tests/unary_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/unary_test.l -------------------------------------------------------------------------------- /integration_tests/unary_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/unary_test.txt -------------------------------------------------------------------------------- /integration_tests/unification_priority_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/unification_priority_test.l -------------------------------------------------------------------------------- /integration_tests/unification_priority_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/unification_priority_test.txt -------------------------------------------------------------------------------- /integration_tests/unnest_order_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/unnest_order_test.l -------------------------------------------------------------------------------- /integration_tests/unnest_order_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/unnest_order_test.txt -------------------------------------------------------------------------------- /integration_tests/with_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/with_test.l -------------------------------------------------------------------------------- /integration_tests/with_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/integration_tests/with_test.txt -------------------------------------------------------------------------------- /lib/closure.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/lib/closure.l -------------------------------------------------------------------------------- /lib/random.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/lib/random.l -------------------------------------------------------------------------------- /lib/reachability.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/lib/reachability.l -------------------------------------------------------------------------------- /logica: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/logica -------------------------------------------------------------------------------- /logica.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/logica.py -------------------------------------------------------------------------------- /parser_py/parse.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/parser_py/parse.py -------------------------------------------------------------------------------- /run_all_tests.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/run_all_tests.py -------------------------------------------------------------------------------- /syntax/sublime/logica.sublime-syntax: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/syntax/sublime/logica.sublime-syntax -------------------------------------------------------------------------------- /syntax/vim/ftdetect/logica.vim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/syntax/vim/ftdetect/logica.vim -------------------------------------------------------------------------------- /syntax/vim/syntax/logica.vim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/syntax/vim/syntax/logica.vim -------------------------------------------------------------------------------- /syntax/vscode/.gitignore: -------------------------------------------------------------------------------- 1 | node_modules 2 | *.vsix -------------------------------------------------------------------------------- /syntax/vscode/.vscode/launch.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/syntax/vscode/.vscode/launch.json -------------------------------------------------------------------------------- /syntax/vscode/.vscodeignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/syntax/vscode/.vscodeignore -------------------------------------------------------------------------------- /syntax/vscode/CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/syntax/vscode/CHANGELOG.md -------------------------------------------------------------------------------- /syntax/vscode/DEV.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/syntax/vscode/DEV.md -------------------------------------------------------------------------------- /syntax/vscode/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/syntax/vscode/README.md -------------------------------------------------------------------------------- /syntax/vscode/images/LogicaFile.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/syntax/vscode/images/LogicaFile.svg -------------------------------------------------------------------------------- /syntax/vscode/images/LogicaIcon.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/syntax/vscode/images/LogicaIcon.svg -------------------------------------------------------------------------------- /syntax/vscode/images/Logica_Icon.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/syntax/vscode/images/Logica_Icon.png -------------------------------------------------------------------------------- /syntax/vscode/language-configuration.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/syntax/vscode/language-configuration.json -------------------------------------------------------------------------------- /syntax/vscode/logica-icon-theme.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/syntax/vscode/logica-icon-theme.json -------------------------------------------------------------------------------- /syntax/vscode/package-lock.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/syntax/vscode/package-lock.json -------------------------------------------------------------------------------- /syntax/vscode/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/syntax/vscode/package.json -------------------------------------------------------------------------------- /syntax/vscode/src/logica.tmLanguage.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/syntax/vscode/src/logica.tmLanguage.yaml -------------------------------------------------------------------------------- /syntax/vscode/syntaxes/logica.tmLanguage.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/syntax/vscode/syntaxes/logica.tmLanguage.json -------------------------------------------------------------------------------- /tools/avatar.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/tools/avatar.py -------------------------------------------------------------------------------- /tools/proposition_repl.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/tools/proposition_repl.py -------------------------------------------------------------------------------- /tools/run_in_terminal.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/tools/run_in_terminal.py -------------------------------------------------------------------------------- /tutorial/Logica_DuckDB_tutorial.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/tutorial/Logica_DuckDB_tutorial.ipynb -------------------------------------------------------------------------------- /tutorial/Logica_tutorial.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/tutorial/Logica_tutorial.ipynb -------------------------------------------------------------------------------- /type_inference/bad_schema_exception.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/type_inference/bad_schema_exception.py -------------------------------------------------------------------------------- /type_inference/bq_type_parser.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/type_inference/bq_type_parser.py -------------------------------------------------------------------------------- /type_inference/bq_type_retrieval_service.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/type_inference/bq_type_retrieval_service.py -------------------------------------------------------------------------------- /type_inference/bq_type_retriever.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/type_inference/bq_type_retriever.py -------------------------------------------------------------------------------- /type_inference/built_in_functions_types.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/type_inference/built_in_functions_types.py -------------------------------------------------------------------------------- /type_inference/inspectors/inspector_base.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/type_inference/inspectors/inspector_base.py -------------------------------------------------------------------------------- /type_inference/inspectors/postgres_inspector.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/type_inference/inspectors/postgres_inspector.py -------------------------------------------------------------------------------- /type_inference/inspectors/sqlite_inspector.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/type_inference/inspectors/sqlite_inspector.py -------------------------------------------------------------------------------- /type_inference/inspectors/table_not_exist_exception.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/type_inference/inspectors/table_not_exist_exception.py -------------------------------------------------------------------------------- /type_inference/intersection.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/type_inference/intersection.py -------------------------------------------------------------------------------- /type_inference/psql_type_parser.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/type_inference/psql_type_parser.py -------------------------------------------------------------------------------- /type_inference/psql_type_retrieval_service.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/type_inference/psql_type_retrieval_service.py -------------------------------------------------------------------------------- /type_inference/psql_type_retriever.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/type_inference/psql_type_retriever.py -------------------------------------------------------------------------------- /type_inference/research/algebra.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/type_inference/research/algebra.py -------------------------------------------------------------------------------- /type_inference/research/infer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/type_inference/research/infer.py -------------------------------------------------------------------------------- /type_inference/research/integration_tests/run_tests.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/type_inference/research/integration_tests/run_tests.py -------------------------------------------------------------------------------- /type_inference/research/integration_tests/typing_aggregation_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/type_inference/research/integration_tests/typing_aggregation_test.l -------------------------------------------------------------------------------- /type_inference/research/integration_tests/typing_aggregation_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/type_inference/research/integration_tests/typing_aggregation_test.txt -------------------------------------------------------------------------------- /type_inference/research/integration_tests/typing_basic_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/type_inference/research/integration_tests/typing_basic_test.l -------------------------------------------------------------------------------- /type_inference/research/integration_tests/typing_basic_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/type_inference/research/integration_tests/typing_basic_test.txt -------------------------------------------------------------------------------- /type_inference/research/integration_tests/typing_combine2_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/type_inference/research/integration_tests/typing_combine2_test.l -------------------------------------------------------------------------------- /type_inference/research/integration_tests/typing_combine2_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/type_inference/research/integration_tests/typing_combine2_test.txt -------------------------------------------------------------------------------- /type_inference/research/integration_tests/typing_combines_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/type_inference/research/integration_tests/typing_combines_test.l -------------------------------------------------------------------------------- /type_inference/research/integration_tests/typing_combines_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/type_inference/research/integration_tests/typing_combines_test.txt -------------------------------------------------------------------------------- /type_inference/research/integration_tests/typing_kitchensync_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/type_inference/research/integration_tests/typing_kitchensync_test.l -------------------------------------------------------------------------------- /type_inference/research/integration_tests/typing_kitchensync_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/type_inference/research/integration_tests/typing_kitchensync_test.txt -------------------------------------------------------------------------------- /type_inference/research/integration_tests/typing_lists_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/type_inference/research/integration_tests/typing_lists_test.l -------------------------------------------------------------------------------- /type_inference/research/integration_tests/typing_lists_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/type_inference/research/integration_tests/typing_lists_test.txt -------------------------------------------------------------------------------- /type_inference/research/integration_tests/typing_nested_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/type_inference/research/integration_tests/typing_nested_test.l -------------------------------------------------------------------------------- /type_inference/research/integration_tests/typing_nested_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/type_inference/research/integration_tests/typing_nested_test.txt -------------------------------------------------------------------------------- /type_inference/research/integration_tests/typing_palindrome_puzzle_test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/type_inference/research/integration_tests/typing_palindrome_puzzle_test.l -------------------------------------------------------------------------------- /type_inference/research/integration_tests/typing_palindrome_puzzle_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/type_inference/research/integration_tests/typing_palindrome_puzzle_test.txt -------------------------------------------------------------------------------- /type_inference/research/meta_types.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/type_inference/research/meta_types.py -------------------------------------------------------------------------------- /type_inference/research/meta_types_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/type_inference/research/meta_types_test.py -------------------------------------------------------------------------------- /type_inference/research/reference_algebra.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/type_inference/research/reference_algebra.py -------------------------------------------------------------------------------- /type_inference/research/types_of_builtins.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/type_inference/research/types_of_builtins.py -------------------------------------------------------------------------------- /type_inference/tests/db_interaction_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/type_inference/tests/db_interaction_test.py -------------------------------------------------------------------------------- /type_inference/tests/integration_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/type_inference/tests/integration_test.py -------------------------------------------------------------------------------- /type_inference/tests/intersection_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/type_inference/tests/intersection_test.py -------------------------------------------------------------------------------- /type_inference/tests/type_inference_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/type_inference/tests/type_inference_test.py -------------------------------------------------------------------------------- /type_inference/tests/types_graph_building_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/type_inference/tests/types_graph_building_test.py -------------------------------------------------------------------------------- /type_inference/type_inference_exception.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/type_inference/type_inference_exception.py -------------------------------------------------------------------------------- /type_inference/type_inference_service.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/type_inference/type_inference_service.py -------------------------------------------------------------------------------- /type_inference/type_retrieval_exception.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/type_inference/type_retrieval_exception.py -------------------------------------------------------------------------------- /type_inference/type_retrieval_service_base.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/type_inference/type_retrieval_service_base.py -------------------------------------------------------------------------------- /type_inference/type_retrieval_service_discovery.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/type_inference/type_retrieval_service_discovery.py -------------------------------------------------------------------------------- /type_inference/type_retriever_base.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/type_inference/type_retriever_base.py -------------------------------------------------------------------------------- /type_inference/types/edge.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/type_inference/types/edge.py -------------------------------------------------------------------------------- /type_inference/types/expression.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/type_inference/types/expression.py -------------------------------------------------------------------------------- /type_inference/types/types_graph.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/type_inference/types/types_graph.py -------------------------------------------------------------------------------- /type_inference/types/variable_types.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/type_inference/types/variable_types.py -------------------------------------------------------------------------------- /type_inference/types_graph_builder.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/type_inference/types_graph_builder.py -------------------------------------------------------------------------------- /type_inference/unknown_bigquery_type_exception.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/type_inference/unknown_bigquery_type_exception.py -------------------------------------------------------------------------------- /type_inference/unsupported_engine_exception.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EvgSkv/logica/HEAD/type_inference/unsupported_engine_exception.py --------------------------------------------------------------------------------