<HTML> <HEAD> <!-- Created by texi2html 1.56k + clip patches and <A href="http://www.clip.dia.fi.upm.es/Software">lpdoc</A> from ciao.texi on 28 January 2007 --> <LINK rel="stylesheet" href="ciao.css" type="text/css"> <TITLE>The Ciao Prolog System - io (library)</TITLE> </HEAD> <BODY> Go to the <A HREF="ciao_1.html">first</A>, <A HREF="ciao_218.html">previous</A>, <A HREF="ciao_220.html">next</A>, <A HREF="ciao_241.html">last</A> section, <A HREF="ciao_toc.html">table of contents</A>. <P><HR><P> <H1><A NAME="SEC856" HREF="ciao_toc.html#TOC856">io (library)</A></H1> <P> <A NAME="IDX9287"></A> <P> <STRONG>Author(s):</STRONG> Göran Smedbäck. <P> <STRONG>Version:</STRONG> 0.1#2 (1998/12/2) <P> This file implements I/O predicates of different types. <P> Implemented by Göran Smedbäck <UL> <LI><A HREF="ciao_219.html#SEC857">Usage and interface (io)</A> <LI><A HREF="ciao_219.html#SEC858">Documentation on exports (io)</A> </UL> <H2><A NAME="SEC857" HREF="ciao_toc.html#TOC857">Usage and interface (<CODE>io</CODE>)</A></H2> <div class="cartouche"> <UL> <LI><STRONG>Library usage:</STRONG> <CODE>:- use_module(library(io)).</CODE> <LI><STRONG>Exports:</STRONG> <UL> <LI><EM>Predicates:</EM> <A NAME="IDX9288"></A> <CODE>out/1</CODE>, <A NAME="IDX9289"></A> <CODE>out/3</CODE>, <A NAME="IDX9290"></A> <CODE>convert_atoms_to_string/2</CODE>, <A NAME="IDX9291"></A> <CODE>read_terms_file/2</CODE>, <A NAME="IDX9292"></A> <CODE>write_terms_file/2</CODE>, <A NAME="IDX9293"></A> <CODE>read_vrml_file/2</CODE>, <A NAME="IDX9294"></A> <CODE>write_vrml_file/2</CODE>. </UL> <LI><STRONG>Other modules used:</STRONG> <UL> <LI><EM>System library modules:</EM> <A NAME="IDX9295"></A> <CODE>aggregates</CODE>, <A NAME="IDX9296"></A> <CODE>dynamic</CODE>, <A NAME="IDX9297"></A> <CODE>iso_misc</CODE>, <A NAME="IDX9298"></A> <CODE>iso_byte_char</CODE>, <A NAME="IDX9299"></A> <CODE>iso_incomplete</CODE>, <A NAME="IDX9300"></A> <CODE>operators</CODE>, <A NAME="IDX9301"></A> <CODE>read</CODE>, <A NAME="IDX9302"></A> <CODE>write</CODE>, <A NAME="IDX9303"></A> <CODE>lists</CODE>, <A NAME="IDX9304"></A> <CODE>format</CODE>. </UL> </UL> </div class="cartouche"> <H2><A NAME="SEC858" HREF="ciao_toc.html#TOC858">Documentation on exports (<CODE>io</CODE>)</A></H2> <P> <A NAME="IDX9305"></A> <A NAME="IDX9306"></A> <DL> <DT><span class="define">PREDICATE:</span> <B>out/1:</B> <DD><A NAME="IDX9307"></A> <P> <STRONG>Usage:</STRONG> <CODE>out(+ListOfOutput)</CODE> <UL> <LI><EM>Description:</EM> The predicate used is out/3 (DCG) where we will 'save' the output in the second argument. The tird argument is the rest, nil. <LI><EM>Call and exit should be <EM>compatible</EM> with:</EM> <CODE>+ListOfOutput</CODE> is a list of <CODE>atm</CODE>s. (<CODE>basic_props:list/2</CODE>) </UL> </DL> <P> <A NAME="IDX9308"></A> <A NAME="IDX9309"></A> <DL> <DT><span class="define">PREDICATE:</span> <B>out/3:</B> <DD><A NAME="IDX9310"></A> <P> No further documentation available for this predicate. </DL> <P> <A NAME="IDX9311"></A> <A NAME="IDX9312"></A> <DL> <DT><span class="define">PREDICATE:</span> <B>convert_atoms_to_string/2:</B> <DD><A NAME="IDX9313"></A> <P> <STRONG>Usage:</STRONG> <CODE>convert_atoms_to_string(+Atoms, -String)</CODE> <UL> <LI><EM>Description:</EM> The predicate transforms a list of atoms to a string. <LI><EM>Call and exit should be <EM>compatible</EM> with:</EM> <CODE>+Atoms</CODE> is a list of <CODE>atm</CODE>s. (<CODE>basic_props:list/2</CODE>) <CODE>-String</CODE> is a list of <CODE>num</CODE>s. (<CODE>basic_props:list/2</CODE>) </UL> </DL> <P> <A NAME="IDX9314"></A> <A NAME="IDX9315"></A> <DL> <DT><span class="define">PREDICATE:</span> <B>read_terms_file/2:</B> <DD><A NAME="IDX9316"></A> <P> <STRONG>Usage:</STRONG> <CODE>read_terms_file(+Filename, -Term)</CODE> <UL> <LI><EM>Description:</EM> Given a filename to a file with terms, the predicate reads the terms and are returned in the second argument. <CODE>Filename</CODE> is an atom and <CODE>Term</CODE> is the read prolog terms. <LI><EM>Call and exit should be <EM>compatible</EM> with:</EM> <CODE>+Filename</CODE> is an atom. (<CODE>basic_props:atm/1</CODE>) <CODE>-Term</CODE> is an atom. (<CODE>basic_props:atm/1</CODE>) </UL> </DL> <P> <A NAME="IDX9317"></A> <A NAME="IDX9318"></A> <DL> <DT><span class="define">PREDICATE:</span> <B>write_terms_file/2:</B> <DD><A NAME="IDX9319"></A> <P> <STRONG>Usage:</STRONG> <CODE>write_terms_file(+FileName, +List)</CODE> <UL> <LI><EM>Description:</EM> Given a filename and a list of terms the predicate will write them down to the file. <LI><EM>Call and exit should be <EM>compatible</EM> with:</EM> <CODE>+FileName</CODE> is an atom. (<CODE>basic_props:atm/1</CODE>) <CODE>+List</CODE> is a list of <CODE>atm</CODE>s. (<CODE>basic_props:list/2</CODE>) </UL> </DL> <P> <A NAME="IDX9320"></A> <A NAME="IDX9321"></A> <DL> <DT><span class="define">PREDICATE:</span> <B>read_vrml_file/2:</B> <DD><A NAME="IDX9322"></A> <P> <STRONG>Usage:</STRONG> <CODE>read_vrml_file(+FileName, -Data)</CODE> <UL> <LI><EM>Description:</EM> Given a filename, the predicate returns the substance. <LI><EM>Call and exit should be <EM>compatible</EM> with:</EM> <CODE>+FileName</CODE> is an atom. (<CODE>basic_props:atm/1</CODE>) <CODE>-Data</CODE> is a string (a list of character codes). (<CODE>basic_props:string/1</CODE>) </UL> </DL> <P> <A NAME="IDX9323"></A> <A NAME="IDX9324"></A> <DL> <DT><span class="define">PREDICATE:</span> <B>write_vrml_file/2:</B> <DD><A NAME="IDX9325"></A> <P> <STRONG>Usage:</STRONG> <CODE>write_vrml_file(+FileName, +Data)</CODE> <UL> <LI><EM>Description:</EM> Given a filename and data in form of a string, the predicate will write the data to the named file. <LI><EM>Call and exit should be <EM>compatible</EM> with:</EM> <CODE>+FileName</CODE> is an atom. (<CODE>basic_props:atm/1</CODE>) <CODE>+Data</CODE> is a string (a list of character codes). (<CODE>basic_props:string/1</CODE>) </UL> </DL> <P><HR><P> Go to the <A HREF="ciao_1.html">first</A>, <A HREF="ciao_218.html">previous</A>, <A HREF="ciao_220.html">next</A>, <A HREF="ciao_241.html">last</A> section, <A HREF="ciao_toc.html">table of contents</A>. </BODY> </HTML>