Lines Matching refs:In
284 translate_goal((Goal, Goals), (NewGoal, NewGoals), Out, In, BOut, BIn) :- !,
285 translate_goal(Goal, NewGoal, Mid, In, BMid, BIn),
287 translate_goal((Goal -> Goals), (NewGoal -> NewGoals), Out, In, BOut, BIn) :- !,
288 translate_goal(Goal, NewGoal, Mid, In, BMid, BIn),
292 [Out], In, [BOut], BIn) :- !,
293 translate_goal(Goal, NewGoal, VarsL0, In, BVarsL0, BIn),
297 translate_goal(Goals, NewGoals, VarsR0, In, BVarsR0, BIn),
305 ( Vars = [Var] -> Out = [Var|In], BOut = BIn
306 ; BOut = [Vars|BIn], Out = In
309 [Out], In, [BOut], BIn) :- !.