Thank you for your review
$2,980 00
Email me when discounted: 

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

Nobody has reviewed or commented on this app yet. Add your own comment and get a discussion going!
Sort by: Time | Smiles
Sparrowhawk Member IconComment+23

Those screen-shots look remarkably like a Psion Revo running the EPOC 32 OS! I have one of those in the loft somewhere...

So, does this Prolog run in a Psion emulator? That would be rather retro chic but I'm not sure how useful it would be for OS X users wanting to write larger Prolog apps

Reply0 replies
Version 8.0
user icon+9
Version 7.6b5
> 5 1


Current Version (8.x)


Downloads 4,567
Version Downloads 80
License Demo
Date 24 Feb 2014
Platform OS X / Intel 32
Price $2,980.00
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. Play video...