Olá, na versão 1.5.2, você não vai conseguir fazer isso. 
Você pode fazer o teste, mas não vai funcionar.
$${
%&nome% = Hats
$${
Olá %&Hats%
}$$
}$$
Mas como não é possível, o máximo que você pode fazer é usar a LOG
Ficaria assim :
$${
prompt(&player,$$?,Coloque o nick do player aqui!);
LOG("Olá, %&player%");
}$$
Mas para facilitar, não é necessário o comando prompt pois o Minecraft já tem a variável %player% que já diz seu nick.
Então, com essa variável, ficaria :
Código:
$${
LOG("Olá, %player%");
}$$
