HAL 2 Heuristically programmed ALgorithmic computer Computador Algorítmico Heurísticamente Programado 2006-04-27 HALHal 900