indicate use of SWI-Proglog