The hard facts about SICStus Prolog 4.1.1

Feature Highlights

• 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.:
  • A general constraint solver interface based on attributed variables with solvers for finite domains, booleans, reals/rationals, and constraint handling rules. The finite domain solver comes with a debugger tracing constraint propagation.
  • SICStus Objects enables programmers to write object-oriented programs. The objects in SICStus Objects are modifiable data structures that provide a clean and efficient alternative to storing data in the Prolog database.
  • Persistent term storage based on Berkeley DB.
  • ODBC database interface library based on a straight interface to the standard ODBC API.
  • A GUI module based on a straight interface to Tcl/Tk.
  • Access to the operating system, the file system, processes, and sockets in a platform independent way.
  • Microsoft COM Automation objects interface.
  • Parsing and generating XML.
  • The PiLLoW Web Programming Library.