Programa de Prolog para computadores
