documents/userman/umssyntax.tex

44 \item a \notation{term_h} is a term which is the head of the clause.
47 \item a \notation{term_g} is a term which is a goal (body) of the clause.
50 \item a \notation{term_a} is a term which is an argument of a compound term or
52 \item a \notation{term(N)} can be any term (\notation{term_h},
352                          |      term(1200)
355                          |      term(1200)
357 term(0)                 ::=      VAR            /* not a term_h */
368 term(N)                 ::=     term(0)
373 prefix_expression(N)    ::=     fx(N)   term(N-1)
374                          |      fy(N)   term(N)
375                          |      fxx(N)  term(N-1)  term(N-1)
376                          |      fxy(N)  term(N-1)  term(N)
380 infix_expression(N)     ::=     term(N-1)  xfx(N)  term(N-1)
381                          |      term(N)    yfx(N)  term(N-1)
382                          |      term(N-1)  xfy(N)  term(N)
384 postfix_expression(N)   ::=     term(N-1)  xf(N)
385                          |      term(N)    yf(N)
421 term_a                  ::=     term(1200)
474   \notation{fy}), then the term \notation{f(X)} can alternatively be written as
477   or \notation{fxy}), then the term \notation{f(X,Y)} can alternatively be
480   \notation{yf}), then the term \notation{f(X)} can alternatively be written as
483   \notation{xfy} or \notation{yfx}), then the term \notation{f(X,Y)} can
590     as argument separators rather than operators inside the term.
677 \item[var_functor_is_apply:] allow variables as functors, and parse a term
685 \item[atom_subscripts:] allow subscripts after atoms, and parse a term
688     subterms and subscripted terms, and parse a term
691     or a term such as \notation{(a-b)[C]} as if it were
693 \item[curly_args_as_list:] parse the arguments of a term in curly
711 forms (supported by the parser and the term writer) and their corresponding
714 and reproduced by the term writer (unless canonical writing is explicitly
730 variable, \notation{S} for a compound term in canonical syntax, \notation{f} for