Agatha (racket): Uma linguagem para Logica de primeira ordem
Keywords: Logic