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.
|
|