NAME
yap - prolog interpreter and compiler
SYNOPSIS
yap [options] filename
DESCRIPTION
yap is a prolog interpreter and compiler.
In its basic form, yap starts an interactive Prolog interpreter. When
restoring a saved state, yap will allocate the same amount of memory as
that in use when the state was saved, unless a different amount is
specified by flags in the command line. By default, yap restores the
file startup from the current directory or from the yap library.
See the yap manual for how to use yap for writing Prolog scripts.
OPTIONS
-? Print a short error message.
-s n Allocate n K bytes for local and global stacks.
-h n Allocate n K bytes for heap and auxiliary stacks
-t n Allocate n K bytes for the trail stack
-l yap-file
Compile the Prolog file yap-file before entering the top-level.
-L yap-file
Compile the Prolog file yap-file and then halt. This option is
useful for implementing scripts.
-g goal
run the goal goal before top-level. The goal is converted from
an atom to a Prolog term.
-z goal
run the goal goal as top-level. The goal is converted from an
atom to a Prolog term.
-b boot-file
Boot code is in Prolog file boot-file. The filename must define
the predicate ’$live’/0.
-c ip-host port
Connect standard streams to host ip-host at port port.
filename
Restore state saved in the given file.
-- Separator for arguments to Prolog code. These arguments are
visible through the unix/1 built-in.
ENVIRONMENT
YAPBINDIR
Yap usually boots from a saved state. The saved state will use
the default installation directory to search for the YAP binary
unless you define the environment variable YAPBINDIR.
YAPLIBDIR
Yap always tries to find saved states from the current directory
first. If it cannot it will use the environment variable
YAPLIBDIR, if defined, or search the default library directory.
YAPSHAREDIR
Yap will try to find library files from the YAPSHAREDIR/library
directory.
SEE ALSO
The YAP manual is on a debian system available through the info system
(command info yap), and as a html document through the debian help
system.
AUTHOR
Yap was written by R. Lopes, L.Damas, V. Santos Costa.
This manual page was compiled by Ralf Treinen <treinen@debian.org> from
the Yap manual for the Debian project (but may be used by others).
COPYRIGHT
Since this manpage is derived from the yap manual it is subject to the
licence of the yap manual:
Permission is granted to make and distribute verbatim copies of this
manual provided the copyright notice and this permission notice are
preserved on all copies.
Permission is granted to copy and distribute modified versions of this
manual under the conditions for verbatim copying, provided that the
entire resulting derived work is distributed under the terms of a
permission notice identical to this one.
Permission is granted to copy and distribute translations of this
manual into another language, under the above conditions for modified
versions.
December 23, 2007