home.php

00001 <html>
00002 
00003 <head>
00004 <title>The XSB System</title>
00005 </head>
00006 
00007 <body>
00008 
00009 
00010 <h1>
00011 Welcome to the Home of XSB! </h1>
00012 <hr>
00013 
00014 <p><b><i>XSB</i></b>
00015  is a Logic Programming and Deductive Database system for Unix and Windows.
00016 It is being developed at <a href="http://www.cs.sunysb.edu/"> 
00017 The Computer Science Department, Stony Brook University</a>, in
00018  collaboration with 
00019    <a href="http://www.kuleuven.ac.be/">Katholieke Universiteit Leuven</a>,
00020  <a href="http://www.unl.pt/">Universidade Nova de Lisboa</a>, 
00021 and <a href="http://www.uu.se/">Uppsala Universitet</a>.
00022 </p>
00023 <p>Please visit <a href="http://sourceforge.net/project/?group_id=1176"><b>this page</b></a> to browse the XSB <i>CVS repository</i>, 
00024 <i>mailing lists</i>, to <i>report bugs</i>, <i>download software</i>,
00025  and more.
00026 </p>
00027    <br>
00028 <ul>
00029 <li>
00030 <a href="about.html"> XSB Technical Summary</a>:&nbsp;
00031  If you are new to XSB, please read this summary page.</li>
00032 <li>
00033 <a href="rel_notes.html"> Release Notes</a>:&nbsp; New features, backward incompatible changes, etc.</li>
00034 
00035 <li>
00036 <a href="http://sourceforge.net/project/showfiles.php?group_id=1176"> Download the System</a>:
00037         &nbsp; Current version: 2.6, released on June 14, 2003.<img SRC="new.gif" IMG align=TOP>
00038 </li>
00039 
00040 <li>
00041 The XSB Programmers' Manual:
00042 <a href="manual1/index.html">Volume 1</a> and <a href="manual2/index.html">Volume 2</a>
00043 
00044         <ul>
00045         <li>Postscript version:&nbsp; <a href="manual/manual1.ps.gz">Volume 1</a> and <a href="manual/manual2.ps.gz">Volume 2</a></li>
00046         <li>PDF version: <a href="manual/manual1.pdf">Volume 1</a> and <a href="manual/manual2.pdf">Volume 2</a></li>
00047         </ul>
00048 </li>
00049         <li><a href="vb_dll.html">How to Use XSB DLL from Visual Basic</a></li>
00050 
00051 <pre>
00052 </pre>
00053 <li>
00054 Packages.  A number of packages have been written for XSB.   They may be maintained, updated and distributed separately from XSB.  They also may have been updated later than the last release of the core XSB system, check the links of the particular package to determine this.
00055 <pre>
00056 </pre>
00057 
00058 
00059 <ul>
00060 <li> The following packages are distributed by default with XSB.  </li>
00061         <ul>
00062 <li>
00063 <a href="packages/chr.html">The CHR package of constraint handling rules</a> <img SRC="new.gif" IMG align=TOP></li>
00064 
00065 <li> <a href="packages/xsbdoc.html">The xsbdoc Documentation Generator</a></li>
00066 
00067 <li> <a href="packages/xasp.html">XASP: Answer Set Programming with XSB</a>  </li>
00068 </ul>
00069 
00070 
00071 <pre>
00072 </pre>
00073 <li> The following large projects use XSB or have been ported to it.  (and are distributed with it as packages):
00074         <ul>
00075          <li> <a href="http://flora.sourceforge.net/" target="new_window">FLORA</a>: An
00076               object-oriented language for building knowledge-intensive
00077               applications, which is based on the ideas of F-logic, HiLog, and
00078               Transaction Logic.
00079          <li> <a href="http://www.cs.sunysb.edu/~lmc/" target="new_window">XMC</a>: The
00080              Logic-Based Model Checking Project
00081 <li> <a href="???"> The W4 Project </a>: Web utilities, including a fully-compliant XML parser and tripleware...<img SRC="new.gif" IMG align=TOP>
00082         </ul>
00083 </li>
00084 <pre>
00085 </pre>
00086 
00087 <li>
00088 Interfaces to Java (distributed separately):
00089         <ul>
00090         <li><a href="http://www-db.stanford.edu/~stefan/rdf/yajxb/">
00091               YAJXB</a>
00092         <li><a href="http://www.declarativa.com/interprolog">Interprolog</a>
00093         </ul>
00094 </li>
00095 </ul>
00096 
00097 <pre>
00098 </pre>
00099 <li>
00100 <a href="nsf-acks.html">Acknowledgement of Support</a></li>
00101 </ul>
00102 
00103 <br>
00104 <A href="http://sourceforge.net"> 
00105 <IMG src="http://sourceforge.net/sflogo.php?group_id=1176&amp;type=1" width="88" height="31" border="0" alt="SourceForge Logo"></A> 
00106 <br>
00107 <p>
00108 <?php include "counter.php";    ?>
00109 <?php $number = CounterImage(); ?>
00110 <IMG SRC="<?php echo($number); ?>" ALIGN="left"> visitors since 07/13/2001.
00111 
00112 <br>
00113 
00114 
00115 </body>
00116 
00117 
00118 
00119 </html>

Generated on Wed Jul 26 13:30:39 2006 for XSB by  doxygen 1.4.5