GNU Prolog

A lot of work has been devoted to the ISO compatibility. GNU Prolog is very close to the ISO standard. Prolog system: conforms to the ISO standard for Prolog (integer/floating arithmetic, streams, dynamic code, exceptions). clause indexing. a lot of extensions: global variables, definite clause grammars (DCG), sockets interface, operating system interface,... more than 300 Prolog built-in predicates. Prolog debugger and a low-level WAM debugger. line editing facility under the interactive interpreter with completion on atoms. powerful bidirectional interface between Prolog and C. Compiler: native-code compiler producing stand alone executables. simple command-line compiler accepting a wide variety of files: Prolog files, C files, WAM files,... direct generation of assembly code 15 times faster than wamcc + gcc. most unused built-in predicates are not linked (to reduce the size of the executables). compiled predicates (native-code) as fast as wamcc on average. consulted predicates (byte-code) 5 times faster than wamcc. which will produce the executable called prog (use gplc --help to have a brief overview of available options). In Microsoft Windows if you intend to use the gplc compiler as described in the documentation ensure that the following conditions are met: for the port compiled with Microsoft Visual C++ (aka MSVC++) you need Microsoft Visual Studio (tested on version 2026 Community). for the ports compiled via Msys, install Msys and needed toochain. Observing these needs you will also be able to do the mixed language programming, as in the examples included in the ExamplesC directory. However you'll need to write your own Makefile as the one provided is for gplc calling 'gcc' and the options passed by GNU Prolog will not work (see file ExamplesC/README). The directory doc contains various versions of the manual. Refer to the file doc/README for more information. An in-line HTML version can be accessed from the GNU Prolog web page. the GNU Lesser General Public License (LGPL) as published by the Free Software Foundation; either version 3 of the License, or (at your option) any later version. the GNU General Public License (GPL) as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. GNU Prolog is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. You should have received copies of the GNU General Public License and the GNU Lesser General Public License along with this program. If not, see Remark: versions of GNU Prolog prior to 1.4.0 were entirely released under the GNU General Public License (GPL).