Algoritmo rete como procedimento de prova em programa AnsProlog - Nascimento, Carolina Alves do. (UFRJ/IM, 2007)