SWI-Prolog 5.6.7 has been released. SWI-Prolog is a small, comprehensive, open-source Prolog environment.
This release includes: proper input handling on Mac OS X, transparent support for multithreading in CHR, new and faster literal support, plus other changes.
![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)