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.