hg.stevelosh.com > docs.stevelosh.com

a85949509f78 

temperance: Update site.
[view raw] [browse files]
author Steve Losh <steve@stevelosh.com>
date Tue, 23 Aug 2016 23:12:38 +0000
parents 6f15e325545d
children 699ab4f05363
branches/tags (none)
files temperance/index.html temperance/reference/index.html

Changes

--- a/temperance/index.html	Tue Aug 23 21:15:16 2016 +0000
+++ b/temperance/index.html	Tue Aug 23 23:12:38 2016 +0000
@@ -21,7 +21,7 @@
 Lisp, designed to let you write Lispy Prolog.  Its main goals are:</p>
 <ul>
 <li>Be fast.</li>
-<li>Implement most of vanilla Prolog.</li>
+<li>Implement a decent subset of vanilla Prolog.</li>
 <li>Execute quickly.</li>
 <li>Interop back and forth with Common Lisp.</li>
 <li>Don't be slow.</li>
@@ -35,9 +35,7 @@
 <li><strong>Mercurial:</strong> <a href="http://bitbucket.org/sjl/temperance/">http://bitbucket.org/sjl/temperance/</a></li>
 <li><strong>Git:</strong> <a href="http://github.com/sjl/temperance/">http://github.com/sjl/temperance/</a></li>
 <li><strong>Issues:</strong> <a href="http://github.com/sjl/temperance/issues/">http://github.com/sjl/temperance/issues/</a></li>
-</ul>
-<h2 id="license">License</h2>
-<p>Copyright 2016 Steve Losh and contributors.  Licensed as <strong>MIT/X11</strong>.</p><h2>Table of Contents</h2><ol class="toc"><li><a href="installation/">Installation</a></li><li><a href="overview/">Overview</a></li><li><a href="reference/"> API Reference</a></li><li><a href="changelog/">Changelog</a></li></ol>
+</ul><h2>Table of Contents</h2><ol class="toc"><li><a href="installation/">Installation</a></li><li><a href="overview/">Overview</a></li><li><a href="reference/"> API Reference</a></li><li><a href="changelog/">Changelog</a></li></ol>
                 </div>
             <footer><p><i>Made with Lisp and love by <a href="http://stevelosh.com/">Steve Losh</a> in Reykjavík, Iceland.</i></p>
 <script>
--- a/temperance/reference/index.html	Tue Aug 23 21:15:16 2016 +0000
+++ b/temperance/reference/index.html	Tue Aug 23 23:12:38 2016 +0000
@@ -42,73 +42,72 @@
 <li><a href="#query-do-macro">QUERY-DO (macro)</a></li>
 <li><a href="#query-find-macro">QUERY-FIND (macro)</a></li>
 <li><a href="#query-map-macro">QUERY-MAP (macro)</a></li>
-<li><a href="#reset-database-function">RESET-DATABASE (function)</a></li>
+<li><a href="#reset-standard-database-function">RESET-STANDARD-DATABASE (function)</a></li>
 <li><a href="#rule-macro">RULE (macro)</a></li>
-<li><a href="#with-database-macro">WITH-DATABASE (macro)</a></li>
 <li><a href="#with-fresh-database-macro">WITH-FRESH-DATABASE (macro)</a></li>
 </ul>
 </li>
 </ul></div>
 <h2 id="package-temperancewam">Package <code>TEMPERANCE.WAM</code></h2>
 <h3 id="fact-macro"><code>FACT</code> (macro)</h3>
-<div class="codehilite"><pre>(FACT FACT)
+<div class="codehilite"><pre>(FACT DATABASE FACT)
 </pre></div>
 
 
 <h3 id="facts-macro"><code>FACTS</code> (macro)</h3>
-<div class="codehilite"><pre>(FACTS
+<div class="codehilite"><pre>(FACTS DATABASE
   &amp;BODY
   FACTS)
 </pre></div>
 
 
 <h3 id="finalize-logic-frame-function"><code>FINALIZE-LOGIC-FRAME</code> (function)</h3>
-<div class="codehilite"><pre>(FINALIZE-LOGIC-FRAME)
+<div class="codehilite"><pre>(FINALIZE-LOGIC-FRAME DATABASE)
 </pre></div>
 
 
 <h3 id="invoke-fact-function"><code>INVOKE-FACT</code> (function)</h3>
-<div class="codehilite"><pre>(INVOKE-FACT FACT)
+<div class="codehilite"><pre>(INVOKE-FACT DATABASE FACT)
 </pre></div>
 
 
 <h3 id="invoke-facts-function"><code>INVOKE-FACTS</code> (function)</h3>
-<div class="codehilite"><pre>(INVOKE-FACTS &amp;REST FACTS)
+<div class="codehilite"><pre>(INVOKE-FACTS DATABASE &amp;REST FACTS)
 </pre></div>
 
 
 <h3 id="invoke-prove-function"><code>INVOKE-PROVE</code> (function)</h3>
-<div class="codehilite"><pre>(INVOKE-PROVE &amp;REST TERMS438)
+<div class="codehilite"><pre>(INVOKE-PROVE DATABASE &amp;REST TERMS)
 </pre></div>
 
 
 <h3 id="invoke-query-function"><code>INVOKE-QUERY</code> (function)</h3>
-<div class="codehilite"><pre>(INVOKE-QUERY &amp;REST TERMS262)
+<div class="codehilite"><pre>(INVOKE-QUERY DATABASE &amp;REST TERMS)
 </pre></div>
 
 
 <h3 id="invoke-query-all-function"><code>INVOKE-QUERY-ALL</code> (function)</h3>
-<div class="codehilite"><pre>(INVOKE-QUERY-ALL &amp;REST TERMS296)
+<div class="codehilite"><pre>(INVOKE-QUERY-ALL DATABASE &amp;REST TERMS)
 </pre></div>
 
 
 <h3 id="invoke-query-do-function"><code>INVOKE-QUERY-DO</code> (function)</h3>
-<div class="codehilite"><pre>(INVOKE-QUERY-DO FUNCTION &amp;REST TERMS366)
+<div class="codehilite"><pre>(INVOKE-QUERY-DO DATABASE FUNCTION &amp;REST TERMS)
 </pre></div>
 
 
 <h3 id="invoke-query-find-function"><code>INVOKE-QUERY-FIND</code> (function)</h3>
-<div class="codehilite"><pre>(INVOKE-QUERY-FIND PREDICATE &amp;REST TERMS402)
+<div class="codehilite"><pre>(INVOKE-QUERY-FIND DATABASE PREDICATE &amp;REST TERMS)
 </pre></div>
 
 
 <h3 id="invoke-query-map-function"><code>INVOKE-QUERY-MAP</code> (function)</h3>
-<div class="codehilite"><pre>(INVOKE-QUERY-MAP FUNCTION &amp;REST TERMS330)
+<div class="codehilite"><pre>(INVOKE-QUERY-MAP DATABASE FUNCTION &amp;REST TERMS)
 </pre></div>
 
 
 <h3 id="invoke-rule-function"><code>INVOKE-RULE</code> (function)</h3>
-<div class="codehilite"><pre>(INVOKE-RULE HEAD &amp;REST BODY)
+<div class="codehilite"><pre>(INVOKE-RULE DATABASE HEAD &amp;REST BODY)
 </pre></div>
 
 
@@ -118,66 +117,60 @@
 
 
 <h3 id="pop-logic-frame-function"><code>POP-LOGIC-FRAME</code> (function)</h3>
-<div class="codehilite"><pre>(POP-LOGIC-FRAME)
+<div class="codehilite"><pre>(POP-LOGIC-FRAME DATABASE)
 </pre></div>
 
 
 <h3 id="prove-macro"><code>PROVE</code> (macro)</h3>
-<div class="codehilite"><pre>(PROVE &amp;REST TERMS)
+<div class="codehilite"><pre>(PROVE DATABASE &amp;REST TERMS)
 </pre></div>
 
 
 <h3 id="push-logic-frame-function"><code>PUSH-LOGIC-FRAME</code> (function)</h3>
-<div class="codehilite"><pre>(PUSH-LOGIC-FRAME)
+<div class="codehilite"><pre>(PUSH-LOGIC-FRAME DATABASE)
 </pre></div>
 
 
 <h3 id="push-logic-frame-with-macro"><code>PUSH-LOGIC-FRAME-WITH</code> (macro)</h3>
-<div class="codehilite"><pre>(PUSH-LOGIC-FRAME-WITH
+<div class="codehilite"><pre>(PUSH-LOGIC-FRAME-WITH DATABASE
   &amp;BODY
   BODY)
 </pre></div>
 
 
 <h3 id="query-macro"><code>QUERY</code> (macro)</h3>
-<div class="codehilite"><pre>(QUERY &amp;REST TERMS)
+<div class="codehilite"><pre>(QUERY DATABASE &amp;REST TERMS)
 </pre></div>
 
 
 <h3 id="query-all-macro"><code>QUERY-ALL</code> (macro)</h3>
-<div class="codehilite"><pre>(QUERY-ALL &amp;REST TERMS)
+<div class="codehilite"><pre>(QUERY-ALL DATABASE &amp;REST TERMS)
 </pre></div>
 
 
 <h3 id="query-do-macro"><code>QUERY-DO</code> (macro)</h3>
-<div class="codehilite"><pre>(QUERY-DO FUNCTION &amp;REST TERMS)
+<div class="codehilite"><pre>(QUERY-DO DATABASE FUNCTION &amp;REST TERMS)
 </pre></div>
 
 
 <h3 id="query-find-macro"><code>QUERY-FIND</code> (macro)</h3>
-<div class="codehilite"><pre>(QUERY-FIND PREDICATE &amp;REST TERMS)
+<div class="codehilite"><pre>(QUERY-FIND DATABASE PREDICATE &amp;REST TERMS)
 </pre></div>
 
 
 <h3 id="query-map-macro"><code>QUERY-MAP</code> (macro)</h3>
-<div class="codehilite"><pre>(QUERY-MAP FUNCTION &amp;REST TERMS)
+<div class="codehilite"><pre>(QUERY-MAP DATABASE FUNCTION &amp;REST TERMS)
 </pre></div>
 
 
-<h3 id="reset-database-function"><code>RESET-DATABASE</code> (function)</h3>
-<div class="codehilite"><pre>(RESET-DATABASE)
+<h3 id="reset-standard-database-function"><code>RESET-STANDARD-DATABASE</code> (function)</h3>
+<div class="codehilite"><pre>(RESET-STANDARD-DATABASE)
 </pre></div>
 
 
 <h3 id="rule-macro"><code>RULE</code> (macro)</h3>
-<div class="codehilite"><pre>(RULE HEAD
-  &amp;BODY
-  BODY)
-</pre></div>
-
-
-<h3 id="with-database-macro"><code>WITH-DATABASE</code> (macro)</h3>
-<div class="codehilite"><pre>(WITH-DATABASE DATABASE
+<div class="codehilite"><pre>(RULE DATABASE
+    HEAD
   &amp;BODY
   BODY)
 </pre></div>