%%name: prolog

%%short-description: Prolog compiler
 
%%full-description: GNU Prolog is a free Prolog compiler with
constraint solving over finite domains. It accepts a Prolog+
constraint program and produces a native binary. The obtained
executable is now stand-alone. This executable can be quite small
since GNU Prolog doesn't need to link the code of most unused built-in
predicates.

Besides the native code compilation, GNU Prolog offers a classical
interactive interpreter (top-level). It also conforms to the ISO
standard for Prolog.

The program also includes an efficient constraint solver over Finite
Domains (FD). This opens constraint logic programming to the user,
combining its power with the declarativity of logic programming.

%%category: development

%%license: GPL

%%maintainer: Daniel Diaz  <Daniel.Diaz@inria.fr>

%%updated: 17 Feb 2000

%%keywords: development, compiler, constraint, finite domains

%%programs: 

%%GNU: yes

%%web-page: http://www.paulliac.inria.fr/~diaz/gnu-prolog/

%%support:

%%doc: User reference manual available from
http://paulliac.inria.fr/~diaz/gnu-prolog/manual/index.html; User
reference manual available in PostScript version from
ftp://ftp.inria.fr/INRIA/projects/loco/gnu-prolog/manual.ps.gz; User
reference manual available in DVI version from
ftp://ftp.inria.fr/INRIA/projects/loco/gnu-prolog/man-dvi.tar.gz.

%%developers:  Daniel Diaz  <Daniel.Diaz@inria.fr>

%%contributors: 

%%sponsors:

%%source:
ftp://ftp.ftp.inria.fr/INRIA/Projects/loco/gnu-prolog/gprolog-1.1.2.tar.gz

%%debian:

%%redhat:

%%repository:

%%related: 

%%source-language:

%%supported-languages: Prolog

%%use-requirements: 

%%build-prerequisites:

%%weak-prerequisites:

%%source-prerequisites:

%%version: 1.1.0 on 03 May 1999

%%announce-list:

%%announce-news:

%%help-list:

%%help-news: 

%%dev-list: users-prolog@gnu.org

%%dev-news:

%%bug-list: bug-prolog@gnu.org










 





