ocess a request for the next query solution.
 Returns a Prolog term that corresponds to the goal with the
 Prolog variables unified with the solution. Later use of this
 Prolog variable objects will refer the unification performed.
 If there is no more solutions, all the variables of the goal
 will be set to their original binding before calling this method.

 This method will wait until the solution requested be available.
<P>
<DD><DL>

<DT><B>Returns:</B><DD>the term that corresponds to the query, with th