gprolog 1.3.1

Version of implementation GNU Prolog of programming language Prolog

The latest (as of December 2010) stable release of GNU Prolog, released in February 2009.


Ports to:

  • x86_64/bsd
  • x86_64/Solaris


  • detect integer underflow/overflow in the parser
  • fix a memory leak in catch/3
  • fix a bug in the byte-code due to new max number of atoms
  • fix problem using ebx as global reg (bug in gcc 4.3.2)
  • fix a bug in is/2 with [X] (X should only be an integer)
  • fix a bug with atoms /* */ and % (were not quoted)
  • fix stack alignment for x86_64/Solaris
  • include patch for sparc/solaris8
  • fix a bug in arithmetics (mod)
  • fix a bug in the FD solver (under 64 bits machines)

New features and improvements:

  • add working sigaction detection to detect fault addr (e.g. Mac OS X)
  • add gplc option —no-mult-warn
  • add prolog flags suspicious_warning, multifile_warning
  • increase limits (MAX_VAR_NAME_LENGTH=1024 and MAX_VAR_IN_TERM=10240)
  • prefix all global symbols, constants and types with Pl_ PL_ Pl
  • provide a minimal gprolog.h
  • detect if struct sigcontext needs asm/sigcontext.h on linux
  • modify gplc: —c-compiler also sets linker and —linker added
  • increase maximum number of atoms to 1048576 (2^20)
  • increase default stack sizes (16Mb for heap, 8Mb for others)