dh_swi_prolog • man page