SWI Prolog can be freely downloaded from http://www.swi-prolog.org/download/stable.
You may find the presence from the laboratory here.