66c01894e34c

--- a/Makefile	Sat Aug 20 22:25:47 2016 +0000
+++ b/Makefile	Sat Aug 20 22:33:17 2016 +0000
@@ -34,7 +34,7 @@
 docs/build/index.html: $(docfiles) $(apidoc)
 	cd docs && ~/.virtualenvs/d/bin/d
 
-pubdocs: docs
+pubdocs: docs/build/index.html
 	hg -R ~/src/sjl.bitbucket.org pull -u
 	rsync --delete -a ./docs/build/ ~/src/sjl.bitbucket.org/temperance
 	hg -R ~/src/sjl.bitbucket.org commit -Am 'temperance: Update site.'

--- a/docs/03-reference.markdown	Sat Aug 20 22:25:47 2016 +0000
+++ b/docs/03-reference.markdown	Sat Aug 20 22:33:17 2016 +0000
@@ -1,6 +1,6 @@
 # API Reference
 
-The following is a list of all user-facing parts of Bones.
+The following is a list of all user-facing parts of Temperance.
 
 If there are backwards-incompatible changes to anything listed here, they will
 be noted in the changelog and the author will feel bad.
@@ -10,63 +10,119 @@
 
 [TOC]
 
-## Package `BONES.PAIP`
-
-Test?
-
-### `*CHECK-OCCURS*` (variable)
-
-Whether to perform an occurs check.
-
-### `CLEAR-DB` (function)
-
-    (CLEAR-DB)
+## Package `TEMPERANCE.WAM`
 
 ### `FACT` (macro)
 
-    (FACT &REST BODY)
+    (FACT FACT)
+
+### `FACTS` (macro)
+
+    (FACTS
+      &BODY
+      FACTS)
+
+### `FINALIZE-LOGIC-FRAME` (function)
+
+    (FINALIZE-LOGIC-FRAME)
+
+### `INVOKE-FACT` (function)
+
+    (INVOKE-FACT FACT)
 
-### `FAIL` (variable)
+### `INVOKE-FACTS` (function)
+
+    (INVOKE-FACTS &REST FACTS)
+
+### `INVOKE-PROVE` (function)
+
+    (INVOKE-PROVE &REST TERMS438)
+
+### `INVOKE-QUERY` (function)
+
+    (INVOKE-QUERY &REST TERMS262)
+
+### `INVOKE-QUERY-ALL` (function)
+
+    (INVOKE-QUERY-ALL &REST TERMS296)
+
+### `INVOKE-QUERY-DO` (function)
 
-Failure to unify
+    (INVOKE-QUERY-DO FUNCTION &REST TERMS366)
+
+### `INVOKE-QUERY-FIND` (function)
+
+    (INVOKE-QUERY-FIND PREDICATE &REST TERMS402)
+
+### `INVOKE-QUERY-MAP` (function)
+
+    (INVOKE-QUERY-MAP FUNCTION &REST TERMS330)
+
+### `INVOKE-RULE` (function)
+
+    (INVOKE-RULE HEAD &REST BODY)
+
+### `MAKE-DATABASE` (function)
+
+    (MAKE-DATABASE)
 
-### `NO-BINDINGS` (variable)
+### `POP-LOGIC-FRAME` (function)
+
+    (POP-LOGIC-FRAME)
+
+### `PROVE` (macro)
+
+    (PROVE &REST TERMS)
 
-A succesful unification, with no bindings.
+### `PUSH-LOGIC-FRAME` (function)
+
+    (PUSH-LOGIC-FRAME)
+
+### `PUSH-LOGIC-FRAME-WITH` (macro)
+
+    (PUSH-LOGIC-FRAME-WITH
+      &BODY
+      BODY)
 
 ### `QUERY` (macro)
 
-    (QUERY &REST GOALS)
-
-Perform the query interactively.
+    (QUERY &REST TERMS)
 
 ### `QUERY-ALL` (macro)
 
-    (QUERY-ALL &REST GOALS)
+    (QUERY-ALL &REST TERMS)
 
-Perform the query and automatically show all results.
+### `QUERY-DO` (macro)
 
-### `QUERY-ONE` (macro)
+    (QUERY-DO FUNCTION &REST TERMS)
 
-    (QUERY-ONE &REST GOALS)
+### `QUERY-FIND` (macro)
 
-Perform the query and just show the first result.
+    (QUERY-FIND PREDICATE &REST TERMS)
 
-### `RETURN-ALL` (macro)
+### `QUERY-MAP` (macro)
 
-    (RETURN-ALL &REST GOALS)
+    (QUERY-MAP FUNCTION &REST TERMS)
 
-### `RETURN-ONE` (macro)
+### `RESET-DATABASE` (function)
 
-    (RETURN-ONE &REST GOALS)
+    (RESET-DATABASE)
 
 ### `RULE` (macro)
 
-    (RULE &REST CLAUSE)
+    (RULE HEAD
+      &BODY
+      BODY)
 
-### `UNIFY` (function)
+### `WITH-DATABASE` (macro)
 
-    (UNIFY X Y &OPTIONAL (BINDINGS NO-BINDINGS))
+    (WITH-DATABASE DATABASE
+      &BODY
+      BODY)
 
-Unify the two terms and return bindings necessary to do so (or FAIL).
+### `WITH-FRESH-DATABASE` (macro)
 
+    (WITH-FRESH-DATABASE
+      &BODY
+      BODY)
+