SWI Prolog Reference Manual 7.1
BoD – Books on Demand, May 23, 2014 - Computers - 524 pages
SWI-Prolog offers a comprehensive and portable free-software Prolog programming environment for more than 25 years now. It is widely used in research and education as well as for commercial applications. This is the official reference manual for the latest version of SWI-Prolog. SWI-Prolog aims to be a robust and scalable implementation with fair compatibility to the ISO Prolog standard. Version 7 extends the core language with strings, dicts and functional notation. These extensions optimize data interoperability with other IT systems and help bridging the gap to other programming languages. SWI-Prolog ships with a wide range of interface libraries, providing interfaces to other languages such as C and Java, databases, graphics and networking. It provides extensive support for managing HTML/SGML/XML and RDF documents. The system is particularly suited for server applications due to robust support for multi threading and HTTP server libraries. The SWI-Prolog development environment includes extensive editor support, graphical source-level debugger, autoloading and make facility. The SWI-Prolog editor and the PDT plugin for Eclipse provide alternative environments. This comprehensive manual gives an overview of the system and how to set-up programming projects with it, it describes the built-in predicates, module system, coroutining, threads, the Constraint Handling Rules library, the foreign language interface and how to generate runtime applications.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Initialising and Managing a Prolog Project
Special Variables and Coroutining
Constraint Handling Rules
Foreign Language Interface
A The SWIProlog library
B Hackers corner
Compatibility with other Prolog dialects
E SWIProlog License Conditions and Tools
Other editions - View all
application argument arithmetic Arithmetic function arity associated atom attributed variables autoload backtracking built-in predicates bytes character codes choice point clause command line compatibility compiler compound term constraint context created database debug declaration default defined dict domain dynamic encoding end-of-file environment environment variable error example execution Expr Expr1 Expr2 fails false floating point floating point number functor garbage collection global global variable Goal handle hook implementation initialisation input instantiated integer interface list of character mode module module file MS-Windows multifile multithreaded mutex normal operators option output predicate printed Prolog flag Prolog source Prolog systems Prolog term provides query queue rational number runtime semidet shared library SICStus source file specified stack stream string succeeds SWI-Prolog syntax Term2 termt thread tracer true Unicode unified Unix valgrind Windows write XPCE