.\"                                      Hey, EMACS: -*- nroff -*-
.TH GPROLOG 1 "December 10, 2016"
.SH NAME
gprolog \- prolog interpreter and native code compiler
.SH SYNOPSIS
.B gprolog
.br
.B gplc
.RI [ options ] " [ filename ]"
.SH DESCRIPTION
\fBGNU Prolog\fP (gprolog) is a prolog interpreter and compiler to
native code.

In its basic form, \fIgprolog\fP starts an interactive Prolog
interpreter.  The \fIgplc\fP command compiles Prolog sources into
object files, which may be linked to produce a stand-alone executable.

See the GNU Prolog manual (online) for how to use \fIgprolog\fP and
\fIgplc\fP for writing Prolog programs.

.SH OPTIONS
.TP
.B \--help
Print a summary of allowable options.
.TP
.B  filename
(for \fIgplc\fP) compile the specified file.

.SH ENVIRONMENT
.TP
.B TRAILSZ
Size of the \fItrail stack\fP, needed to effect backtracking (undo
bindings), defaults to 2097152 (2MB).
.TP
.B CSTRSZ
Size of the constraints stack, defaults to 2097152 (2MB).
.TP
.B GLOBALSZ
Size of the global stack, also known as the heap, defaults to 4194304
(4MB).
.TP
.B LOCALSZ
Size of the local stack, defaults to 2097152 (2MB).

.SH SEE ALSO
The YAP manual is available on a debian system in the
.B gprolog-doc
package, as the PDF file
. B /usr/share/doc/gprolog-doc/gprolog.pdf
and as an html document at the URL
.B http://gprolog.org/manual/html_node/

.SH AUTHOR
GNU Prolog is written and maintained by Daniel Diaz.
.PP
This manual page was compiled by Salvador Abreu <spa@debian.org>,
based on the page for Yap Prolog written by Ralf Treinen
<treinen@debian.org>.

.SH COPYRIGHT
Since this manpage is derived from the GNU Prolog manual it is subject
to its licence, which is either the standard GPL-3 or LGPL-3
(dual-licensed).  Refer to the text of these licenses in a debian
system in the directory
.B /usr/share/common-licences