Lines Matching refs:Out
434 concat_atom([Base, '_out'], Out),
435 ec_rpc_in_handler1(In, Out).
437 ec_rpc_in_handler1(In, Out) :-
439 flush(Out)
441 empty_stream(Out),
442 catch((read_exdr_last(In, Goal),execute_rpc(Out, Goal, true)),
443 _, (write_exdr(Out, throw),flush(Out))),
444 ec_rpc_in_handler1(In, Out)
454 execute_rpc(Out, GoalString, Extra) :-
458 execute_rpc(Out, Goal, Extra).
459 execute_rpc(Out, Goal, Extra) :-
464 (write_exdr(Out, Goal) -> true;true), flush(Out)
467 write_exdr(Out, fail), flush(Out) % PFAIL
4327 trprotect(In, Out) :- arg(1, In, Out).
4394 % update_struct(annotated_term, [term:TermOut], In, Out)
4395 % but leave Out uninstantiated if In was.
4402 % update_struct(annotated_term, [term:TermOut,type:TypeOut], In, Out)
4403 % but leave Out uninstantiated if In was.
4404 inherit_annotation(TermOut, In, Out) :-
4405 inherit_annotation(TermOut, In, Out, true).
5890 functor(Out, F, N),
5891 arg(1, Out, RX),
5892 arg(2, Out, RY),
5894 trans_expr(Y, RY, Code1, sepia_kernel:Out),
5895 Out \== In. % fail when nothing changed