O uso do prolog na análise de sistemas de aliança - Matarezio Filho, Edson Tosta; Silva, Márcio Ferreira da (Simpósio Internacional de Iniciação Científica da Universidade de São Paulo, 2006)