PROLOG library function groups