GNU Prolog 1.2.13 is available

[Daniel Diaz]

Hi everybdy,

I have released 1.2.13 as current stable version. As usually visit
http://gnu-prolog.inria.fr for more information. Both source and binary
(ix86 RPM and Win32 setup) versions are available.

GNU Prolog is officially ported under PowerPC / Darwin (Mac OS X).
Lindsey Spratt maintained for many months a local port. His
collaboration allowed me to tune this port and to include it in the
official release. Thank you very much Lindsey.

Other main changes from the last stable version (1.2.8):

* improves Prolog stacks allocation
* improves streams (add mirror facility, unlimited number of streams)
* improves global variables (auto-expandable arrays, arg. selector, new
built-ins)
* adds source reader facility (not yet documented however)
* improves gplc (passes -L option to ld in the order of apparition,
accepts
  meta-characters %p, %d,... in output file names)
* improves linedit (now reentrant)
* improves Win32 port (new GUI console, auto-install setup,...)
* adds several options to the top-level to execute goals
(initializations)
* fix bugs

For detailed changes consult:
   ftp://ftp.inria.fr/INRIA/Projects/contraintes/gprolog/NEWS

GNU Prolog 1.2.13 is the stable version for a while since I will modify
several things in depth. 
Future work:

 - include a garbage-collector for the heap
 - remove atom table size limitation (and more generally other
limitations)
 - improve the compile schema (to speed up compilation times)
 - add a module system and/or contextual logic programming
 - improve efficiency
 - ...

Enjoy