SICStus Prolog User's Manual 4.3: Core reference documentation - Mats Carlsson - Books - Books on Demand - 9783735737441 - May 27, 2014
In case cover and title do not match, the title is correct

SICStus Prolog User's Manual 4.3: Core reference documentation

Mats Carlsson

SICStus Prolog User's Manual 4.3: Core reference documentation

SICStus Prolog is the de-facto standard industrial Prolog programming environment. With more than 25 years in fielded applications, it has a proven track record of a robust, scalable and efficient system. It is widely used for commercial applications as well as in research and education. This book edition contains the core reference documentation of SICStus Prolog release 4.3.0. SICStus Prolog complies with the ISO Prolog standard, IPv4, IPv6, and Unicode 5.0. It is interoperable with C, C++, . NET, Java, Tcl/Tk, Berkeley DB, ODBC, XML, MiniZinc, and more. It ships with a comprehensive library of modules for abstract data types, program development, operating system and file system access, processes, sockets, constraint solvers, and more. SICStus Prolog compiles to a virtual machine (WAM), emulated by efficient C code and compiled just-in-time to native code for x86-based platforms. Tools provide deployment to stand-alone, all-in-one-file, and embedded applications. The Eclipse-based development environment SPIDER provides semantics-aware editing support, static analysis tools, source-linked debugging, tracking variable bindings, profiling, code coverage, backtraces, call hierarchies, and more.


412 pages

Media Books     Paperback Book   (Book with soft cover and glued back)
Released May 27, 2014
ISBN13 9783735737441
Publishers Books on Demand
Pages 412
Dimensions 189 × 246 × 21 mm   ·   730 g
Language English  
Editor Fruehwirth, Thom

Show all

More by Mats Carlsson