X

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:
    Planner
    between/3.
    subtract/3.
    Multiplication constraint

General

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

Popularity

Total Downloads 946
Downloads Last Week 0
Report Software

Related Software

Intel Fortran Compiler Professional

Free to try
Intel Fortran Compiler Professional

Logtalk

Free
Logtalk

Berkeley UPC

Free
Berkeley UPC

Agena

Free
Agena

User Reviews

1/5
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.