Automate installation of SWI Prolog etc?