 |
The hard facts about SICStus Prolog 4.1.1 |
Feature Highlights
The latest version is
4.1.1
featuring:
- SPIDER,
the Eclipse-based development environment for SICStus.
- GNU
Emacs/XEmacs interface with faces-support, indentation with full Prolog
syntax support, online-help, source-linked debugging and breakpointing.
- High performance. Over 28.5 MLIPS on a 1700 MHz Pentium 4.
See Performance Summary.
- Support for stand-alone, all-in-one-file, and embedded applications with
thread-safe runtime system access and multiple virtual machine instances
in the same process.
- Full compliance with International Standard ISO/IEC 13211-1 (PROLOG: Part 1---General Core).
- Support for full UNICODE.
- Breakpointing debugger, with programming features and an advice facility.
- Customizable system for messages and queries issued by
the Prolog system.
- Exception
handling, unbounded precision integers, coroutining.
- A cross-referencer
tool, which helps you find undefined or unreachable code in your
programs.
- A determinacy
checker tool, which helps you spot unwanted nondeterminacy in your
programs.
- The Gauge
profiling tool, which shows where in your code the time is being spent.
- Bi-directional interfaces to
C & C++,
.NET and Java,
and Tcl/Tk.
- An interface to the MiniZinc modeling language for combinatorial problems.
- Module
support and a comprehensive library including modules for e.g.:
|