<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 - Sockets I/O</TITLE> </HEAD> <BODY> Go to the <A HREF="ciao_1.html">first</A>, <A HREF="ciao_89.html">previous</A>, <A HREF="ciao_91.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="SEC379" HREF="ciao_toc.html#TOC379">Sockets I/O</A></H1> <P> <A NAME="IDX4895"></A> <P> <STRONG>Author(s):</STRONG> Francisco Bueno. <P> <STRONG>Version:</STRONG> 1.10#7 (2006/4/26, 19:22:13 CEST) <P> <STRONG>Version of last change:</STRONG> 1.9#241 (2003/12/22, 18:56:7 CET) <P> This module provides two useful predicates for programming with sockets. <UL> <LI><A HREF="ciao_90.html#SEC380">Usage and interface (sockets_io)</A> <LI><A HREF="ciao_90.html#SEC381">Documentation on exports (sockets_io)</A> </UL> <H2><A NAME="SEC380" HREF="ciao_toc.html#TOC380">Usage and interface (<CODE>sockets_io</CODE>)</A></H2> <div class="cartouche"> <UL> <LI><STRONG>Library usage:</STRONG> <CODE>:- use_module(library(sockets_io)).</CODE> <LI><STRONG>Exports:</STRONG> <UL> <LI><EM>Predicates:</EM> <A NAME="IDX4896"></A> <CODE>serve_socket/3</CODE>, <A NAME="IDX4897"></A> <CODE>safe_write/2</CODE>. </UL> <LI><STRONG>Other modules used:</STRONG> <UL> <LI><EM>System library modules:</EM> <A NAME="IDX4898"></A> <CODE>lists</CODE>, <A NAME="IDX4899"></A> <CODE>file_utils</CODE>, <A NAME="IDX4900"></A> <CODE>sockets/sockets</CODE>. </UL> </UL> </div class="cartouche"> <H2><A NAME="SEC381" HREF="ciao_toc.html#TOC381">Documentation on exports (<CODE>sockets_io</CODE>)</A></H2> <P> <A NAME="IDX4901"></A> <A NAME="IDX4902"></A> <DL> <DT><span class="define">PREDICATE:</span> <B>serve_socket/3:</B> <DD><A NAME="IDX4903"></A> <P> <EM>Meta-predicate</EM> with arguments: <CODE>serve_socket(?,pred(1),pred(1))</CODE>. <P> <STRONG>Usage:</STRONG> <CODE>serve_socket(Socket, Server, Handler)</CODE> <UL> <LI><EM>Description:</EM> Handles the streams associated to <CODE>Socket</CODE> calling <CODE>Server</CODE> on one request of each stream (as <CODE>Server(Stream)</CODE>), and <CODE>Handler(Stream)</CODE> if the stream is empty (connection closed). <LI><EM>The following properties should hold at call time:</EM> <CODE>Socket</CODE> is a socket id. (<CODE>sockets_io:socket/1</CODE>) <CODE>Server</CODE> is a term which represents a goal, i.e., an atom or a structure. (<CODE>basic_props:callable/1</CODE>) <CODE>Handler</CODE> is a term which represents a goal, i.e., an atom or a structure. (<CODE>basic_props:callable/1</CODE>) </UL> </DL> <P> <A NAME="IDX4904"></A> <A NAME="IDX4905"></A> <DL> <DT><span class="define">PREDICATE:</span> <B>safe_write/2:</B> <DD><A NAME="IDX4906"></A> <P> <STRONG>Usage:</STRONG> <CODE>safe_write(Stream, Term)</CODE> <UL> <LI><EM>Description:</EM> Writes <CODE>Term</CODE> to <CODE>Stream</CODE> in a way that it is safe for a socket connection on <CODE>Stream</CODE>. <LI><EM>The following properties should hold at call time:</EM> <CODE>Stream</CODE> is an open stream. (<CODE>streams_basic:stream/1</CODE>) <CODE>Term</CODE> is any term. (<CODE>basic_props:term/1</CODE>) </UL> </DL> <P><HR><P> Go to the <A HREF="ciao_1.html">first</A>, <A HREF="ciao_89.html">previous</A>, <A HREF="ciao_91.html">next</A>, <A HREF="ciao_241.html">last</A> section, <A HREF="ciao_toc.html">table of contents</A>. </BODY> </HTML>