B-Prolog 6.8 review
DownloadWelcome 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).
|
|
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:
Added interface to LP/MIP packages (GNU GLPK and CPLEX)
The tokenizer is modified such that $ can be part of an operator (needed for CPLEX constraints X $= Y, X $>= Y, and X =< Z).
Improvement of reification and global constraints: element, all_distinct, and circuit
Improvement of binary inequality constraints
Improvement of abs(X) #= Y
Improvement of circuit(L)
Re-implementation of X in D and X notin D.
Register overflow fixed.
B-Prolog 6.8 keywords