# HG changeset patch # User Steve Losh # Date 1471732397 0 # Node ID 66c01894e34c327f3a786fe3640cd2f32f412860 # Parent 5977919552ee734b72a14aba6c7edf8abc07c070 Makefile fuckery diff -r 5977919552ee -r 66c01894e34c Makefile --- 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.' diff -r 5977919552ee -r 66c01894e34c docs/03-reference.markdown --- 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) +