"HAL est l'acronyme de « Heuristically programmed ALgorithmic computer » (littéralement « ordinateur algorithmique programmé heuristiquement »). Dans la version française de 2001, son nom est adapté en CARL 500, soit « Cerveau Analytique de Recherche et de Liaison », ce qui est une traduction approximative (d'ailleurs abandonnée dans 2010, puisque l'auteur y commente ce qui..., lien Wikipédia