next up previous contents
Next: l: Listing Up: Saturate Commands Previous: help   Contents


in, insrc: Reading Input Files


\begin{displaymath} \mbox{{\tt in}}(I), \mbox{{\tt insrc}}(I) \end{displaymath}

Reads input file(s) specified by $I$. $I$ must be an atom $F$, or a pair [$FO$,$F$] of atoms, specifying one or two file names, respectively, and adds them to the empty theory. Except for the fact that the database is cleared before reading, the meaning is the same as for add($I$) and $\mbox{{\tt addsrc}}(I)$, respectively.


Harald Ganzinger 2002-12-04

Imprint | Data Protection