tool: GNU Prolog

---

Language:	ISO Prolog + constraint solving over finite domains (FD)
Version:	1.0.0
Parts:	native compiler, interpreter, library.
Author:	Daniel Diaz <Daniel.Diaz@inria.fr>
Location:	ftp://ftp.inria.fr/INRIA/Projects/loco/gnu-prolog/ or from any GNU site (in /gnu/prolog/)
Description:	A native compiler for ISO Prolog with constraint solving over finite domains. GNU Prolog accepts a Prolog+constraint program and produces a native binary which is stand-alone. GNU Prolog also offers a classical interactive interpreter. The Prolog part conforms to the ISO standard for Prolog with many extensions: global variables, OS interface, sockets,... GNU Prolog also includes a very efficient constraint solver over Finite Domains (FD).
Discussion:	users-prolog@gnu.org (mailing list)
Bugs:	bug-prolog@gnu.org
Updated:	April 19th, 1999

category: logic programming languages summary, or expanded.