Permalink
Browse files

removed the generated html and made sure the txt files in doc are sti…

…ll there
  • Loading branch information...
1 parent 1c578af commit 450f753b0471b2af22f7a7851d7a436b76bdf0b1 nisbus committed Dec 30, 2012
View
@@ -4,4 +4,4 @@
.eunit/*
doc/*
!doc/overview.edoc
-
+!doc/*.txt
View
@@ -1,4 +0,0 @@
-{application,erlog}.
-{packages,[]}.
-{modules,[erlog,erlog_boot,erlog_demo,erlog_ets,erlog_int,erlog_io,
- erlog_parse,erlog_scan,erlog_shell,user_pl]}.
View
Deleted file not rendered
View
@@ -1,131 +0,0 @@
-<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
-<html>
-<head>
-<title>Module erlog</title>
-<link rel="stylesheet" type="text/css" href="stylesheet.css" title="EDoc">
-</head>
-<body bgcolor="white">
-<div class="navbar"><a name="#navbar_top"></a><table width="100%" border="0" cellspacing="0" cellpadding="2" summary="navigation bar"><tr><td><a href="overview-summary.html" target="overviewFrame">Overview</a></td><td><a href="http://www.erlang.org/"><img src="erlang.png" align="right" border="0" alt="erlang logo"></a></td></tr></table></div>
-<hr>
-
-<h1>Module erlog</h1>
-<ul class="index"><li><a href="#description">Description</a></li><li><a href="#index">Function Index</a></li><li><a href="#functions">Function Details</a></li></ul>
-Main interface to the Erlog interpreter.
-<p>Copyright © (c) 2009 Robert Virding. All rights reserved.</p>
-
-<p><b>Authors:</b> Robert Virding.</p>
-
-<h2><a name="description">Description</a></h2><p>
-Main interface to the Erlog interpreter.</p>
-
- <p>
- <ul>
- <li>Structures - {Functor,arg1, Arg2,...} where Functor is an atom</li>
- <li>Variables - {Name} where Name is an atom or integer</li>
- <li>Lists - Erlang lists</li>
- <li>Atomic - Erlang constants</li>
- </ul>
- </p>
-
- <p>
- There is no problem with the representation of variables as Prolog
- functors of arity 0 are atoms. This representation is much easier
- to test for, and create new variables with than using funny atom
- names like '$1' (yuch!), and we need LOTS of variables.
- </p>
-<h2><a name="index">Function Index</a></h2>
-<table width="100%" border="1" cellspacing="0" cellpadding="2" summary="function index"><tr><td valign="top"><a href="#consult-2">consult/2</a></td><td></td></tr>
-<tr><td valign="top"><a href="#consult_file-2">consult_file/2</a></td><td>Load/reload an Erlog file into the interpreter.</td></tr>
-<tr><td valign="top"><a href="#get_db-1">get_db/1</a></td><td></td></tr>
-<tr><td valign="top"><a href="#halt-1">halt/1</a></td><td></td></tr>
-<tr><td valign="top"><a href="#is_legal_term-1">is_legal_term/1</a></td><td>Test if a goal is a legal Erlog term.</td></tr>
-<tr><td valign="top"><a href="#new-0">new/0</a></td><td></td></tr>
-<tr><td valign="top"><a href="#next_solution-1">next_solution/1</a></td><td></td></tr>
-<tr><td valign="top"><a href="#prove-2">prove/2</a></td><td></td></tr>
-<tr><td valign="top"><a href="#reconsult-2">reconsult/2</a></td><td></td></tr>
-<tr><td valign="top"><a href="#reconsult_file-2">reconsult_file/2</a></td><td></td></tr>
-<tr><td valign="top"><a href="#set_db-2">set_db/2</a></td><td></td></tr>
-<tr><td valign="top"><a href="#start-0">start/0</a></td><td> Start an Erlog server.</td></tr>
-<tr><td valign="top"><a href="#start_link-0">start_link/0</a></td><td>Starts a linked Erlog server.</td></tr>
-<tr><td valign="top"><a href="#vars_in-1">vars_in/1</a></td><td>Returns an ordered list of {VarName,Variable} pairs.</td></tr>
-</table>
-
-<h2><a name="functions">Function Details</a></h2>
-
-<h3 class="function"><a name="consult-2">consult/2</a></h3>
-<div class="spec">
-<p><tt>consult(Erl::Erlog, File) -&gt; ok | {error, Error}</tt></p>
-</div>
-
-<h3 class="function"><a name="consult_file-2">consult_file/2</a></h3>
-<div class="spec">
-<p><tt>consult_file(File, Db0::Database) -&gt; {ok, NewDatabase} | {error, Error} | {erlog_error, Error}</tt></p>
-</div><p>Load/reload an Erlog file into the interpreter. Reloading will
- abolish old definitons of clauses.</p>
-
-<h3 class="function"><a name="get_db-1">get_db/1</a></h3>
-<div class="spec">
-<p><tt>get_db(Erl::Erlog) -&gt; {ok, Database}</tt></p>
-</div>
-
-<h3 class="function"><a name="halt-1">halt/1</a></h3>
-<div class="spec">
-<p><tt>halt(Erl::Erlog) -&gt; ok</tt></p>
-</div>
-
-<h3 class="function"><a name="is_legal_term-1">is_legal_term/1</a></h3>
-<div class="spec">
-<p><tt>is_legal_term(T::Goal) -&gt; true | false</tt></p>
-</div><p>Test if a goal is a legal Erlog term. Basically just check if
- tuples are used correctly as structures and variables.</p>
-
-<h3 class="function"><a name="new-0">new/0</a></h3>
-<div class="spec">
-<p><tt>new() -&gt; any()</tt></p>
-</div>
-
-<h3 class="function"><a name="next_solution-1">next_solution/1</a></h3>
-<div class="spec">
-<p><tt>next_solution(Erl) -&gt; any()</tt></p>
-</div>
-
-<h3 class="function"><a name="prove-2">prove/2</a></h3>
-<div class="spec">
-<p><tt>prove(Erl::Erlog, Goal) -&gt; {succeed, Bindings} | fail</tt></p>
-</div>
-
-<h3 class="function"><a name="reconsult-2">reconsult/2</a></h3>
-<div class="spec">
-<p><tt>reconsult(Erl::Erlog, File) -&gt; ok | {error, Error}</tt></p>
-</div>
-
-<h3 class="function"><a name="reconsult_file-2">reconsult_file/2</a></h3>
-<div class="spec">
-<p><tt>reconsult_file(File, Db0::Database) -&gt; {ok, NewDatabase} | {error, Error} | {erlog_error, Error}</tt></p>
-</div>
-
-<h3 class="function"><a name="set_db-2">set_db/2</a></h3>
-<div class="spec">
-<p><tt>set_db(Erl::Erlog, Db::Database) -&gt; ok</tt></p>
-</div>
-
-<h3 class="function"><a name="start-0">start/0</a></h3>
-<div class="spec">
-<p><tt>start() -&gt; pid()</tt></p>
-</div><p> Start an Erlog server.</p>
-
-<h3 class="function"><a name="start_link-0">start_link/0</a></h3>
-<div class="spec">
-<p><tt>start_link() -&gt; pid()</tt></p>
-</div><p>Starts a linked Erlog server</p>
-
-<h3 class="function"><a name="vars_in-1">vars_in/1</a></h3>
-<div class="spec">
-<p><tt>vars_in(Term) -&gt; [{Name, Var}]</tt></p>
-</div><p>Returns an ordered list of {VarName,Variable} pairs.</p>
-<hr>
-
-<div class="navbar"><a name="#navbar_bottom"></a><table width="100%" border="0" cellspacing="0" cellpadding="2" summary="navigation bar"><tr><td><a href="overview-summary.html" target="overviewFrame">Overview</a></td><td><a href="http://www.erlang.org/"><img src="erlang.png" align="right" border="0" alt="erlang logo"></a></td></tr></table></div>
-<p><i>Generated by EDoc, Jul 8 2011, 00:31:35.</i></p>
-</body>
-</html>
View
@@ -1,44 +0,0 @@
-<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
-<html>
-<head>
-<title>Module erlog_boot</title>
-<link rel="stylesheet" type="text/css" href="stylesheet.css" title="EDoc">
-</head>
-<body bgcolor="white">
-<div class="navbar"><a name="#navbar_top"></a><table width="100%" border="0" cellspacing="0" cellpadding="2" summary="navigation bar"><tr><td><a href="overview-summary.html" target="overviewFrame">Overview</a></td><td><a href="http://www.erlang.org/"><img src="erlang.png" align="right" border="0" alt="erlang logo"></a></td></tr></table></div>
-<hr>
-
-<h1>Module erlog_boot</h1>
-<ul class="index"><li><a href="#description">Description</a></li><li><a href="#index">Function Index</a></li><li><a href="#functions">Function Details</a></li></ul>
-This little beauty allows you to start Erlang with the Erlog shell
-running and still has ^G and user_drv enabled.
-<p>Copyright © (c) 2008 Robert Virding. All rights reserved.</p>
-
-<p><b>Authors:</b> : Robert Virding.</p>
-
-<h2><a name="description">Description</a></h2><p>
-This little beauty allows you to start Erlang with the Erlog shell
-running and still has ^G and user_drv enabled. Use it as follows:</p>
-
- <p>erl -noshell -noinput -s erlog_boot start</p>
-
- <p>NOTE order of commands important, must be -noshell -noinput! Add
--pa to find modules if necessary.</p>
-
- Thanks to Attila Babo for showing me how to do this.
-<h2><a name="index">Function Index</a></h2>
-<table width="100%" border="1" cellspacing="0" cellpadding="2" summary="function index"><tr><td valign="top"><a href="#start-0">start/0</a></td><td></td></tr>
-</table>
-
-<h2><a name="functions">Function Details</a></h2>
-
-<h3 class="function"><a name="start-0">start/0</a></h3>
-<div class="spec">
-<p><tt>start() -&gt; any()</tt></p>
-</div>
-<hr>
-
-<div class="navbar"><a name="#navbar_bottom"></a><table width="100%" border="0" cellspacing="0" cellpadding="2" summary="navigation bar"><tr><td><a href="overview-summary.html" target="overviewFrame">Overview</a></td><td><a href="http://www.erlang.org/"><img src="erlang.png" align="right" border="0" alt="erlang logo"></a></td></tr></table></div>
-<p><i>Generated by EDoc, Jul 8 2011, 00:31:35.</i></p>
-</body>
-</html>
View
@@ -1,50 +0,0 @@
-<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
-<html>
-<head>
-<title>Module erlog_demo</title>
-<link rel="stylesheet" type="text/css" href="stylesheet.css" title="EDoc">
-</head>
-<body bgcolor="white">
-<div class="navbar"><a name="#navbar_top"></a><table width="100%" border="0" cellspacing="0" cellpadding="2" summary="navigation bar"><tr><td><a href="overview-summary.html" target="overviewFrame">Overview</a></td><td><a href="http://www.erlang.org/"><img src="erlang.png" align="right" border="0" alt="erlang logo"></a></td></tr></table></div>
-<hr>
-
-<h1>Module erlog_demo</h1>
-<ul class="index"><li><a href="#description">Description</a></li><li><a href="#index">Function Index</a></li><li><a href="#functions">Function Details</a></li></ul>Demo functions for Erlang interface of Erlog system.
-<p>Copyright © Robert Virding. This stuff is mine, distributed without
- warranty "as is" and may not be used commercially without written
- permission.</p>
-
-<p><b>Authors:</b> : Robert Virding.</p>
-
-<h2><a name="description">Description</a></h2><p>Demo functions for Erlang interface of Erlog system.</p>
-
- Test/demo functions for ecall predicate. Examples of different ways
- of generating solutions.
-<h2><a name="index">Function Index</a></h2>
-<table width="100%" border="1" cellspacing="0" cellpadding="2" summary="function index"><tr><td valign="top"><a href="#efunc-1">efunc/1</a></td><td></td></tr>
-<tr><td valign="top"><a href="#ets_keys-1">ets_keys/1</a></td><td></td></tr>
-<tr><td valign="top"><a href="#get_list-1">get_list/1</a></td><td></td></tr>
-</table>
-
-<h2><a name="functions">Function Details</a></h2>
-
-<h3 class="function"><a name="efunc-1">efunc/1</a></h3>
-<div class="spec">
-<p><tt>efunc(Fcall) -&gt; {succeed_last, Val}</tt></p>
-</div>
-
-<h3 class="function"><a name="ets_keys-1">ets_keys/1</a></h3>
-<div class="spec">
-<p><tt>ets_keys(Tab::Table) -&gt; {succeed, Val, Cont} | {succeed_last, Val} | fail</tt></p>
-</div>
-
-<h3 class="function"><a name="get_list-1">get_list/1</a></h3>
-<div class="spec">
-<p><tt>get_list(ListGen::ListGenerator) -&gt; {succeed, Val, Cont} | {succeed_last, Val} | fail</tt></p>
-</div>
-<hr>
-
-<div class="navbar"><a name="#navbar_bottom"></a><table width="100%" border="0" cellspacing="0" cellpadding="2" summary="navigation bar"><tr><td><a href="overview-summary.html" target="overviewFrame">Overview</a></td><td><a href="http://www.erlang.org/"><img src="erlang.png" align="right" border="0" alt="erlang logo"></a></td></tr></table></div>
-<p><i>Generated by EDoc, Jul 8 2011, 00:31:35.</i></p>
-</body>
-</html>
View
@@ -1,65 +0,0 @@
-<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
-<html>
-<head>
-<title>Module erlog_ets</title>
-<link rel="stylesheet" type="text/css" href="stylesheet.css" title="EDoc">
-</head>
-<body bgcolor="white">
-<div class="navbar"><a name="#navbar_top"></a><table width="100%" border="0" cellspacing="0" cellpadding="2" summary="navigation bar"><tr><td><a href="overview-summary.html" target="overviewFrame">Overview</a></td><td><a href="http://www.erlang.org/"><img src="erlang.png" align="right" border="0" alt="erlang logo"></a></td></tr></table></div>
-<hr>
-
-<h1>Module erlog_ets</h1>
-<ul class="index"><li><a href="#description">Description</a></li><li><a href="#index">Function Index</a></li><li><a href="#functions">Function Details</a></li></ul>ETS interface for Erlog.
-<p>Copyright © Robert Virding. This stuff is mine, distributed without
- warranty "as is" and may not be used commercially without written
- permission.</p>
-
-<p><b>Authors:</b> : Robert Virding.</p>
-
-<h2><a name="description">Description</a></h2>ETS interface for Erlog.
-
-<h2><a name="index">Function Index</a></h2>
-<table width="100%" border="1" cellspacing="0" cellpadding="2" summary="function index"><tr><td valign="top"><a href="#all-6">all/6</a></td><td>Return all the ETS databases.</td></tr>
-<tr><td valign="top"><a href="#assert-1">assert/1</a></td><td></td></tr>
-<tr><td valign="top"><a href="#keys-6">keys/6</a></td><td>Return the keys in an ETS database one at a time over backtracking.</td></tr>
-<tr><td valign="top"><a href="#match-6">match/6</a></td><td>
-Match objects in an ETS database one at a time over backtracking
-using Pattern in goal.</td></tr>
-</table>
-
-<h2><a name="functions">Function Details</a></h2>
-
-<h3 class="function"><a name="all-6">all/6</a></h3>
-<div class="spec">
-<p><tt>all(X1::Goal, Next, Cps::ChoicePoints, Bs::Bindings, Vn::VarNum, Db::Database) -&gt; <a href="#type-void">void()</a></tt>
-<ul class="definitions"><li><tt>Goal = {ets_all, Tables}</tt></li>
-</ul></p>
-</div><p>Return all the ETS databases.</p>
-
-<h3 class="function"><a name="assert-1">assert/1</a></h3>
-<div class="spec">
-<p><tt>assert(Db) -&gt; any()</tt></p>
-</div>
-
-<h3 class="function"><a name="keys-6">keys/6</a></h3>
-<div class="spec">
-<p><tt>keys(X1::Goal, Next, Cps::ChoicePoints, Bs::Bindings, Vn::VarNum, Db::Database) -&gt; <a href="#type-void">void()</a></tt></p>
-</div><p><p>Return the keys in an ETS database one at a time over backtracking.</p>
-
- Goal = {ets_keys,Table,Key}</p>
-
-<h3 class="function"><a name="match-6">match/6</a></h3>
-<div class="spec">
-<p><tt>match(X1::Goal, Next, Cps::ChoicePoints, Bs::Bindings, Vn::VarNum, Db::Database) -&gt; <a href="#type-void">void()</a></tt></p>
-</div><p><p>
-Match objects in an ETS database one at a time over backtracking
-using Pattern in goal. Variables in Pattern are bound for each
-object matched.</p>
-
- Goal = {ets_match,Table,Pattern}.</p>
-<hr>
-
-<div class="navbar"><a name="#navbar_bottom"></a><table width="100%" border="0" cellspacing="0" cellpadding="2" summary="navigation bar"><tr><td><a href="overview-summary.html" target="overviewFrame">Overview</a></td><td><a href="http://www.erlang.org/"><img src="erlang.png" align="right" border="0" alt="erlang logo"></a></td></tr></table></div>
-<p><i>Generated by EDoc, Jul 8 2011, 00:31:36.</i></p>
-</body>
-</html>
Oops, something went wrong.

0 comments on commit 450f753

Please sign in to comment.