Lines Matching refs:S1
167 read(var(Variable,_), ['('|S1], Precedence, Answer, S) :- !,
168 read(S1, 999, Arg1, S2),
175 read(atom(-), [integer(Integer)|S1], Precedence, Answer, S) :-
177 exprtl0(S1, Negative, Precedence, Answer, S).
179 read(atom(Functor), ['('|S1], Precedence, Answer, S) :- !,
180 read(S1, 999, Arg1, S2),
188 distfix_pass(Keys, S0, S1),
189 distfix_read(Pattern, S1, S2),
203 read('[', [']'|S1], Precedence, Answer, S) :- !,
204 exprtl0(S1, [], Precedence, Answer, S).
206 read('[', S1, Precedence, Answer, S) :- !,
207 read(S1, 999, Arg1, S2),
211 read('(', S1, Precedence, Answer, S) :- !,
212 read(S1, 1200, Term, S2),
216 read(' (', S1, Precedence, Answer, S) :- !,
217 read(S1, 1200, Term, S2),
221 read('{', ['}'|S1], Precedence, Answer, S) :- !,
222 exprtl0(S1, '{}', Precedence, Answer, S).
224 read('{', S1, Precedence, Answer, S) :- !,
225 read(S1, 1200, Term, S2),
239 read_args([','|S1], [Term|Rest], S) :- !,
240 read(S1, 999, Term, S2), !,
250 read_list([','|S1], [Term|Rest], S) :- !,
251 read(S1, 999, Term, S2), !,
253 read_list(['|'|S1], Rest, S) :- !,
254 read(S1, 999, Rest, S2), !,
269 peepop(S0, S1),
270 prefix_is_atom(S1, Oprec), % can't cut but would like to
271 exprtl(S1, Oprec, Op, Precedence, Answer, S).
273 after_prefix_op(Op, Oprec, Aprec, S1, Precedence, Answer, S) :-
274 read(S1, Aprec, Arg, S2),
282 peepop([atom(F),'('|S1], [atom(F),'('|S1]) :- !.
283 peepop([atom(F)|S1], [infixop(F,L,P,R)|S1]) :- infixop(F, L, P, R).
284 peepop([atom(F)|S1], [postfixop(F,L,P)|S1]) :- postfixop(F, L, P).
310 exprtl0([atom(F)|S1], Term, Precedence, Answer, S) :-
312 ( exprtl([infixop(F,L1,O1,R1)|S1], 0, Term, Precedence, Answer, S)
313 ; exprtl([postfixop(F,L2,O2) |S1], 0, Term, Precedence, Answer, S)
315 exprtl0([atom(F)|S1], Term, Precedence, Answer, S) :-
317 exprtl([infixop(F,L1,O1,R1)|S1], 0, Term, Precedence, Answer, S).
318 exprtl0([atom(F)|S1], Term, Precedence, Answer, S) :-
320 exprtl([postfixop(F,L2,O2) |S1], 0, Term, Precedence, Answer, S).
322 exprtl0([','|S1], Term, Precedence, Answer, S) :-
324 read(S1, 1000, Next, S2), !,
327 exprtl0(['|'|S1], Term, Precedence, Answer, S) :-
329 read(S1, 1100, Next, S2), !,
332 exprtl0([Thing|S1], _, _, _, _) :-
334 syntax_error([Culprit,follows,expression], [Thing|S1]).
350 exprtl([infixop(F,L,O,_)|S1], C, Term, Precedence, Answer, S) :-
353 distfix_pass(Keys, S1, S2),
358 exprtl([infixop(F,L,O,R)|S1], C, Term, Precedence, Answer, S) :-
360 read(S1, R, Other, S2),
364 exprtl([postfixop(F,L,O)|S1], C, Term, Precedence, Answer, S) :-
367 peepop(S1, S2),
370 exprtl([','|S1], C, Term, Precedence, Answer, S) :-
372 read(S1, 1000, Next, S2), /*!,*/
375 exprtl(['|'|S1], C, Term, Precedence, Answer, S) :-
377 read(S1, 1100, Next, S2), /*!,*/
498 distfix_head(S0, [], Keywords, Tokens, S1),
503 distfix_read(RestPattern, S1, S).