- Quick specs
- Price: Free to try $298.00 to buy
- Operating system: Mac OS X 10.4 PPC/Intel/10.5 PPC/Intel
- Date added: October 01, 2009
- Total Downloads: 170
- Downloads last week: 1
- See full specifications
- Average user rating: Be the first to rate this product!
Publisher's description
From KopecSoft :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.
What's new in this version:
- Table constraints. A table or extensional constraint is either positive or negative. A positive constraint takes the form 'X in R' and a negative constraint takes the form 'X notin R' where X is a tuple variables (X1,...,Xn) or a list of tuples of variables [(X11,...,X1n),...,(Xm1,...,Xmn)], and R is a table defined as a set of tuples of integers where each tuple takes the form (a1,...,an).
- Support of table modes. A table declaration takes the form ':-table p(M1,...,Mn):N.' wh... see all new features
More popular Interpreters & Compilers downloads
- 11 downloads 1. Intel C++ Compiler Professional
- 3 downloads 2. F-Script
- 3 downloads 3. Ch
- 2 downloads 4. Logtalk
- 2 downloads 5. Xtoolchain
- See all Interpreters & Compilers downloads
User reviews
Write your own review Be the first one to review B-Prolog 7.3 and share your experience with the CNET community!
Submit your review
- See more CNET content tagged:
- programming
Previous Versions:
