symbolic-reasoning
MeTTa, Hyperon's AGI language, based on PeTTa semantics with significant extensions.