Lines Matching defs:of
4 % The contents of this file are subject to the Cisco-style Mozilla Public
6 % in compliance with the License. You may obtain a copy of the License
15 % The Initial Developer of the Original Code is Cisco Systems, Inc.
34 This chapter provides a definition of the syntax of the {\eclipse} Prolog
36 A complete specification of the syntax is provided and comparison to
38 of Edinburgh Prolog (\cite{bowen81}).
44 \item a \notation{term_h} is a term which is the head of the clause.
45 \item a \notation{term_h(N)} is a \notation{term_h} of maximum
47 \item a \notation{term_g} is a term which is a goal (body) of the clause.
48 \item a \notation{term_g(N)} is a \notation{term_g} of maximum
50 \item a \notation{term_a} is a term which is an argument of a compound term or
54 of maximum precedence \about{N}.
55 \item \notation{fx(N)} is a prefix operator of precedence \about{N} which is not
57 \item \notation{fy(N)} is a prefix operator of precedence \about{N} which is
97 The character class of any character can be modified by a
101 \subsection{Groups of characters}
119 Terms are defined in terms of tokens, and tokens are defined in terms of
124 The description of the valid tokens follows.
141 and will be interpreted as a single occurrence of the quote within the name.
175 value of the integer is the character code of that character.
177 of CHARCONST below \ref{charconst}.
209 Text enclosed in SQ (string_quote) characters is parsed as a constant of type
215 interpreted as a single occurrence of the quote within the string.
217 \subsubsection{Lists of numeric character codes}
221 Text enclosed in LQ (list_quote) characters is parsed as a list of numeric
229 interpreted as a single occurrence of the quote within the string.
231 \subsubsection{Lists of single-character atoms}
235 Text enclosed in CQ (chars_quote) characters is parsed as a list of single-atom
243 interpreted as a single occurrence of the quote within the string.
250 \subsubsection{End of clause}
252 EOCL = . (BS | NL | <end of file>) | TS | <end of file>
255 then end-of-file alone does not act as EOCL.
286 sequence can be of any length and must be terminated with an ES character.
294 and followed by CHARCONST, which is defined as one of the following:
322 i.e.\ independent of syntax option settings. The other sequences are present
325 of those. The AQ AQ sequence is of dubious value -- it is recommended to
326 write \verb.0'\'. instead of \verb.0'''..
329 \section{Formal definition of clause syntax}
330 What follows is the specification of the syntax. The terminal symbols are
331 written in UPPER CASE or as the character sequence they consist of.
448 There are two types of comments: bracketed comments, which are enclosed
449 by CM1-CM2 and CM2-CM1, and the end-of-line comment, which is enclosed
450 by CM and NL. Both types of comment behave as separators.
466 produce the operator notation if possible. There are three classes of
489 In the associativity specification of an operator (e.g., \notation{fx},
491 represents an argument whose precedence must be lower than that of the
493 equal to that of the operator. \notation{y} should be used if one wants to
495 chaining of operators (i.e., if one wants them to be associative). The position
496 of the \notation{y} will determine the
497 grouping within a chain of operators. For example:
524 the precedence of operators.}
535 simply the left hand side argument of the following infix or postfix.
545 Another source of ambiguity are operators which have been declared
555 either of them could be the main functor. Faced with the ambiguity, the
566 \index{syntax differences of {\eclipse}}
568 {\eclipse} supports the following extensions of Prolog syntax:
577 Some of these extensions can be disabled via syntax option settings
582 \item In {\eclipse}, end of file is accepted as fullstop.
588 in a comma-separated list of terms, i.e., structure arguments
606 \item By default, consecutive string- or list-quotes have the effect of
613 part of the number. With space, the sign is taken as prefix operator.
620 Some of these properties can be changed by choosing one of the following
621 syntax options (see \notation{syntax_options} in the description of
627 \item[bar_is_no_atom:] disallow the use of an unquoted vertical bar as
629 \item[bar_is_semicolon:] translate occurrences of unquoted infix
637 Also allow signs of numbers to be quoted.
638 \item[doubled_quote_is_quote:] parse a pair of quotes within a quoted item
639 as one occurrence of the quote within the string. If this option is off
644 with a decimal point, e.g. \verb:1.0e-3: instead of \verb:1e-3:.
654 operands of operators; disallowing an atom to be declared as both
676 enclosing the true value of the number in decimal notation.
681 A number of further syntax options is provided for the purpose of parsing
693 \item[curly_args_as_list:] parse the arguments of a term in curly
695 as \notation{\{\}([a,b,c])} instead of the default \notation{\{\}((a,b,c))}.
731 an arbitrary functor, and the ellipsis for a comma-separated sequence of