next up previous contents
Next: cl: Clearing the Database Up: Saturate Commands Previous: Separating Logic and Meta-Logical   Contents


cd


\begin{displaymath}
\mbox{{\tt cd($D$)}}
\end{displaymath}

Changes current working directory to $D$, that is, $D$ becomes the working directory for any subsequent input and output.

The default settings for flags for this directory become the current flag settings and the active defaults for subsequent changes (sa?? commands). If the directory does not contain a defaults specification it will be created in some predefined way and stored in a file (named defaults) in that directory. Changes to these defaults can be made subsequently by the set active ... commands together with the save active ... commands.

$D$ must be a Prolog atom denoting the directory. Sorry, no abbreviations allowed. Write single quotes `` ' '' around $D$, if $D$ contains delimiters such as `` . '' or `` / '' such as in cd('/HG/usr/hg/saturate/examples').



Harald Ganzinger 2002-12-04

Imprint | Data Protection