HAL stands for heuristically programmed algorithmic computer.