Extended libraries for Prolog