OpenCog

Базовыми атомарными элементами языка MeTTa являются символы, отличающиеся как именама. Строки произвольных (Unicode) символов считаются допустимыми именами, хотя синтаксис не обязательно должен поддерживать этот произвол. Некоторые символы - встроенные, зарезервированные (использование их имен приведет к ссылке на соответствующий встроенный символы с их конкретной интерпретацией, поэтому их нельзя использовать в качестве пользовательских символов). Символы могут являются ссылками на какие-то внешние фрагменты данных (которые также могут содержать исполняемый код). Символы составляются в выражения, которые можно представить в виде деревьев. Наиболее близким к такому представлению являются вложенные списки в стиле Лисп, синтаксиc которого используется в этом документе. Однако интерфейсный синтаксис может быть другим (например, похожим на Haskell). Любое выражение является допустимым термином по умолчанию, если нет ограничений, наложенных типами (описанных ниже). Вложенные выражения представляют собой списки, и несколько выражений могут содержать одни и те же символы. https://wiki.opencog.org/wikihome/images/b/b7/MeTTa_Specification.pdf

...

https://telegra.ph/Koncepcii-10-01