Tensor Theorem Prover

Tensor Theorem Prover is a first-order logic theorem prover supporting unification with approximate vector similarity written in Python.

Installation

Tensor Theorem Prover releases are hosted on PyPI, and can be installed using pip as below:

pip install tensor-theorem-prover

Guides:

• Usage
  • Working with proof results
  • Finding all possible proofs
  • Working with Tensors (Pytorch, Tensorflow, etc…)
  • Max proof depth
  • Max resolvent width
  • Skipping seen resolvents
  • Max resolution attempts
  • Multithreading
• Contributing

API Reference:

• Prover
  • ResolutionProver
  • Proof
  • ProofStep
  • ProofStats
• Logical Types
  • Atom
  • Predicate
  • Variable
  • Constant
  • Function
  • And
  • Or
  • Not
  • Implies
  • Exists
  • All
• Similarity
  • cosine_similarity()
  • symbol_compare()
  • max_similarity()

Project Links

• GitHub
• PyPI

Indices and tables

• Index

• Module Index

• Search Page