SICStus Prolog User’s Manual 4.3
dZimAwAAQBAJ
412
By:"Mats Carlsson"
"Computers"
Published on 2014-05-27 by BoD – Books on Demand
5, 83 expansion, module name (definition) . . . . . . . . . . . 14 explicit unification. . . . . \u003cbr\u003e\n. . . . . . . . . . . . . . . . . . . . . . . 122 \u003cb\u003eexport\u003c/b\u003e (\u003cb\u003edefinition\u003c/b\u003e) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . \u003cbr\u003e\n11 ... 132 exporting predicates from a module . . . . . . . . . . . 158 expression ...
READ NOW
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.
This Book was ranked 30 by Google Books for keyword export definition.
The book is written in enfor NOT_MATURE
Read Ebook Now
false
true
Printed Version of this book available in
BOOK
Availability of Ebook version is falsein falseor false
Public Domain Status false
Rating by
SAMPLE
false
To Get More Industrial Export - Import Ebooks Click Here
Tidak ada komentar:
Posting Komentar