├── .coveragerc ├── .github └── workflows │ └── ci.yaml ├── .gitignore ├── .readthedocs.yaml ├── CHANGELOG.md ├── CITATION.cff ├── Cargo.toml ├── LICENSE ├── README.md ├── docs ├── _static │ └── .gitkeep ├── api │ ├── logical_types.rst │ ├── prover.rst │ └── similarity.rst ├── conf.py ├── contributing.rst ├── index.rst └── usage.rst ├── pyproject.toml ├── setup.cfg ├── src ├── lib.rs ├── prover │ ├── mod.rs │ ├── operations │ │ ├── mod.rs │ │ ├── resolve.rs │ │ └── unify.rs │ ├── proof.rs │ ├── proof_context.rs │ ├── proof_stats.rs │ ├── proof_step.rs │ ├── resolution_prover.rs │ └── similarity_cache.rs ├── test_utils.rs ├── types.rs └── util │ ├── find_variables_in_terms.rs │ ├── mod.rs │ └── py_arc_item.rs ├── tensor_theorem_prover ├── __init__.py ├── _rust │ └── __init__.pyi ├── normalize │ ├── Skolemizer.py │ ├── __init__.py │ ├── find_unbound_var_names.py │ ├── normalize_conjunctions.py │ ├── normalize_quantifiers.py │ ├── normalize_variables.py │ ├── to_cnf.py │ └── to_nnf.py ├── prover │ ├── Proof.py │ ├── ProofStats.py │ ├── ProofStep.py │ ├── ResolutionProver.py │ └── __init__.py ├── py.typed ├── similarity.py └── types │ ├── Atom.py │ ├── Constant.py │ ├── Function.py │ ├── Predicate.py │ ├── Term.py │ ├── Variable.py │ ├── __init__.py │ └── connectives.py └── tests ├── __init__.py ├── amr_logic_batch.pickle ├── helpers.py ├── logic.pickle ├── normalize ├── test_find_unbound_variables.py ├── test_normalize_conjunctions.py ├── test_normalize_quantifiers.py ├── test_normalize_variables.py ├── test_to_cnf.py └── test_to_nnf.py ├── prover └── test_ResolutionProver.py ├── test_performance.py ├── test_similarity.py ├── test_tensor_theorem_prover.py └── types └── test_connectives.py /.coveragerc: -------------------------------------------------------------------------------- 1 | [run] 2 | omit = tests/*,docs/* -------------------------------------------------------------------------------- /.github/workflows/ci.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chanind/tensor-theorem-prover/HEAD/.github/workflows/ci.yaml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chanind/tensor-theorem-prover/HEAD/.gitignore -------------------------------------------------------------------------------- /.readthedocs.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chanind/tensor-theorem-prover/HEAD/.readthedocs.yaml -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chanind/tensor-theorem-prover/HEAD/CHANGELOG.md -------------------------------------------------------------------------------- /CITATION.cff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chanind/tensor-theorem-prover/HEAD/CITATION.cff -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chanind/tensor-theorem-prover/HEAD/Cargo.toml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chanind/tensor-theorem-prover/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chanind/tensor-theorem-prover/HEAD/README.md -------------------------------------------------------------------------------- /docs/_static/.gitkeep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /docs/api/logical_types.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chanind/tensor-theorem-prover/HEAD/docs/api/logical_types.rst -------------------------------------------------------------------------------- /docs/api/prover.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chanind/tensor-theorem-prover/HEAD/docs/api/prover.rst -------------------------------------------------------------------------------- /docs/api/similarity.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chanind/tensor-theorem-prover/HEAD/docs/api/similarity.rst -------------------------------------------------------------------------------- /docs/conf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chanind/tensor-theorem-prover/HEAD/docs/conf.py -------------------------------------------------------------------------------- /docs/contributing.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chanind/tensor-theorem-prover/HEAD/docs/contributing.rst -------------------------------------------------------------------------------- /docs/index.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chanind/tensor-theorem-prover/HEAD/docs/index.rst -------------------------------------------------------------------------------- /docs/usage.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chanind/tensor-theorem-prover/HEAD/docs/usage.rst -------------------------------------------------------------------------------- /pyproject.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chanind/tensor-theorem-prover/HEAD/pyproject.toml -------------------------------------------------------------------------------- /setup.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chanind/tensor-theorem-prover/HEAD/setup.cfg -------------------------------------------------------------------------------- /src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chanind/tensor-theorem-prover/HEAD/src/lib.rs -------------------------------------------------------------------------------- /src/prover/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chanind/tensor-theorem-prover/HEAD/src/prover/mod.rs -------------------------------------------------------------------------------- /src/prover/operations/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chanind/tensor-theorem-prover/HEAD/src/prover/operations/mod.rs -------------------------------------------------------------------------------- /src/prover/operations/resolve.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chanind/tensor-theorem-prover/HEAD/src/prover/operations/resolve.rs -------------------------------------------------------------------------------- /src/prover/operations/unify.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chanind/tensor-theorem-prover/HEAD/src/prover/operations/unify.rs -------------------------------------------------------------------------------- /src/prover/proof.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chanind/tensor-theorem-prover/HEAD/src/prover/proof.rs -------------------------------------------------------------------------------- /src/prover/proof_context.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chanind/tensor-theorem-prover/HEAD/src/prover/proof_context.rs -------------------------------------------------------------------------------- /src/prover/proof_stats.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chanind/tensor-theorem-prover/HEAD/src/prover/proof_stats.rs -------------------------------------------------------------------------------- /src/prover/proof_step.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chanind/tensor-theorem-prover/HEAD/src/prover/proof_step.rs -------------------------------------------------------------------------------- /src/prover/resolution_prover.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chanind/tensor-theorem-prover/HEAD/src/prover/resolution_prover.rs -------------------------------------------------------------------------------- /src/prover/similarity_cache.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chanind/tensor-theorem-prover/HEAD/src/prover/similarity_cache.rs -------------------------------------------------------------------------------- /src/test_utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chanind/tensor-theorem-prover/HEAD/src/test_utils.rs -------------------------------------------------------------------------------- /src/types.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chanind/tensor-theorem-prover/HEAD/src/types.rs -------------------------------------------------------------------------------- /src/util/find_variables_in_terms.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chanind/tensor-theorem-prover/HEAD/src/util/find_variables_in_terms.rs -------------------------------------------------------------------------------- /src/util/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chanind/tensor-theorem-prover/HEAD/src/util/mod.rs -------------------------------------------------------------------------------- /src/util/py_arc_item.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chanind/tensor-theorem-prover/HEAD/src/util/py_arc_item.rs -------------------------------------------------------------------------------- /tensor_theorem_prover/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chanind/tensor-theorem-prover/HEAD/tensor_theorem_prover/__init__.py -------------------------------------------------------------------------------- /tensor_theorem_prover/_rust/__init__.pyi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chanind/tensor-theorem-prover/HEAD/tensor_theorem_prover/_rust/__init__.pyi -------------------------------------------------------------------------------- /tensor_theorem_prover/normalize/Skolemizer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chanind/tensor-theorem-prover/HEAD/tensor_theorem_prover/normalize/Skolemizer.py -------------------------------------------------------------------------------- /tensor_theorem_prover/normalize/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chanind/tensor-theorem-prover/HEAD/tensor_theorem_prover/normalize/__init__.py -------------------------------------------------------------------------------- /tensor_theorem_prover/normalize/find_unbound_var_names.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chanind/tensor-theorem-prover/HEAD/tensor_theorem_prover/normalize/find_unbound_var_names.py -------------------------------------------------------------------------------- /tensor_theorem_prover/normalize/normalize_conjunctions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chanind/tensor-theorem-prover/HEAD/tensor_theorem_prover/normalize/normalize_conjunctions.py -------------------------------------------------------------------------------- /tensor_theorem_prover/normalize/normalize_quantifiers.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chanind/tensor-theorem-prover/HEAD/tensor_theorem_prover/normalize/normalize_quantifiers.py -------------------------------------------------------------------------------- /tensor_theorem_prover/normalize/normalize_variables.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chanind/tensor-theorem-prover/HEAD/tensor_theorem_prover/normalize/normalize_variables.py -------------------------------------------------------------------------------- /tensor_theorem_prover/normalize/to_cnf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chanind/tensor-theorem-prover/HEAD/tensor_theorem_prover/normalize/to_cnf.py -------------------------------------------------------------------------------- /tensor_theorem_prover/normalize/to_nnf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chanind/tensor-theorem-prover/HEAD/tensor_theorem_prover/normalize/to_nnf.py -------------------------------------------------------------------------------- /tensor_theorem_prover/prover/Proof.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chanind/tensor-theorem-prover/HEAD/tensor_theorem_prover/prover/Proof.py -------------------------------------------------------------------------------- /tensor_theorem_prover/prover/ProofStats.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chanind/tensor-theorem-prover/HEAD/tensor_theorem_prover/prover/ProofStats.py -------------------------------------------------------------------------------- /tensor_theorem_prover/prover/ProofStep.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chanind/tensor-theorem-prover/HEAD/tensor_theorem_prover/prover/ProofStep.py -------------------------------------------------------------------------------- /tensor_theorem_prover/prover/ResolutionProver.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chanind/tensor-theorem-prover/HEAD/tensor_theorem_prover/prover/ResolutionProver.py -------------------------------------------------------------------------------- /tensor_theorem_prover/prover/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chanind/tensor-theorem-prover/HEAD/tensor_theorem_prover/prover/__init__.py -------------------------------------------------------------------------------- /tensor_theorem_prover/py.typed: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tensor_theorem_prover/similarity.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chanind/tensor-theorem-prover/HEAD/tensor_theorem_prover/similarity.py -------------------------------------------------------------------------------- /tensor_theorem_prover/types/Atom.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chanind/tensor-theorem-prover/HEAD/tensor_theorem_prover/types/Atom.py -------------------------------------------------------------------------------- /tensor_theorem_prover/types/Constant.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chanind/tensor-theorem-prover/HEAD/tensor_theorem_prover/types/Constant.py -------------------------------------------------------------------------------- /tensor_theorem_prover/types/Function.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chanind/tensor-theorem-prover/HEAD/tensor_theorem_prover/types/Function.py -------------------------------------------------------------------------------- /tensor_theorem_prover/types/Predicate.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chanind/tensor-theorem-prover/HEAD/tensor_theorem_prover/types/Predicate.py -------------------------------------------------------------------------------- /tensor_theorem_prover/types/Term.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chanind/tensor-theorem-prover/HEAD/tensor_theorem_prover/types/Term.py -------------------------------------------------------------------------------- /tensor_theorem_prover/types/Variable.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chanind/tensor-theorem-prover/HEAD/tensor_theorem_prover/types/Variable.py -------------------------------------------------------------------------------- /tensor_theorem_prover/types/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chanind/tensor-theorem-prover/HEAD/tensor_theorem_prover/types/__init__.py -------------------------------------------------------------------------------- /tensor_theorem_prover/types/connectives.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chanind/tensor-theorem-prover/HEAD/tensor_theorem_prover/types/connectives.py -------------------------------------------------------------------------------- /tests/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/amr_logic_batch.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chanind/tensor-theorem-prover/HEAD/tests/amr_logic_batch.pickle -------------------------------------------------------------------------------- /tests/helpers.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chanind/tensor-theorem-prover/HEAD/tests/helpers.py -------------------------------------------------------------------------------- /tests/logic.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chanind/tensor-theorem-prover/HEAD/tests/logic.pickle -------------------------------------------------------------------------------- /tests/normalize/test_find_unbound_variables.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chanind/tensor-theorem-prover/HEAD/tests/normalize/test_find_unbound_variables.py -------------------------------------------------------------------------------- /tests/normalize/test_normalize_conjunctions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chanind/tensor-theorem-prover/HEAD/tests/normalize/test_normalize_conjunctions.py -------------------------------------------------------------------------------- /tests/normalize/test_normalize_quantifiers.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chanind/tensor-theorem-prover/HEAD/tests/normalize/test_normalize_quantifiers.py -------------------------------------------------------------------------------- /tests/normalize/test_normalize_variables.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chanind/tensor-theorem-prover/HEAD/tests/normalize/test_normalize_variables.py -------------------------------------------------------------------------------- /tests/normalize/test_to_cnf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chanind/tensor-theorem-prover/HEAD/tests/normalize/test_to_cnf.py -------------------------------------------------------------------------------- /tests/normalize/test_to_nnf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chanind/tensor-theorem-prover/HEAD/tests/normalize/test_to_nnf.py -------------------------------------------------------------------------------- /tests/prover/test_ResolutionProver.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chanind/tensor-theorem-prover/HEAD/tests/prover/test_ResolutionProver.py -------------------------------------------------------------------------------- /tests/test_performance.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chanind/tensor-theorem-prover/HEAD/tests/test_performance.py -------------------------------------------------------------------------------- /tests/test_similarity.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chanind/tensor-theorem-prover/HEAD/tests/test_similarity.py -------------------------------------------------------------------------------- /tests/test_tensor_theorem_prover.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chanind/tensor-theorem-prover/HEAD/tests/test_tensor_theorem_prover.py -------------------------------------------------------------------------------- /tests/types/test_connectives.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chanind/tensor-theorem-prover/HEAD/tests/types/test_connectives.py --------------------------------------------------------------------------------