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>:
00031 If you are new to XSB, please read this summary page.</li>
00032 <li>
00033 <a href="rel_notes.html"> Release Notes</a>: 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 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: <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:
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:
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:
00091 YAJXB</a>
00092 <li><a href="http:
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:
00105 <IMG src="http:
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>