SWI-Prolog 5.6.50 has been released. SWI-Prolog is a portable, open source Prolog implementation.
This release includes: the addition of subsumes/2 and subsumes_chk/2 as new builtins, the addition of library(aggregate), the addition of map_list_to_pairs/3 to library(pairs), the addition of min_list/2 and max_list/2 to library(lists), better checking of DCG handling, the addition of rexport/[1,2], plus 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)