B-Prolog 7.1 has been released. B-Prolog is a Prolog implementation with extensions for concurrency, constraints, interfacing with C and Java, and interactive graphics.
This release includes: performance improvements; improved memory management; new propagators for non-linear, global and disjunctive constraints; new examples; bug fixes; and other changes.
![[RSS 2.0 Feed]](img/feed.png)
![[Valid RSS 2.0]](img/valid_rss.gif "Validate my RSS feed")
![[Valid XHTML 1.0]](img/valid_xhtml.png)
![[Valid Atom 1.0]](img/valid_atom.gif "Validate my Atom 1.0 feed")
![[Valid CSS]](img/valid_css.gif)
![[Powered by OCaml]](img/ocaml.gif)
![[Powered by PostgreSQL]](img/postgresql.png)