B-Prolog 7.2

Version of implementation B-Prolog of programming language Prolog

A version of B-Prolog, released on February 8, 2009.

Changes:

  • Fix of the glitch that results in slow-down because of gc.
  • Specialization of propagators for linear constraints.
  • Update of print_ans for displaying top-level answers.
  • Change “%d” to “%ld” so that long integers can be correctly printed on 64-bit machines. Change “ULONG” to “BPULONG” to avoid a name conflict with Windows.
  • Shorten start-up time.
  • Changed that L and U in X in L..U and X notin L..U can be any expressions that give integers.

Links: