LICENSE
MANIFEST.in
README.md
pyproject.toml
setup.py
clausal/__init__.py
clausal/__main__.py
clausal/_install_ipython.py
clausal/_lazy_hook.py
clausal/codegen.py
clausal/import_hook.py
clausal/python_repl.py
clausal/pythonic_terms.py
clausal/reflection.py
clausal/regex.py
clausal/repl.py
clausal/terms.py
clausal/testing.py
clausal.egg-info/PKG-INFO
clausal.egg-info/SOURCES.txt
clausal.egg-info/dependency_links.txt
clausal.egg-info/entry_points.txt
clausal.egg-info/requires.txt
clausal.egg-info/top_level.txt
clausal/logic/__init__.py
clausal/logic/_arithmetic_core.c
clausal/logic/_clpb_core.c
clausal/logic/_clpfd_core.c
clausal/logic/_clpfd_propagate.c
clausal/logic/_clpr_core.c
clausal/logic/_constraints_dif.c
clausal/logic/_lists_core.c
clausal/logic/_tabling_core.c
clausal/logic/clpb.py
clausal/logic/clpfd.py
clausal/logic/clportools.py
clausal/logic/clportools_graph.py
clausal/logic/clportools_lp.py
clausal/logic/clportools_routing.py
clausal/logic/clpq.py
clausal/logic/clpr.py
clausal/logic/clpsat.py
clausal/logic/clpz3.py
clausal/logic/compiler_v2.py
clausal/logic/constraints.py
clausal/logic/continuation_search.py
clausal/logic/coroutining.py
clausal/logic/database.py
clausal/logic/exceptions.py
clausal/logic/goal_expansion.py
clausal/logic/predicate.py
clausal/logic/reif.py
clausal/logic/solve.py
clausal/logic/specialization.py
clausal/logic/tabling.py
clausal/logic/term_expansion.py
clausal/logic/trampoline.py
clausal/logic/translations.py
clausal/logic/units_constraint.py
clausal/logic/builtins/__init__.py
clausal/logic/builtins/_chars_core.c
clausal/logic/builtins/_helpers.py
clausal/logic/builtins/_registry.py
clausal/logic/builtins/arithmetic.py
clausal/logic/builtins/attributes.py
clausal/logic/builtins/chars.py
clausal/logic/builtins/constraints.py
clausal/logic/builtins/control.py
clausal/logic/builtins/database_ops.py
clausal/logic/builtins/dcg.py
clausal/logic/builtins/dict_set.py
clausal/logic/builtins/higher_order.py
clausal/logic/builtins/inspection.py
clausal/logic/builtins/io.py
clausal/logic/builtins/keyword_ops.py
clausal/logic/builtins/lists.py
clausal/logic/builtins/ortools_constraints.py
clausal/logic/builtins/pairs.py
clausal/logic/builtins/sat_constraints.py
clausal/logic/builtins/translations_builtin.py
clausal/logic/builtins/type_checks.py
clausal/logic/builtins/z3_constraints.py
clausal/logic/compiler/__init__.py
clausal/logic/compiler/_ast_helpers.py
clausal/logic/compiler/_lower_goalop_shared.py
clausal/logic/compiler/_vars.py
clausal/logic/compiler/arg_index.py
clausal/logic/compiler/compile_ctx.py
clausal/logic/compiler/control_constructs.py
clausal/logic/compiler/destructive_reuse.py
clausal/logic/compiler/globals_env.py
clausal/logic/compiler/goal_shallow.py
clausal/logic/compiler/goal_trampoline.py
clausal/logic/compiler/head_match.py
clausal/logic/compiler/invariants.py
clausal/logic/compiler/ir.py
clausal/logic/compiler/ite_reified.py
clausal/logic/compiler/list_dispatch.py
clausal/logic/compiler/lower_python_shallow.py
clausal/logic/compiler/lower_python_trampoline.py
clausal/logic/compiler/predicate.py
clausal/logic/compiler/star_segments.py
clausal/logic/compiler/strategy.py
clausal/logic/compiler/tabled_naf.py
clausal/logic/compiler/terms_to_ast.py
clausal/logic/compiler/terms_to_goalop.py
clausal/logic/compiler/tro.py
clausal/logic/compiler/optimisations/__init__.py
clausal/logic/compiler/optimisations/call_site.py
clausal/logic/compiler/optimisations/continuation_tco.py
clausal/logic/compiler/optimisations/destructive_reuse.py
clausal/logic/compiler/optimisations/tro.py
clausal/logic/runtime/__init__.py
clausal/logic/runtime/_list_unify.c
clausal/logic/runtime/_seg_helpers.py
clausal/logic/runtime/_trampoline.c
clausal/logic/runtime/body_star_unify.py
clausal/logic/runtime/dict_ops.py
clausal/logic/runtime/list_unify.py
clausal/logic/runtime/tramp_call.py
clausal/logic/variables/__init__.py
clausal/logic/variables/_variables.c
clausal/modules/__init__.py
clausal/modules/graphs.py
clausal/modules/imperial.py
clausal/modules/prolog.py
clausal/modules/reflection.py
clausal/modules/units.py
clausal/modules/py/__init__.py
clausal/modules/py/_helpers.py
clausal/modules/py/csv.py
clausal/modules/py/datetime.py
clausal/modules/py/files.py
clausal/modules/py/hash.py
clausal/modules/py/hmac.py
clausal/modules/py/http.py
clausal/modules/py/imperial.py
clausal/modules/py/json.py
clausal/modules/py/logging.py
clausal/modules/py/os.py
clausal/modules/py/pbkdf2.py
clausal/modules/py/process.py
clausal/modules/py/random.py
clausal/modules/py/re.py
clausal/modules/py/sqlite.py
clausal/modules/py/tcp.py
clausal/modules/py/units.py
clausal/modules/py/url.py
clausal/modules/py/uuid.py
clausal/pythonic_ast/__init__.py
clausal/pythonic_ast/conversion_from_python_ast.py
clausal/pythonic_ast/node_class.py
clausal/pythonic_ast/nodes.py
clausal/pythonic_ast/transform.py
clausal/stdlib/__init__.py
clausal/templating/__init__.py
clausal/templating/compiler.py
clausal/templating/parser.py
clausal/templating/term_rewriting.py
clausal/tools/__init__.py
clausal/tools/clausal_to_prolog.py
clausal/tools/clear_pycache.py
clausal/tools/doc_snippet_check.py
clausal/tools/dump_transformed.py
clausal/tools/prolog_ast.py
clausal/tools/prolog_dialect.py
clausal/tools/prolog_operators.py
clausal/tools/prolog_parser.py
clausal/tools/prolog_to_clausal.py
clausal/tools/prolog_tokenizer.py
clausal/tools/translate.py
clausal/tools/visualize.py
tests/test_atom_shadowing.py
tests/test_attributes.py
tests/test_bare_goal_variable.py
tests/test_body_star_decon.py
tests/test_bucket_refs_ir_parallel.py
tests/test_builtin_classes.py
tests/test_builtins.py
tests/test_bytes_adversarial.py
tests/test_bytes_dcg.py
tests/test_bytes_doc_examples.py
tests/test_bytes_head_dispatch.py
tests/test_bytes_helpers_fallback.py
tests/test_bytes_indexing.py
tests/test_bytes_list_builtins.py
tests/test_bytes_list_unification.py
tests/test_bytes_patterns.py
tests/test_bytes_seg_runtime.py
tests/test_bytes_type_checks.py
tests/test_callsite_imported_ground_call.py
tests/test_callsite_specialization.py
tests/test_chars.py
tests/test_clausal_modules.py
tests/test_clpb.py
tests/test_clpfd.py
tests/test_clportools.py
tests/test_clportools_lp.py
tests/test_clpq.py
tests/test_clpq_module.py
tests/test_clpr.py
tests/test_clpsat.py
tests/test_clpz.py
tests/test_clpz3.py
tests/test_clpz3_bool.py
tests/test_clpz3_bv.py
tests/test_clpz3_diag.py
tests/test_clpz3_int.py
tests/test_clpz3_opt.py
tests/test_clpz3_propagate.py
tests/test_clpz3_real.py
tests/test_clpz3_theories.py
tests/test_clpz_bignum.py
tests/test_codegen.py
tests/test_comma_separated_rules.py
tests/test_compiled_programs.py
tests/test_compiler.py
tests/test_compiler_goals.py
tests/test_compiler_optimizations.py
tests/test_compiler_trampoline.py
tests/test_compiler_v2.py
tests/test_continuation_search.py
tests/test_control.py
tests/test_coroutining.py
tests/test_crypto_modules.py
tests/test_csv_module.py
tests/test_database.py
tests/test_date_time.py
tests/test_date_time_ordering.py
tests/test_dcg.py
tests/test_deep_indexing.py
tests/test_destructive_reuse.py
tests/test_dict_set_builtins.py
tests/test_dict_set_compiler.py
tests/test_dict_set_terms.py
tests/test_dif.py
tests/test_directives.py
tests/test_doc_snippet_coverage.py
tests/test_doc_snippet_integrity.py
tests/test_edcg.py
tests/test_exceptions.py
tests/test_files_module.py
tests/test_first_arg_index.py
tests/test_free_threading.py
tests/test_gc_choicepoint_trail_safety.py
tests/test_global_atoms_default.py
tests/test_global_constraints.py
tests/test_groundness_dispatch.py
tests/test_head_match_imported_compound.py
tests/test_higher_order.py
tests/test_http_module.py
tests/test_import.py
tests/test_invariant_errors.py
tests/test_io.py
tests/test_ipython_integration.py
tests/test_json_module.py
tests/test_jupyter_integration.py
tests/test_lambdas.py
tests/test_lint_is_not_pattern.py
tests/test_list_util.py
tests/test_listing.py
tests/test_logging_module.py
tests/test_low_level_db_mutation_sync.py
tests/test_meta.py
tests/test_metainterpreters.py
tests/test_module_imports.py
tests/test_mutable_dict_set.py
tests/test_numeric_head_literal.py
tests/test_optimisations_call_site.py
tests/test_optimisations_dr.py
tests/test_optimisations_toggle.py
tests/test_optimisations_toggle_matrix.py
tests/test_optimisations_tro.py
tests/test_os_module.py
tests/test_package_init_resolution.py
tests/test_phase5_builtins.py
tests/test_predicate_meta.py
tests/test_process_module.py
tests/test_prolog_ast.py
tests/test_prolog_dialect.py
tests/test_prolog_emit.py
tests/test_prolog_fix_review.py
tests/test_prolog_golden.py
tests/test_prolog_import.py
tests/test_prolog_operators.py
tests/test_prolog_parse.py
tests/test_prolog_roundtrip.py
tests/test_prolog_to_clausal.py
tests/test_pycache.py
tests/test_python_fallbacks.py
tests/test_python_interop.py
tests/test_python_repl.py
tests/test_query_arg_parameterization.py
tests/test_query_cache_value_isolation.py
tests/test_random_module.py
tests/test_reflection.py
tests/test_reflection_builtins.py
tests/test_reflection_sugar.py
tests/test_regex.py
tests/test_reif_builtins.py
tests/test_reified_ite.py
tests/test_repl.py
tests/test_repl_integration.py
tests/test_resolve_and_argkey.py
tests/test_reverse_bidirectional.py
tests/test_runtime_compiler_boundary.py
tests/test_search.py
tests/test_secondary_dispatch_tro.py
tests/test_segbytes.py
tests/test_seglist_core.py
tests/test_seglist_creation.py
tests/test_seglist_passthrough.py
tests/test_segstring.py
tests/test_simple_ast.py
tests/test_slg_termination.py
tests/test_solve.py
tests/test_source_locations.py
tests/test_specialization.py
tests/test_specialization_pipeline.py
tests/test_sqlite.py
tests/test_string_head_patterns.py
tests/test_string_higher_order.py
tests/test_string_list_builtins.py
tests/test_string_list_unification.py
tests/test_structural_head_normalization.py
tests/test_structural_head_output_mode.py
tests/test_tabling.py
tests/test_tail_recursion.py
tests/test_tcp_module.py
tests/test_template_compiler.py
tests/test_term_expansion.py
tests/test_term_html.py
tests/test_term_inspection.py
tests/test_term_rewriting.py
tests/test_terms.py
tests/test_terms_to_goalop.py
tests/test_testing_cli.py
tests/test_trail_elision.py
tests/test_transform_nodes.py
tests/test_transitive_py_module_import.py
tests/test_translations.py
tests/test_unify.py
tests/test_units.py
tests/test_uuid_module.py
tests/test_variables.py
tests/test_walk_goal_ops_deep.py
tests/test_wfs.py
tests/test_z3_docs.py
tests/test_z3_module.py
tests/test_zz_d6c_extras_audit.py