Download Source Code SWI-Prolog 7.2.3 / 7.3.6-dev

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.
  • Thanks to Torbjorn Lager, we have “Pengines”, Prolog engines on the web. This provides a generic API to talk comfortably to a Prolog server from JavaScript and other Prolog instances. It enabled SWISH, SWI-Prolog in your browser ( as well as (Learn Prolog Now! with embedded SWISH).

You can read the complete changelog and also download this latest version on their homepage: