B-Prolog 6.4

Version of implementation B-Prolog of programming language Prolog

A version of B-Prolog, released in March 2003.

Changes:

  • Improved tabling system.
  • Bug fix in format/2 and write_canonical/1.
  • Slight improvement of the CLP(FD) solver.
  • Dynamic hashing adopted for interpreted clauses.
  • Bug fix in the Solaris version.
  • Space-efficient findall.

Links: