HAL-9000 (HAL)