Sophie

Sophie

distrib > Fedora > 18 > x86_64 > by-pkgid > dec0eca585c47bb39fa40e62c2ebd9b8 > files > 15

gprolog-docs-1.4.4-1.fc18.x86_64.rpm

<!DOCTYPE html>
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
<meta name="generator" content="hevea 2.05">

<meta name="Author" content="Daniel Diaz">
<meta name="Keywords" content="GNU Prolog, manual, Prolog, compiler, constraints, finite domains">
<link rel="icon" type="image/x-icon" href="/gprolog.ico"><link rel="stylesheet" type="text/css" href="gprolog.css">
<title>Using GNU Prolog</title>
</head>
<body TEXT=black BGCOLOR=white>
<a href="gprolog004.html"><img src="previous_motif.gif" alt="Previous"></a>
<a href="index.html"><img src="contents_motif.gif" alt="Up"></a>
<a href="gprolog010.html"><img src="next_motif.gif" alt="Next"></a>
<hr>
<h2 class="section" id="sec5">4&#XA0;&#XA0;Using GNU Prolog</h2>
<ul>
<li><a href="gprolog006.html">Introduction</a>
</li><li><a href="gprolog007.html">The GNU Prolog interactive interpreter</a>
<ul>
<li><a href="gprolog007.html#sec8">Starting/exiting the interactive interpreter</a>
</li><li><a href="gprolog007.html#sec9">The interactive interpreter read-execute-write loop</a>
</li><li><a href="gprolog007.html#sec10">Consulting a Prolog program</a>
</li><li><a href="gprolog007.html#sec11">Scripting Prolog</a>
</li><li><a href="gprolog007.html#sec12">Interrupting a query</a>
</li><li><a href="gprolog007.html#sec13">The line editor</a>
</li></ul>
</li><li><a href="gprolog008.html">Adjusting the size of Prolog data</a>
</li><li><a href="gprolog009.html">The GNU Prolog compiler</a>
<ul>
<li><a href="gprolog009.html#sec16">Different kinds of codes</a>
</li><li><a href="gprolog009.html#sec17">Compilation scheme</a>
</li><li><a href="gprolog009.html#sec18">Using the compiler</a>
</li><li><a href="gprolog009.html#sec19">Running an executable</a>
</li><li><a href="gprolog009.html#sec20">Generating a new interactive interpreter</a>
</li><li><a href="gprolog009.html#sec21">The name mangling scheme</a>
</li></ul>
</li></ul>


<hr class="c011">
Copyright (C) 1999-2013 Daniel Diaz
Verbatim copying and distribution of this entire article is permitted in any
medium, provided this notice is preserved. <a href="index.html#copyright">More about the copyright</a>
<hr>
<a href="gprolog004.html"><img src="previous_motif.gif" alt="Previous"></a>
<a href="index.html"><img src="contents_motif.gif" alt="Up"></a>
<a href="gprolog010.html"><img src="next_motif.gif" alt="Next"></a>
</body>
</html>