Lines Matching refs:with
6 % in compliance with the License. You may obtain a copy of the License
35 \item Filenames\index{file name} are of the form \notation{[a-z][a-z_]+} with
38 \item Each module is documented with comment directives.
40 included in the source with a \emph{comment include} directive. This helps to
50 \notation{[A-Z_][a-zA-Z]*[0-9]*}. Separate words with capital letters. Digits
53 their names start with \notation{_}. The final program must not generate
55 \item Each exported predicate is documented with a comment
60 \item Predicates which are not exported should be documented with a single line
62 \item The sequence of predicates in a file is top-down with a (possibly empty)
65 \notation{flow_structures.ecl}) and are documented with comment directives.
82 solutions that still can be explored. This is verified with the tracer tool in
95 is checked with the line coverage profiler.
96 \item Explicit unification (\predspecidx{=/2}) should be replaced with