<!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  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>