L'Evaluation partielle et son application pour coupler PROLOG et les SGBD — Lei Li