1 <html> 2 <head> 3 <title>CL Unification: Class SYMBOL-TEMPLATE</title> 4 <link rel="stylesheet" href="main.css"> 5 </head> 6 7 <body marginheight="0" marginwidth="0" leftmargin="0" topmargin="0" bgcolor="#ffffff"> 8 9 <table border="0" cellpadding="0" cellspacing="0" width="100%" height="100%" vspace="0" hspace="0"> 10 <tr> 11 <td colspan="3"> 12 <div class="header" 13 style="font-family:=Verdana,Arial,Helvetica; font-size: 18px; color: #41286f;"> 14 <strong><i>CL Unification: Class SYMBOL-TEMPLATE</title></i></strong> 15 <div class="navigation"> 16 <a href="index.html" class="navigation-link">Home</a> 17 | <a href="unification-package.html" class="navigation-link">Previous</a> 18 | <a href="index.html" class="navigation-link">Next</a> 19 | <a href="downloads.html" class="navigation-link">Downloads</a> 20 | <a href="links.html" class="navigation-link">Links</a> 21 </div> 22 </div> 23 <div class="black-line"><img src="images/shim.gif" height="1" width="1"></div> 24 <div class="middle-bar"><img src="images/shim.gif" height="5" width="1"></div> 25 <div class="black-line"><img src="images/shim.gif" height="1" width="1"></div> 26 </td> 27 </tr> 28 29 <tr height="100%"> 30 <td height="100%"> </td> 31 <td valign="top" width="80%" height="100%"> 32 33 <div class="content"> 34 <div class="text" style="padding-top: 10px;"> 35 36 <h1><i>Class</i> <strong>SYMBOL-TEMPLATE</strong></h1> 37 38 <h2>Package:</h2> 39 40 <p><code>COMMON-LISP.EXTENSIONS.DATA-AND-CONTROL-FLOW.UNIFICATION</code></p> 41 42 43 <h2>Class Precedence List:</h2> 44 45 <p> 46 SYMBOL-TEMPLATE, TYPE-TEMPLATE, TEMPLATE, STANDARD-OBJECT, T. 47 </p> 48 49 <h2>Known Subclasses:</h2> 50 51 <p> 52 None. 53 </p> 54 55 56 <h2>Slots:</h2> 57 58 <p>None.</p> 59 60 61 <h2>Description:</h2> 62 63 <p>The SYMBOL-TEMPLATE class is the class of the objects that UNIFY 64 recognizes as symbol templates.</p> 65 66 <h3>Template Syntax</h3> 67 68 <p>The <i>specification</i> of a SYMBOL-TEMPLATE has one of the two 69 forms below:</p> 70 71 <p><pre> 72 #T<i><symbol></i> 73 </pre> 74 75 or 76 77 <pre> 78 #T(<b>symbol</b> <i><value></i>) 79 </pre> 80 81 where <i>value</i> must be either a <em>unification variable</em> or 82 a SYMBOL. 83 </p> 84 85 86 <h2>Affected By:</h2> 87 88 <p>None.</p> 89 90 91 <h2>Exceptional Situations:</h2> 92 93 94 <p>Unifying a SYMBOL-TEMPLATE against a non-SYMBOL object results in 95 an UNIFICATION-FAILURE error being signaled.</p> 96 97 98 <h2>See Also:</h2> 99 100 <p>UNIFY, NIL-TEMPLATE</p> 101 102 <h2>Notes:</h2> 103 104 <p>NIL-TEMPLATE should be used to specifically UNIFY against NIL.</p> 105 106 </td> 107 108 <!-- <td height="100%"> </td> --> 109 </tr> 110 111 <tr height="100%"> 112 <td height="100%"> </td> 113 <td valign="top" width="80%" height="100%"> 114 115 <div class="content"> 116 <div class="text" style="padding-top: 10px;"> 117 118 <h1>News</h1> 119 120 <p>News in chronological order, most recent on top. 121 </p> 122 123 <ul> 124 <li><strong>2004-06-11</strong><br> 125 Completed description. 126 </li> 127 128 </ul> 129 130 </div> 131 </div> 132 133 </td> 134 135 <td height="100%"> </td> 136 </tr> 137 138 139 140 141 <tr> 142 <td colspan="3" valign="bottom" align="right"> 143 <div class="copyright"> 144 © 2003-2004, Marco Antoniotti, all rights reserved. 145 </div> 146 </td> 147 </tr> 148 149 </table> 150 </body> 151 </html> 152 153 <!-- end of file -- symbol-template-class.html -->