Progressing the SWI-Prolog environment