{"id":22102,"date":"2023-02-22T03:58:20","date_gmt":"2023-02-22T03:58:20","guid":{"rendered":"https:\/\/www.booksofall.com\/vi\/?post_type=product&p=22102"},"modified":"2023-02-22T03:59:49","modified_gmt":"2023-02-22T03:59:49","slug":"gnu-prolog-manual","status":"publish","type":"product","link":"https:\/\/www.booksofall.com\/vi\/gnu-prolog-manual\/","title":{"rendered":"GNU Prolog Manual"},"content":{"rendered":"

GNU Prolog is a free Prolog compiler with constraint solving over finite domains. For recent information about GNU Prolog please consult the GNU Prolog page<\/a>.<\/p>\n

GNU Prolog is a Prolog compiler based on the Warren Abstract Machine (WAM)<\/a>. It first compiles a Prolog program to a WAM file which is then translated to a low-level machine-independent language called mini-assembly specifically designed for GNU Prolog. The resulting file is then translated into the assembly language of the target machine (from which an object is obtained). This allows GNU Prolog to produce a native stand alone executable from a Prolog source (similarly to what does a C compiler from a C program). The main advantage of this compilation scheme is to produce native code and to be fast. Another interesting feature is that executables are small. Indeed, the code of most unused built-in predicates is not included in the executables at link time.<\/p>\n

A lot of work has been devoted to ISO compatibility. Indeed, GNU Prolog is very close to the ISO standard<\/a> for Prolog.<\/p>\n

GNU Prolog also offers various extensions very useful in practice (global variables, OS interface, sockets,…). In particular, GNU Prolog contains an efficient constraint solver over Finite Domains (FD). This opens constraint logic programming to the user combining the power of constraint programming to the declarativity of logic programming. The key feature of the GNU Prolog solver is the use of a single (lowlevel) primitive to define all (high-level) FD constraints. There are many advantages of this approach: constraints can be compiled, the user can define his own constraints (in terms of the primitive), the solver is open and extensible (as opposed to black-box solvers like CHIP),. . . Moreover, the GNU Prolog solver is rather efficient, often more than commercial solvers.<\/p>\n

GNU Prolog is inspired from two systems: \u2022 wamcc: a Prolog to C compiler. the key point of wamcc was its ability to produce stand alone executables using an original compilation scheme: the translation of Prolog to C via the WAM<\/a>. Its drawback was the time needed by gcc to compile the produced sources. GNU Prolog can also produce stand alone executables but using a faster compilation scheme.<\/p>\n

\u2022 clp(FD)<\/a>: a constraint programming language over FD. Its key feature was the use of a single primitive to define FD constraints. GNU Prolog is based on the same idea but offers an extended constraint definition language. In comparison to clp(FD), GNU Prolog offers new predefined constraints, new predefined heuristics, reified constraints,. . .<\/p>\n

Here are some features of GNU Prolog:<\/p>\n

\u2022 Prolog system:<\/p>\n

\u2013 conforms to the ISO standard for Prolog (floating point numbers, streams, dynamic code,. . . ).<\/p>\n

\u2013 a lot of extensions: global variables, definite clause grammars (DCG), sockets interface, operating system interface,. . .<\/p>\n

\u2013 more than 300 Prolog built-in predicates.<\/p>\n

\u2013 Prolog debugger and a low-level WAM debugger.<\/p>\n

\u2013 line editing facility under the interactive interpreter with completion on atoms.<\/p>\n

\u2013 powerful bidirectional interface between Prolog and C.<\/p>\n

\u2022 Compiler:<\/p>\n

\u2013 native-code compiler producing stand alone executables.<\/p>\n

\u2013 simple command-line compiler accepting a wide variety of files: Prolog files, C files, WAM files,. . .<\/p>\n

\u2013 direct generation of assembly code 15 times faster than wamcc + gcc.<\/p>\n

\u2013 most of unused built-in predicates are not linked (to reduce the size of the executables).<\/p>\n

\u2013 compiled predicates (native-code) as fast as wamcc on average.<\/p>\n

\u2013 consulted predicates (byte-code) 5 times faster than wamcc.<\/p>\n

\u2022 Constraint solver:<\/p>\n

\u2013 FD variables well integrated into the Prolog environment (full compatibility with Prolog variables and integers). No need for explicit FD declarations.<\/p>\n

\u2013 very efficient FD solver (comparable to commercial solvers).<\/p>\n

\u2013 high-level constraints can be described in terms of simple primitives.<\/p>\n

\u2013 a lot of predefined constraints: arithmetic constraints, boolean constraints, symbolic constraints, reified constraints,. . .<\/p>\n

\u2013 several predefined enumeration heuristics.<\/p>\n

\u2013 the user can define his own new constraints.<\/p>\n

\u2013 more than 50 FD built-in constraints\/predicates.<\/p>\n","protected":false},"excerpt":{"rendered":"