../../Task/Semiprime/Prolog