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.