update Prolog engine