This is TeX, Version 3.141 (C version d) (format=lplain 93.9.10) 2 JUL 1996 12:12 **manual.tex (manual.tex LaTeX Version 2.09 <25 March 1992> (/usr/sup/TeX/lib/tex/macros/latex/sty/article.sty Standard Document Style `article' <14 Jan 92>. (/usr/sup/TeX/lib/tex/macros/latex/sty/art12.sty) \c@part=\count79 \c@section=\count80 \c@subsection=\count81 \c@subsubsection=\count82 \c@paragraph=\count83 \c@subparagraph=\count84 \c@figure=\count85 \c@table=\count86 ) \c@theorem=\count87 \c@lemm=\count88 \c@prop=\count89 \c@coroll=\count90 \c@conj=\count91 \c@claims=\count92 \c@ex=\count93 \c@alg=\count94 \c@defin=\count95 \c@assump=\count96 \c@propty=\count97 \c@mtheorem=\count98 \c@mdefin=\count99 \c@mex=\count100 \c@malg=\count101 (/usr/sup/TeX/lib/tex/macros/psfig/psfig.tex \@unused=\write3 psfig/tex 1.9 \ps@stream=\read1 \p@intvaluex=\dimen99 \p@intvaluey=\dimen100 ) \@indexfile=\write4 Writing index file manual.idx (manual.aux) [1 ] (manual.toc [2] [3] [4] [5]) \tf@toc=\write5 [6] [7] (intro.chap [8] [9]) [10] (start.chap (figs/start.fig1) (figs/start.fig2 [11]) [12] [13] (progs/start1.P) [14] Overfull \hbox (7.80104pt too wide) in paragraph at lines 192--197 []\twlrm The line ``\twltt grandparent(X,Z) :- parent(X,Y), parent(Y,Z).\twlrm '' de-fines $\twlmi grandparent$\twlrm . \hbox(8.33331+2.66666)x451.6875, glue set - 1.0 .\hbox(0.0+0.0)x17.62482 .\twlrm T .\twlrm h .\twlrm e .\glue 3.91663 plus 1.95831 minus 1.30554 .etc. [15] [16] (progs/start2.P) Overfull \hbox (2.6328pt too wide) in paragraph at lines 338--341 []\twlrm The fol-low-ing is the list of arith-metic and com-par-i-son op-er-a-t ions sup-ported in CORAL: \hbox(8.33331+2.33331)x451.6875, glue set - 1.0 .\hbox(0.0+0.0)x17.62482 .\twlrm T .\twlrm h .\twlrm e .\glue 3.91663 plus 1.95831 minus 1.30554 .etc. [17] [18]) [19] (declba.chap Overfull \hbox (10.6696pt too wide) in paragraph at lines 58--61 $\twlmi n >$\twltt address(john, residence("Madison",street[]add("Oak Lane", 32 02), 53606)). \hbox(8.33331+2.66666)x451.6875 .\mathon .\twlmi n .\glue(\thickmuskip) 3.33328 plus 3.33328 .\twlmi > .\mathoff .etc. Underfull \hbox (badness 10000) in paragraph at lines 58--61 \hbox(0.0+0.0)x451.6875 .\glue(\rightskip) 0.0 [20] Overfull \hbox (7.6732pt too wide) in paragraph at lines 90--99 \twlrm and sup-pose that we have the facts $\twlmi parent\twlrm (1\twlmi ; \twl rm 4)$ and $\twlmi ancestor\twlrm (4\twlmi ; \twlrm 5)$. We ``unify'' $\twlmi p arent\twlrm (1\twlmi ; \twlrm 4)$ \hbox(9.0+3.0)x451.6875, glue set - 1.0 .\twlrm a .\twlrm n .\twlrm d .\glue 3.91663 plus 1.95831 minus 1.30554 .\twlrm s .etc. [21] (progs/declba1a.P) (progs/declba1b.P [22]) (progs/declba2.P) [23]) [24] (declne.chap (progs/declne1.P) (progs/declne2a.P [25]) (progs/declne2b.P) (progs/declne3.P [26]) (progs/declne4.P) [27] (progs/declne5.P) [28]) [29] (declse.chap (progs/declse1.P [30]) [31] [32] (progs/declse2.P [33]) (progs/declse3.P [34]) [35] (progs/declse32.P) [36] (progs/declse4a.P) (progs/declse4b.P [37]) (progs/declse5.P [38]) (progs/declse6.P [39]) (progs/declse7a.P [40])) [41] (declad.chap Overfull \hbox (4.66786pt too wide) in paragraph at lines 30--35 \twlrm fol-low-ing queries will suc-ceed: \twltt ?equal(5, 5)\twlrm , \twltt ?e qual(30.2, 30.2)\twlrm , \twltt ?equal("Madison", \hbox(8.33331+2.66666)x451.6875, glue set - 1.0 .\twlrm f .\twlrm o .\twlrm l .\discretionary ..\twlrm - .\twlrm l .etc. (progs/declad1.P [42]) (progs/declad2.P [43]) [44] (progs/declad3a.P) [45] (progs/declad3b.P) (progs/declad4a.P [46]) [47] (progs/declad4b.P [48]) (progs/declad4c.P) (progs/declad5a.P [49]) [50] (progs/declad5b.P [51]) (progs/declad6a.P [52]) (progs/declad6b.P [53]) (progs/declad7.P [54]) (progs/declad72.P [55]) (progs/declad8.P [56]) (progs/declad9.P [57])) [58] (modules.chap (progs/mod1.P) [59] [60] (progs/mod2.P [61] [62] [63]) (progs/mod3.P [64]) (progs/mod4.P [65] [66]) (progs/mod5.P [67]) (progs/mod6.P [68] [69]) (progs/mod7.P [70]) (progs/declse7b.P [71]) [72] (progs/mod9.P [73] [74])) [75] (declac.chap (progs/declac1.P [76]) [77] Overfull \hbox (22.31561pt too wide) in paragraph at lines 93--98 []\twlrm The user is in-vited to run this pro-gram with @magic, @no[]rewriting, @sup[]magic[]indexing, \hbox(8.33331+2.33331)x451.6875, glue set - 1.0 .\hbox(0.0+0.0)x17.62482 .\twlrm T .\twlrm h .\twlrm e .\glue 3.91663 plus 1.95831 minus 1.30554 .etc. (progs/declac12.P [78]) (progs/declac2.P [79]) [80] (progs/declac3.P) [81] [82] (progs/declac4.P [83] [84]) (progs/declac5a.P [85]) (progs/declac5b.P [86]) [87]) [88] (pipe.chap (progs/pipe1.P [89] [90]) (progs/pipe12.P [91]) [92] (progs/pipe2.P [93]) (progs/pipe3.P [94]) (progs/pipe4.P [95]) [96]) [97] (builtins.chap Overfull \hbox (14.15472pt too wide) in paragraph at lines 22--27 \twltt member, unionsum, unionmax, inter, difference, subset, make[]set, create []set, \hbox(7.33333+1.66667)x451.6875 .\twltt m .\twltt e .\twltt m .\twltt b .\twltt e .etc. [98] [99]) [100] (cmds.chap [101] LaTeX Warning: Citation `explanation of programs' on page 102 undefined on inpu t line 95. [102] [103] [104] LaTeX Warning: Citation `timing statistics' on page 105 undefined on input line 229. LaTeX Warning: Citation `relation manipulation' on page 105 undefined on input line 243. LaTeX Warning: Citation `workspaces' on page 105 undefined on input line 248. [105] LaTeX Warning: Citation `persistence' on page 106 undefined on input line 278. LaTeX Warning: Citation `db_rels' on page 106 undefined on input line 281. ) [106] (impmod.chap [107] (progs/impmod1.S [108]) LaTeX Warning: Reference `chap:makefile' on page 109 undefined on input line 71 . (progs/impmod2.S [109] [110]) [111] (progs/impmod3.S) [112] (progs/impmod4.S [113])) [114] (extens.chap LaTeX Warning: Reference `chap:arrays' on page 115 undefined on input line 48. [115] [116] Overfull \hbox (27.81761pt too wide) in paragraph at lines 126--129 []\twlrm Similarly, the mul-ti-set built-ins do not mod-ify the ar-gu-ments. Fo r ex-am-ple, $\twlmi inter\twlrm (\twlmi S\twlrm 1\twlmi ; S\twlrm 2\twlmi ; S\ twlrm )$ \hbox(9.0+3.0)x451.6875, glue set - 1.0 .\hbox(0.0+0.0)x17.62482 .\twlrm S .\twlrm i .\twlrm m .\twlrm i .etc. Overfull \hbox (2.28381pt too wide) in paragraph at lines 130--142 \twlrm Log-i-cal ar-rays are sim-i-lar; the op-er-a-tions on them ($\twlmi logi cal[]array$\twlrm , $\twlmi lookup$ \twlrm and $\twlmi logical[]bind$\twlrm ) \hbox(9.0+3.0)x451.6875, glue set - 1.0 .\twlrm L .\twlrm o .\twlrm g .\discretionary ..\twlrm - .\twlrm i .etc. (progs/extens1.P [117]) (progs/extens3.P [118]) (progs/extens3.P [119]) (progs/extens4.P)) [120] (proghints.chap [121] LaTeX Warning: Reference `chap:declse,chap:declne,chap:modules' on page 122 und efined on input line 75. [122] [123]) [124] (currstat.chap Overfull \hbox (2.90894pt too wide) in paragraph at lines 45--51 [] []\twlrm : We have a de-sign in place for CORAL++, which ex-tends CORAL \hbox(8.33331+2.33331)x422.3128, glue set - 1.0 .\hbox(0.0+0.0)x0.0 .\glue 0.0 .\hbox(8.33331+2.33331)x88.67381 ..\glue -29.3747 ..\glue 0.0 ..\glue -5.87494 ..\hbox(8.33331+2.33331)x118.04851 ...\glue 5.87494 ...\twlbf O ...\twlbf b ...\kern0.75 ...\twlbf j ...etc. ..\glue 5.87494 .\penalty 0 .\twlrm : .etc. ) [125] [126] [127] (install.chap) [128] [129] (manual.ind [130 ]) (manual.aux) ) Here is how much of TeX's memory you used: 959 strings out of 11979 8628 string characters out of 87123 41959 words of memory out of 262141 2589 multiletter control sequences out of 9500 19650 words of font info for 74 fonts, out of 100000 for 255 14 hyphenation exceptions out of 607 17i,6n,16p,218b,233s stack positions out of 300i,40n,60p,3000b,4000s Output written on manual.dvi (130 pages, 284708 bytes).