SWI-Prolog

Para apoio às aula PL de IARTI podem encontrar aqui um tutorial sobre o uso do SWI-Prolog.