B-Prolog 5.0

Version of implementation B-Prolog of programming language Prolog

A version of B-Prolog, released in August 2000.


  • Garbage collection
  • CG: A constraint-based graphics library
  • Support of large-arity (up to 32768) structures
  • Catch and throw
  • Global variables and space-efficient assert
  • Improvement of the efficiency of the finite-domain constraint solver
  • Hash tables, arrays, and set constraint solver