docs/03-reference.markdown @ 837374f5256d

Make all the UI functions take a database parameter

Fixes https://github.com/sjl/temperance/issues/2
author Steve Losh <steve@stevelosh.com>
date Tue, 23 Aug 2016 17:53:03 +0000
parents 66c01894e34c
children 551c9d5d47d4
# API Reference

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.

Anything not listed here is subject to change at any time with no warning, so
don't touch it.

[TOC]

## Package `TEMPERANCE.WAM`

### `FACT` (macro)

    (FACT FACT)

### `FACTS` (macro)

    (FACTS
      &BODY
      FACTS)

### `FINALIZE-LOGIC-FRAME` (function)

    (FINALIZE-LOGIC-FRAME)

### `INVOKE-FACT` (function)

    (INVOKE-FACT FACT)

### `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)

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

### `POP-LOGIC-FRAME` (function)

    (POP-LOGIC-FRAME)

### `PROVE` (macro)

    (PROVE &REST TERMS)

### `PUSH-LOGIC-FRAME` (function)

    (PUSH-LOGIC-FRAME)

### `PUSH-LOGIC-FRAME-WITH` (macro)

    (PUSH-LOGIC-FRAME-WITH
      &BODY
      BODY)

### `QUERY` (macro)

    (QUERY &REST TERMS)

### `QUERY-ALL` (macro)

    (QUERY-ALL &REST TERMS)

### `QUERY-DO` (macro)

    (QUERY-DO FUNCTION &REST TERMS)

### `QUERY-FIND` (macro)

    (QUERY-FIND PREDICATE &REST TERMS)

### `QUERY-MAP` (macro)

    (QUERY-MAP FUNCTION &REST TERMS)

### `RESET-DATABASE` (function)

    (RESET-DATABASE)

### `RULE` (macro)

    (RULE HEAD
      &BODY
      BODY)

### `WITH-DATABASE` (macro)

    (WITH-DATABASE DATABASE
      &BODY
      BODY)

### `WITH-FRESH-DATABASE` (macro)

    (WITH-FRESH-DATABASE
      &BODY
      BODY)