B-Prolog 8.0

Version of implementation B-Prolog of programming language Prolog

B-Prolog 8.0 released Sep. 21, 2013.

Main changes from B-Prolog 7.8#5:

  • Interface with MiniSAT for Windows (Lingeling is used for Unix).
  • Performance improvements (compile time, tabled programs, the multiplication constraint).
  • Built-ins for planning problems (bp_plan/2-4, bp_plan_unbounded/2-4, bp_best_plan/2-4, bp_best_plan_unbounded/2-4).
  • The maximum arity of structures is extended to 268435455 (228-1).
  • Bug fixes