Ścieżka do pobrania najnowsze wersji środowiska Prolog:
https://www.swi-prolog.org/download/stable

Dodatkowe materiały, w tym samouczki programowania w środowisku Prolog można znaleźć na stronie:
https://www.swi-prolog.org/

Polecam do nich zajrzeć.

P.Urbanek.