B-Prolog specifications

What's new in version 7.5#8

  • An improvement of sort/2 avoids sorting when the given list is a sorted (ascending or descending) integer list.
  • In cumulative(Ss,Ds,Rs,Limit), Limit can be an integer or an integer domain variable.
  • Re-implementation of format/2,3.
  • Suppress unnecessary "redo" and "fail" messages in traces for determinate calls.
  • The parser prints out the souce code rather than a list of tokens when reporting syntax errors.
  • Internal system predicates are no longer displayed in the trace in debug mode.
  • ISO-related (updated to pass most of Ulrich Neumerkel's test cases)
  • '.' is no longer an operator.


  • Publisher KopecSoft
  • Publisher web site http://www.kopecsoft.com/
  • Release date August 02, 2011
  • Date added August 02, 2011
  • Version 7.5#8


System requirements

  • Operating systems Mac OS X 10.4 Intel, Mac OS X 10.4, Mac OS X 10.5 Intel, Mac OS X 10.6 Intel, Mac OS X 10.6, Mac OS X 10.5
  • Additional requirements Not available

Download information

  • File size 1.46MB
  • File name bp75_macx.tar.gz


  • Total Downloads 532
  • Downloads last week 1


  • License model Free to try
  • Limitations Not available
  • Price $298.00