Update prolog lib version