@ciao-lang/ts-ciao-interface
Version:
Simple Ciao interface for node.
11 lines (9 loc) • 2.6 kB
HTML
<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"/><meta name="viewport" content="width=device-width, initial-scale=1"/><meta name="theme-color" content="#273f79"/><link rel="stylesheet" href="lpdoc.css" type="text/css"/><script type="text/javascript" src="lpdoc.js"></script><title>Finding differences between two Prolog files — The Ciao System v1.22</title></head><body><div class="lpdoc-page fixleftbar"><a href="#" id="sidebar-toggle-button" class="lpdoc-navbutton"><span id="sidebar-button-arrow">☰</span></a><div id="sidebar" class="lpdoc-sidebar"><div style="height: 40px; margin-left: auto; margin-right: auto"><img src="ciao-logo_autofig.png" width=auto height=100%></div><div class="lpdoc-nav"><span class="lpdoc-on-right"><a class="lpdoc-navbutton" href="ciao-utilities.html">↑</a><a class="lpdoc-navbutton" href="callgraph.html">←</a><a class="lpdoc-navbutton" href="CiaoMode.html">→</a><a class="lpdoc-navbutton" href="ciaosearch.html">🔍</a></span><span><a href="ciaofulltoc.html">TOC</a></span></div><hr></hr><ul class="lpdoc-itemize-sectpath"><li><a href="ciao.html">The Ciao System</a> »<br/> </li><li><a href="DevEnv.html">PART I - The program development environment</a> »<br/> </li><li><a href="ciao-utilities.html">Other miscellaneous standalone utilities</a> »<br/> </li><li><a href=""><strong>Finding differences between two Prolog files</strong></a></li></ul><hr></hr><em>ON THIS PAGE</em><ul><li><a href="#Usage (pldiff)">Usage (pldiff)</a></li></ul></div><div class="lpdoc-main"><div id=""><h1>Finding differences between two Prolog files</h1>
<strong>Author(s):</strong> <a class="lpdoc-idx-anchor" id="Francisco Bueno" href="ciaosearch.html#Francisco Bueno">Francisco Bueno</a>.<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.<p><div id="Usage (pldiff)"><h2>Usage (pldiff)</h2> <p><pre class="lpdoc-codeblock">
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:<p><pre class="lpdoc-codeblock"> pldiff( <filename> , <filename> )
</pre> </div><br/></div><div class="lpdoc-footer">Generated with LPdoc using Ciao</div></div><div class="lpdoc-clearer"></div></div></body></html>