Extended tools for Prolog