@ciao-lang/ts-ciao-interface
Version:
Simple Ciao interface for node.
3 lines • 6.42 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>An introduction to the Ciao emacs environment — 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="GettingStarted.html">↑</a><a class="lpdoc-navbutton" href="CommandLineUse.html">←</a><a class="lpdoc-navbutton" href="Troubleshooting.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="GettingStarted.html">Getting started</a> »<br/> </li><li><a href=""><strong>An introduction to the Ciao emacs environment</strong></a></li></ul></div><div class="lpdoc-main"><div id=""><h1>An introduction to the Ciao emacs environment</h1><a class="lpdoc-idx-anchor" href="ciaosearch.html#EmacsUse"></a>
<strong>Author(s):</strong> <a class="lpdoc-idx-anchor" id="Manuel Hermenegildo" href="ciaosearch.html#Manuel Hermenegildo">Manuel Hermenegildo</a>.<p>
<a class="lpdoc-idx-anchor" id="0" href="ciaosearch.html#emacs, intro"></a> While it is easy to use Ciao with any editor of your choice, using it within the <a class="lpdoc-idx-anchor" id="1" href="emacs.html"><tt>emacs</tt></a> editor/program development system is highly recommended: Ciao includes an <a class="lpdoc-idx-anchor" id="2" href="emacs.html"><tt>emacs</tt></a> <em>mode</em> which provides a very complete <a class="lpdoc-idx-anchor" id="3" href="ciaosearch.html#development environment"></a> <em>application development environment</em> which greatly simplifies many program development tasks. See <a href="CiaoMode.html">Using Ciao inside GNU emacs</a> for details on the capabilities of <a class="lpdoc-idx-anchor" id="4" href="ciaosearch.html#ciao"><tt>ciao</tt></a>/<a class="lpdoc-idx-anchor" id="5" href="emacs.html"><tt>emacs</tt></a> combination.<p>If the (freely available) <a class="lpdoc-idx-anchor" id="6" href="emacs.html"><tt>emacs</tt></a> editor/environment is not installed in your system, we highly recommend that you also install it at this point (there are instructions for where to find <a class="lpdoc-idx-anchor" id="7" href="emacs.html"><tt>emacs</tt></a> and how to install it in the Ciao installation instructions). After having done this you can try for example the following things:<p><ul> <p><li>A few basic things:<p> <ul> <p><li>Typing <span class="lpdoc-emacskey">^H</span> <span class="lpdoc-emacskey">i</span> (or in the menus <tt>Help->Manuals->Browse Manuals with Info</tt>) should open a list of manuals in info format in which the Ciao manual(s) should appear.<p><li>When opening a Ciao file, i.e., a file with <tt>.pl</tt> or <tt>.pls</tt> ending, using <span class="lpdoc-emacskey">^X</span><span class="lpdoc-emacskey">^F</span><tt>filename</tt> (or using the menus) the code should appear highlighted according to syntax (e.g., comments in red), and <tt>Ciao/Prolog</tt> menus should appear in the menu bar on top of the <a class="lpdoc-idx-anchor" id="8" href="emacs.html"><tt>emacs</tt></a> window.<p><li>Loading the file using the <tt>Ciao/Prolog</tt> menu (or typing <span class="lpdoc-emacskey">^C</span> <span class="lpdoc-emacskey">l</span>) should start in another emacs buffer the Ciao toplevel shell and load the file. You should now be able to switch the the toplevel shell and make queries from within <a class="lpdoc-idx-anchor" id="9" href="emacs.html"><tt>emacs</tt></a>.<p></ul> <p><strong>Note</strong>: when using <a class="lpdoc-idx-anchor" id="10" href="emacs.html"><tt>emacs</tt></a> it is <em>very convenient</em> to swap the locations of the (normally not very useful) <span class="lpdoc-emacskey">Caps Lock</span> key and the (very useful in <a class="lpdoc-idx-anchor" id="11" href="emacs.html"><tt>emacs</tt></a>) <span class="lpdoc-emacskey">Ctrl</span> key on the keyboard. How to do this is explained in the <a class="lpdoc-idx-anchor" id="12" href="emacs.html"><tt>emacs</tt></a> frequently asked questions FAQs (see the <a class="lpdoc-idx-anchor" id="13" href="emacs.html"><tt>emacs</tt></a> download instructions for their location).<p> <p>(if these things do not work the system or emacs may not be installed properly).<p><li>You can go to the location of most of the errors that may be reported during compilation by typing <span class="lpdoc-emacskey">^C</span> <span class="lpdoc-emacskey">`</span>.<p><li>You can also, e.g., create executables from the <tt>Ciao/Prolog</tt> menu, as well as compile individual files, or generate active modules.<p><li>Loading a file for source-level debugging using the <tt>Ciao/Prolog</tt> menu (or typing <span class="lpdoc-emacskey">^C</span> <span class="lpdoc-emacskey">d</span>) and then issuing a query should start the source-level debugger and move a marker on the code in a window while execution is stepped through in the window running the Ciao top level.<p><li>You can add the lines needed in Unix for turning any file defining <a class="lpdoc-idx-anchor" id="14" href="ciaosearch.html#main/1"><tt>main/1</tt></a> into a script from the Ciao/Prolog menu or by typing <span class="lpdoc-emacskey">^C</span> <span class="lpdoc-emacskey">I</span> <span class="lpdoc-emacskey">S</span>.<p><li>You can also work with the preprocessor and auto-documenter directly from emacs: see their manuals or browse through the corresponding menus that appear when editing <tt>.pl</tt> files.<p></ul> <p>We encourage you once more to read <a href="CiaoMode.html">Using Ciao inside GNU emacs</a> to discover the many other functionalities of this environment.<p><br/></div><div class="lpdoc-footer">Generated with LPdoc using Ciao</div></div><div class="lpdoc-clearer"></div></div></body></html>