1 <html> 2 <head> 3 <title>CL Unification Links</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 Links</i><string> 15 <div class="navigation"> 16 <a href="index.html" class="navigation-link">Home</a> 17 | <a href="downloads.html" class="navigation-link">Downloads</a> 18 | <a href="links.html" class="navigation-link-selected">Links</a> 19 </div> 20 </div> 21 <div class="black-line"><img src="images/shim.gif" height="1" width="1"></div> 22 <div class="middle-bar"><img src="images/shim.gif" height="5" width="1"></div> 23 <div class="black-line"><img src="images/shim.gif" height="1" width="1"></div> 24 </td> 25 </tr> 26 27 <tr height="100%"> 28 <td height="100%"> </td> 29 <td valign="top" width="80%" height="100%"> 30 31 <div class="content"> 32 <div class="text" style="padding-top: 10px;"> 33 34 <h1>Links</h1> 35 36 <p>Here are some links which are pertinent to the 37 <strong>CL-UNIFICATION</strong> project.</p> 38 39 <p> 40 <ul> 41 <li><a href="http://common-lisp.net">common-lisp.net</a>: the host site.</li> 42 <li><a href="http://clocc.sourceforge.net">CLOCC</a>: the site hosting <strong>MK:DEFSYSTEM</strong>.</li> 43 <li><a href="http://mitpress.mit.edu/sicp">Structure and Interpretation of Computer Programs</a>: the SICP site, where inspiration for the unifier can be found.</li> 44 <li><a href="http://www.norvig.com/paip.html">Paradigms of Artificial Intelligence Programming</a>: the PAIP site, where more inspiration for the unifier can be found.</li> 45 </ul> 46 </p> 47 48 49 <!-- 50 ;;; Copyright (c) 2004 Marco Antoniotti, All rigths reserved. 51 ;;; 52 ;;; Permission to use, modify, and redistribute this code is hereby 53 ;;; granted. 54 ;;; The code is provided AS IS with NO warranty whatsoever. The author 55 ;;; will not be held liable etc etc etc etc etc. 56 --> 57 58 59 <hr> 60 <p>Questions? Queries? Suggestions? Comments? Please direct them 61 at <a href="mailto:marcoxa_PROVA_A_SPAMMARME@alu.org">me</a>. 62 </p> 63 64 </div> 65 </div> 66 67 </td> 68 69 <!-- <td height="100%"> </td> --> 70 </tr> 71 72 <tr height="100%"> 73 <td height="100%"> </td> 74 <td valign="top" width="80%" height="100%"> 75 76 <div class="content"> 77 <div class="text" style="padding-top: 10px;"> 78 79 <!-- <h1>News</h1> 80 81 <p>News in chronological order, most recent on top. 82 </p> 83 84 <ul> 85 <li><strong>2005-05-20</strong><br> 86 Updated (but not completed) the page. 87 </li> 88 89 <li><strong>2005-04-20</strong><br> 90 Fixed (but not completed) the page. 91 </li> 92 93 <li><strong>2004-04-12</strong><br> 94 Started the site. 95 </li> 96 </ul> 97 --> 98 99 </div> 100 </div> 101 102 </td> 103 104 <td height="100%"> </td> 105 </tr> 106 107 108 109 110 <tr> 111 <td colspan="3" valign="bottom" align="right"> 112 <div class="copyright"> 113 © 2003-2011, Marco Antoniotti, all rights reserved. 114 </div> 115 </td> 116 </tr> 117 118 </table> 119 </body> 120 </html>