--- 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)
+