B-Prolog for Mac

By KopecSoft Free to try

Developer's Description

Welcome to B-Prolog, a versatile and efficient constraint logic programming (CLP) system! B-Prolog is being brought to you by Afany Software (New York), KLS (Tokyo), and NandaSoft (Nanjing).
The birth of CLP is a milestone in the history of programming languages. CLP combines two declarative programming paradigms: logic programming and constraint solving. The declarative nature has proven appealing in numerous applications including computer-aided design and verification, database, data mining, software engineering, optimization, configuration, graphical user interface, and language processing. It greatly enhances the productivity of software development and software maintainability. In addition, because of the availability of efficient constraint-solving, memory management, and compilation techniques, CLP programs can be more efficient than their counterparts written in procedural languages.

Full Specifications

What's new in version 8.1

  • Support UTF-8.
  • New built-ins: getpid/1, bp_current_resource/1.
  • Bug fixes and improvements:
    Multiplication constraint


Release February 24, 2014
Date Added February 24, 2014
Version 8.1

Operating Systems

Operating Systems Mac OS X 10.9, Mac OS X 10.5, Mac OS X 10.8, Mac OS X 10.6 Intel, Macintosh, Mac OS X 10.4, Mac OS X 10.6, Mac OS X 10.4 Intel, Mac OS X 10.7, Mac OS X 10.5 Intel
Additional Requirements None


Total Downloads 946
Downloads Last Week 0
Report Software

Related Software

Intel Fortran Compiler Professional

Free to try
Intel Fortran Compiler Professional



Berkeley UPC

Berkeley UPC



User Reviews

1 User Votes
5 Star
4 Star
3 Star
2 Star
1 Star

Get the best price on everything

Shop your favorite products and we’ll find the best deal with a single click. Designed to make shopping easier.