Existing users, log in.  New users, create a free account.  Lost password?

Mac OS X  |  Web & Software Development  |  Compiler  |  B-Prolog

B-Prolog

B-Prolog - 7.0

Prolog compiler for Darwin

Download Now Download Now

(File Size: 1.2M)

Alternate Links Alternate Links

Free Product Alerts!

Register for free to receive alerts when B-Prolog is updated.
All Time: (1.0)
This Version: Not rated (0.0)
Current Version: 7.0
Release Date: 2007-06-07
License: Commercial
Downloads (this version): 1,802
Downloads (all versions): 6,127
Price: $115

Information Related to Version:

Broken Link? Newer Version? Tell us!

Product 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.

What's new in this version:

  • 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.

Operating System Requirements:

This product is designed to run on the following operating systems:

  • Mac OS X 10.4 Intel

Editor's Notes:

The uncompressed BProlog directory must be put in the Home folder.

Screenshots:

Developer: Submit screenshots for B-Prolog

Download Links:

Download B-Prolog Now (File Size: 1.2M)

Download PowerPC Version 

Your Installed Versions:


 
Show All Feedback (7)Search FeedbackSearch Feedback

Feedback Summary:

This Version:
Overall Rating: Not rated (0.0) Features: Not rated (0.0) Support: Not rated (0.0)
Ease of Use: Not rated (0.0) Quality / Stability: Not rated (0.0) Price: Not rated (0.0)
Add Your Feedback

Key to Types of Feedback:

ReviewsReviews   TroubleshootingTroubleshooting   Usage TipsUsage Tips   Developer NotesDeveloper Notes   CommentaryCommentary   Featured ReviewsFeatured Reviews

B-Prolog Troubleshooting ReportDownloading impossible - Version: 7.0, 7/18/2008 09:41PM PST

man de hu
"Forbidden

You don't have permission to access /download/bp70_macx.tar.gz on this server."
Post a commentAlert Admin

Most Recent Replies: View All 1 Replies

B-Prolog Reviewstartup problem - Version: 6.6, 1/14/2005 12:21AM PST

Peter Borrows
When launching, BProlog request to type "Yes" to accept the license, but no matter what i type, it quits without comment, the FAQ doesnt help also .
Post a commentAlert Admin

B-Prolog CommentaryB-Prolog: The 10th Anniversary - Version: 6.6, 6/1/2004 04:59PM PST

nfz
Dear Prolog users,


This year marks the 10th anniversary of B-Prolog. The first version of B-Prolog was released in Spring 1994. After more than 15 years' dedicated efforts by the developers and after 10 years' warm brace by the community, B-Prolog has grown into a stable, efficient, versatile, and popular Constraint Logic Programming system.

B-Prolog is an efficient implementation of standard Prolog and several useful extensions including delaying, constraint solving (over Boolean, finite-domains, trees, and finite sets), and tabling. B-Prolog has been adopted by several relatively large application projects ranging from CAD, natural language processing, optimization, data mining, to business logic. The Java interface JIPL* enables seamless integration of Prolog with Java, and the CGLIB graphics library** makes graphics programming enjoyable. B-Prolog runs on multiple platforms including Windows, Linux, MacOS X, and Solaris.

The latest release is version 6.6, which employs several new optimization techniques for tabling that lead to significant enhancement of performance.

B-Prolog is available for free of charge to individuals and institutions for non-profit uses. B-Prolog is an open-source product with free upgrades*** to site licensees at very reasonable prices.

Please feel free to contact me if you have any comments or questions.


* JIPL is developed by KLS Inc.
** CGLIB runs on Windows only
*** Free upgrade for 2 years


Best regards,
Neng-Fa Zhou
B-Prolog (www.bprolog.com, www.probp.com)

Post a commentAlert Admin