<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 - Finding differences between two Prolog files</TITLE> </HEAD> <BODY> Go to the <A HREF="ciao_1.html">first</A>, <A HREF="ciao_182.html">previous</A>, <A HREF="ciao_184.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="SEC735" HREF="ciao_toc.html#TOC735">Finding differences between two Prolog files</A></H1> <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#258 (2003/12/30, 23:52:10 CET) <P> This simple program works like the good old diff but for files that contain Prolog code. It prints out the clauses that it finds are different in the files. Its use avoids textual differences such as different variable names and different formatting of the code in the files. <UL> <LI><A HREF="ciao_183.html#SEC736">Usage (pldiff)</A> <LI><A HREF="ciao_183.html#SEC737">Known bugs and planned improvements (pldiff)</A> </UL> <H2><A NAME="SEC736" HREF="ciao_toc.html#TOC736">Usage (pldiff)</A></H2> <PRE> pldiff <file1> <file2> : find differences pldiff -h : print this information </PRE> <P> but you can also use the program as a library and invoke the predicate: <PRE> pldiff( <filename> , <filename> ) </PRE> <H2><A NAME="SEC737" HREF="ciao_toc.html#TOC737">Known bugs and planned improvements (<CODE>pldiff</CODE>)</A></H2> <UL> <LI> Currently uses variant/2 to compare clauses. This is useful, but there should be an option to select the way clauses are compared, e.g., some form of equivalence defined by the user. </UL> <P><HR><P> Go to the <A HREF="ciao_1.html">first</A>, <A HREF="ciao_182.html">previous</A>, <A HREF="ciao_184.html">next</A>, <A HREF="ciao_241.html">last</A> section, <A HREF="ciao_toc.html">table of contents</A>. </BODY> </HTML>
