Jan Wielemaker is announcing that SWI-Prolog with version number 7.2.3 / 7.3.6-dev is already available to download.
What is SWI-Prolog ?
SWI-Prolog is A portable, open source Prolog implementation .
It’s useful logic programming purposes, artificial intelligence and computational linguistics.
This is changelog for SWI-Prolog version 7.2.3 / 7.3.6-dev :
- The new dict type and syntax provides both time and space efficient name-value maps with a pleasant syntax.
- As a consequence, it was necessary to replace the list constructor .(H,T) by the (also in use by Mercury) ‘[|]'(H,T). That may seem drastic, but in practice affects only a few programs, notably doing functor(Term, F, A) on lists and then selecting further processing on F == ‘.’, A == 2. To turn lists more into a special construct,  is still the empty list, but no longer the same as ‘’, i.e.,  is not at atom.
- The syntax “…” is now mapped to strings. Strings are compatible with ECLiPSe (thanks to Joachim Schimpf for all the discussions). Traditional code-lists are constructed using …. The flags double_quotes and back_quotes control this behaviour.
You can read the complete changelog and also download this latest version on their homepage: www.swi-prolog.org