call_servant(+Goal)

Once a servant has been created (by create_servant/2), goals can be sent to it for evaluation, by using call_servant(Goal). This sends the goal Goal to the servant, which evaluates it (with respect to its own database) and sends all the answers back. The answers are returned as solutions of call_servant/1. The answers bind the variables in Goal. Answers after the first are obtained by backtracking into call_servant/1. Note that the servant computes and sends all answers back to the master, even if the caller uses a cut to throw away all but the first.