B-Prolog 7.0

B-Prolog is a versatile and really 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.
B-Prolog 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.
Enhancements:
- The redesigned virtual machine boosts the speed by 50% on average on Windows and between 60-80% on Linux.
- Runtime test performed in tagging/untagging so that the Linux version runs on all Linux machines including RedHad and Suse.
- Variable-length meta-calls (call/1..n)
- The unifier posts dom and dom_any events when unifying two domain variables
- Use /tmp if the current working directory or the specified directory is not writable
- Speed improvement in the Java interface
- Bug fixes and improvements in CGLIB
- New built-ins (table_remove0 and table_remove(Goal)) for cleaning up table entries
- New labeling built-ins and options.
- labeling_mix/4,labeling_mix/3, and labeling_mix/2.
- labeling_min/1,labeling_max/1
- New options in labeling(Options,Vars): min,max,forward,backward,inout,ff_forward,ff_backward,ff_inout,ffc_forward,ffc_backward,ffc_inout,time_out(Time),and time_out(Time,Res).
- New built-ins on directory and files (thanks to Paulo Moura for the draft standard):
- call_cleanup/2
- copy_file/2
- delete_directory/1
- delete_file/1
- directory_exists/1
- directory_files/2
- file_base_name/2
- file_directory_name/2
- file_exists/1
- file_property/2
- file_stat/2
- make_directory/1
- rename_file/1
- working_directory/1
- The interface to GLPK 4.9 works in Windows, Linux and Mac versions but not the Solaris version.