eclipseclp/Contrib/distfix.pl

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).