MeTTa Language Glossary

The fundamental unit of knowledge in MeTTa, representing data, code, or relationships. Atoms are the building blocks of the Atomspace.

A hypergraph database that stores and manages atoms. It serves as the foundation for knowledge representation and reasoning in MeTTa.

A MeTTa operation that collects all possible results from a nondeterministic computation into a single tuple.

An atom that is connected to external code or data, allowing MeTTa to interface with other programming languages and systems.

The next-generation cognitive architecture that includes MeTTa as its core language, focusing on AGI development.

Meta Type Talk, the core programming language of OpenCog Hyperon, designed for symbolic AI and cognitive architecture.

The process of comparing a pattern against expressions to find matches, possibly with variable bindings.

A pattern-based definition that specifies how to transform or match expressions in MeTTa, typically using the '=' operator.

The automatic detection of the type of an expression in MeTTa, reducing the need for explicit type annotations.

MeTTa's mechanism for classifying and constraining terms, supporting both static and dynamic typing.

The process of making two expressions identical by finding appropriate substitutions for their variables.

A placeholder (prefixed with $) that can match any term in pattern matching or represent unknown values in rules.