Description
MeTTa Programming Language is a multiparadigm language combining functional, logical, and probabilistic programming for declarative and procedural knowledge representation. Its programs are represented as Atomspace metagraph subgraphs that can be queried and rewritten, supporting self-reflective, self-modifying code and gradual dependent types. MeTTa is the language of the OpenCog Hyperon cognitive architecture and supports both human AGI development and AGI learning and reasoning algorithms.