<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 - Pretty-printing assertions</TITLE> </HEAD> <BODY> Go to the <A HREF="ciao_1.html">first</A>, <A HREF="ciao_83.html">previous</A>, <A HREF="ciao_85.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="SEC356" HREF="ciao_toc.html#TOC356">Pretty-printing assertions</A></H1> <P> <A NAME="IDX4657"></A> <P> <STRONG>Author(s):</STRONG> Francisco Bueno Carrillo. <P> <STRONG>Version:</STRONG> 1.10#7 (2006/4/26, 19:22:13 CEST) <P> <STRONG>Version of last change:</STRONG> 1.9#320 (2004/3/3, 18:29:59 CET) <P> This module defines some predicates which are useful for writing assertions in a readable form. <UL> <LI><A HREF="ciao_84.html#SEC357">Usage and interface (assrt_write)</A> <LI><A HREF="ciao_84.html#SEC358">Documentation on exports (assrt_write)</A> </UL> <H2><A NAME="SEC357" HREF="ciao_toc.html#TOC357">Usage and interface (<CODE>assrt_write</CODE>)</A></H2> <div class="cartouche"> <UL> <LI><STRONG>Library usage:</STRONG> <CODE>:- use_module(library(assrt_write)).</CODE> <LI><STRONG>Exports:</STRONG> <UL> <LI><EM>Predicates:</EM> <A NAME="IDX4658"></A> <CODE>write_assertion/6</CODE>, <A NAME="IDX4659"></A> <CODE>write_assertion_as_comment/6</CODE>. </UL> <LI><STRONG>Other modules used:</STRONG> <UL> <LI><EM>System library modules:</EM> <A NAME="IDX4660"></A> <CODE>format</CODE>, <A NAME="IDX4661"></A> <CODE>assertions/assrt_lib</CODE>, <A NAME="IDX4662"></A> <CODE>messages</CODE>, <A NAME="IDX4663"></A> <CODE>assertions/assertions_props</CODE>. </UL> </UL> </div class="cartouche"> <H2><A NAME="SEC358" HREF="ciao_toc.html#TOC358">Documentation on exports (<CODE>assrt_write</CODE>)</A></H2> <P> <A NAME="IDX4664"></A> <A NAME="IDX4665"></A> <DL> <DT><span class="define">PREDICATE:</span> <B>write_assertion/6:</B> <DD><A NAME="IDX4666"></A> <P> <STRONG>Usage:</STRONG> <CODE>write_assertion(Goal, Status, Type, Body, Dict, Flag)</CODE> <UL> <LI><EM>Description:</EM> Writes the (normalized) assertion to current output. <LI><EM>Call and exit should be <EM>compatible</EM> with:</EM> <CODE>Status</CODE> is an acceptable status for an assertion. (<CODE>assertions_props:assrt_status/1</CODE>) <CODE>Type</CODE> is an admissible kind of assertion. (<CODE>assertions_props:assrt_type/1</CODE>) <CODE>Body</CODE> is a normalized assertion body. (<CODE>assertions_props:nabody/1</CODE>) <CODE>Dict</CODE> is a dictionary of variable names. (<CODE>assertions_props:dictionary/1</CODE>) <CODE>Flag</CODE> is <CODE>status</CODE> or <CODE>nostatus</CODE>. (<CODE>assrt_write:status_flag/1</CODE>) </UL> </DL> <P> <A NAME="IDX4667"></A> <A NAME="IDX4668"></A> <DL> <DT><span class="define">PREDICATE:</span> <B>write_assertion_as_comment/6:</B> <DD><A NAME="IDX4669"></A> <P> <STRONG>Usage:</STRONG> <CODE>write_assertion_as_comment(Goal, Status, Type, Body, Dict, Flag)</CODE> <UL> <LI><EM>Description:</EM> Writes the (normalized) assertion to current output as a Prolog comment. <LI><EM>Call and exit should be <EM>compatible</EM> with:</EM> <CODE>Status</CODE> is an acceptable status for an assertion. (<CODE>assertions_props:assrt_status/1</CODE>) <CODE>Type</CODE> is an admissible kind of assertion. (<CODE>assertions_props:assrt_type/1</CODE>) <CODE>Body</CODE> is a normalized assertion body. (<CODE>assertions_props:nabody/1</CODE>) <CODE>Dict</CODE> is a dictionary of variable names. (<CODE>assertions_props:dictionary/1</CODE>) <CODE>Flag</CODE> is <CODE>status</CODE> or <CODE>nostatus</CODE>. (<CODE>assrt_write:status_flag/1</CODE>) </UL> </DL> <P><HR><P> Go to the <A HREF="ciao_1.html">first</A>, <A HREF="ciao_83.html">previous</A>, <A HREF="ciao_85.html">next</A>, <A HREF="ciao_241.html">last</A> section, <A HREF="ciao_toc.html">table of contents</A>. </BODY> </HTML>