(1)
Your rating: Now say why...
- Download Now
1.2 MB (Beta) - Download 7.5
1.2 MB (Stable) -
Visit Developer's Site
Afany Software
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
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
What's New
Version 7.6b5:
- Support of big integers (input, output, and all arithmetic functions)
- Sharing of ground compound terms in generators and answers for findall/bagof/setof.
- Decouple the memory manager for findall/bagof/setof from that for dynamic clauses.
- ISO-compliant assert/retract that fully reuses memory even with cuts and exceptions
- The built-in set_call_cleanup/3 works with cuts and exceptions
- A new C function named call_bp_term_catch(term) that regains control when an exception occurs during execution of term
- New debugging features, including printing backtrace, undo, and setting print depth.
- Suppress unnecessary "redo" and "fail" messages in traces for determinate calls.
- Internal system predicates are no longer displayed in the trace in debug mode.
- The parser prints out the source code rather than a list of tokens when reporting syntax errors.
- Bug fixes in the compiler
- A new flag, named compiling, which has three possible values: compactcode, debugcode, and profilecode.
- An improvement of sort/2 avoids sorting when the given list is a sorted (ascending or descending) integer list.
- In cumulative(Ss,Ds,Rs,Limit), Limit can be an integer or an integer domain variable.
- Re-implementation of format/2,3.
- ISO-related (updated to pass most of Ulrich Neumerkel's test cases)
- '.' is no longer an operator.
Version 7.6b5:
- Support of big integers (input, output, and all arithmetic functions)
- Sharing of ground compound terms in generators and answers for findall/bagof/setof.
- Decouple the memory manager for findall/bagof/setof from that for dynamic clauses.
- ISO-compliant assert/retract that fully reuses memory even with cuts and exceptions
- The built-in more...
Requirements
PPC / Intel, Mac OS X 10.4 or later
PPC / Intel, Mac OS X 10.4 or later
Be the first to recommend a similar software title.
B-Prolog User Discussion (Write a Review)
Overall:
(1)
(1)
| Downloads:3,819 |
| Version Downloads:85 |
| Type:Development : Compilers |
| License:Demo |
| Date:27 Oct 2011 |
| Platform:PPC / Intel |
| Price:Free |
Overall (Version 7.x):  |
Features: |
| Ease of Use: |
| Value: |
| Stability: |
-
-
-
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.
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.
Copyright © 2012 MacUpdate LLC
- -
+6
JohnKHeath rated on 29 Oct 2011