B-Prolog Icon

B-Prolog

Darwin Prolog compiler.

B-PrologOverview

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 learning purposes only. Please purchase a license for any other purposes. (Academic, personal, and non-commercial site licenses are free.)

NEW

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

B-PrologInformation

Version
8.1
Date
02.24.14
License
Demo
Language
English
File Size
2.1 MB
Category
SubCategory
Operating Systems
Mac OS X
System Requirements
Intel, OS X 10.4 or later
Arduino Icon
Open-source IDE for Arduino.
Free
NetBeans IDE Icon
Integrated Development Environment for Java (IDE).
Free
Hopper Disassembler Icon
Binary disassembler, decompiler, and debugger.
Demo
Logtalk Icon
Object-oriented logic programming language.
Free
Smaller Icon
Make your website load faster.
Trial
Squeezer Icon
Minify, compile, and compress Web sources and images.
Trial
Spark Inspector Icon
Runtime debugger for iOS apps.
Demo
Agena Icon
Procedural programming language.
Free
More