Icon of program: B-Prolog

B-Prolog for Mac

Download now

Key Details of B-Prolog

  • Prolog compiler for Darwin.
  • Last updated on
  • There have been 3 updates
  • Virus scan status:

    Clean (it's extremely likely that this software program is clean)

Developer's Description

By KopecSoft
Prolog compiler for Darwin.
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.
Icon of program: B-Prolog

B-Prolog for Mac

Download now

Explore More

Full Specifications

GENERAL
Release
Latest update
Version
8.1
OPERATING SYSTEMS
Platform
Mac
Operating System
  • Mac OS X 10.5
  • Mac OS X
  • Mac OS X 10.7
  • OS X 10.9
  • OS X 10.8
  • Mac OS X 10.6
  • Mac OS X 10.4
Additional Requirements
None
POPULARITY
Total Downloads
948
Downloads Last Week
0
Report Software

Program available in other languages

Last Updated

User Reviews

1/5

1 User Votes