Logical Types

class tensor_theorem_prover.Atom(predicate, terms)

Logical Atom (predicate with terms)

classmethod from_rust(rust_atom)

predicate

terms

to_rust()

class tensor_theorem_prover.Predicate(symbol, embedding=None)

A predicate symbol in a logical formula. Can contain an embedding for use in vector similarity calculations.

embedding = None

classmethod from_rust(rust_predicate)

symbol

to_rust()

class tensor_theorem_prover.Variable(name)

A variable symbol in a logical formula.

classmethod from_rust(rust_variable)

name

to_rust()

class tensor_theorem_prover.Constant(symbol, embedding=None)

A constant symbol in a logical formula. Can contain an embedding for use in vector similarity calculations.

embedding = None

classmethod from_rust(rust_constant)

symbol

to_rust()

class tensor_theorem_prover.Function(symbol)

A function symbol in a logical formula.

classmethod from_rust(rust_function)

symbol

to_rust()

class tensor_theorem_prover.And(*args)

Logical Conjunction

args

class tensor_theorem_prover.Or(*args)

Logical Disjunction

args

class tensor_theorem_prover.Not(body)

Logical Negation

body

class tensor_theorem_prover.Implies(antecedent, consequent)

Logical Implication

antecedent

consequent

class tensor_theorem_prover.Exists(variable, body)

Logical Existential Quantifier

body

variable

class tensor_theorem_prover.All(variable, body)

Logical Universal Quantifier

body

variable