XSB 3.1 has been released. XSB is a Prolog dialect and implementation.
This release includes: support for 64-bit compilation, incremental tabling, improved multithreading support, improved interfacing with C, better memory management for tables, improved ISO-compliant error handling, and more.
![Validate my RSS feed [Valid RSS 2.0]](img/valid_rss.gif)
![[Valid XHTML 1.0]](img/valid_xhtml.png)
![Validate my Atom 1.0 feed [Valid Atom 1.0]](img/valid_atom.gif)
![[Valid CSS]](img/valid_css.gif)
![[Powered by OCaml]](img/ocaml.gif)
![[Powered by PostgreSQL]](img/postgresql.png)