Thank you for your review
Email me when discounted: 
Learn how MacUpdate Desktop makes installing apps from MacUpdate.com one-click easy.
Next time, install B-Prolog with 1-click

Learn how MacUpdate Desktop can install apps on MacUpdate with the simple click of the Install apps with MacUpdate Desktop icon. Plus, keep all your apps updated.

B-Prolog is a Prolog system with extensions for programming concurrency, constraints, and interactive graphics. The system is based on a significantly refined WAM, called ATOAM, that facilitates software emulation.

In addition to an ATOAM emulator with a garbage collector written in C, the system consists of a compiler and an interpreter written in Prolog, and a rich library of built-in predicates written in C and Prolog. B-Prolog follows the standard of Prolog, but also enjoys several features that are not available in traditional Prolog systems.

B-Prolog is made available (term-limited) for evaluation and more...

What's New

Version 8.1:
  • Support UTF-8.
  • New built-ins: getpid/1, bp_current_resource/1.
  • Bug fixes and improvements:
    • Planner
    • between/3.
    • subtract/3.
    • Multiplication constraint


OS X 10.4 or later

Similar Software

Open Comparison
Suggest Other Similar Software
Leave a Review

B-Prolog User Discussion

To leave a comment, you need to be logged in.
Sort by: Time | Smiles
5 1


Current Version (8.x)


Downloads 4,614
Version Downloads 127
License Demo
Date 24 Feb 2014
Platform OS X / Intel 32
Price $2,980.00
download install download install purchase