HAL 9000 (HAL)