Prolog & TXL: Um Estudo de Caso para Prototipação de Ferramentas de Apoio para o Teste Estrutural.