protocol

# `databasep`

Database protocol.

Author: Victor Lagerkvist
Version: 1.0
Date: 2010/6/13
Compilation flags:
`static`
Dependencies:
(none)
Remarks:
(none)
Inherited public predicates:
(none)

- Public predicates

  - `rule/4`

  - `rule/3`

  - `rule/2`

  - `bench_goal/1`

- Protected predicates

- Private predicates

- Operators

## Public predicates

### `rule/4`

Clauses for this predicate are automatically generated using term-expansion. The third argument contains the length of Body.

Compilation flags:
`static`
Template:
`rule(Head,Body,Length,Tail)`
Mode and number of proofs:
`rule(?callable,?callable,-,-)` - `zero_or_more`

### `rule/3`

Clauses for this predicate are automatically generated using term-expansion. The third argument denotes the tail of the Body.

Compilation flags:
`static`
Template:
`rule(Head,Body,Tail)`
Mode and number of proofs:
`rule(?callable,?callable,-)` - `zero_or_more`

### `rule/2`

Clauses for this predicate are automatically generated using term-expansion.

Compilation flags:
`static`
Template:
`rule(Head,Body)`
Mode and number of proofs:
`rule(?callable,-list(callable))` - `zero_or_more`

### `bench_goal/1`

Table of benchmark goals. They are used from shell.lgt to make benchmarking easier.

Compilation flags:
`static`
Template:
`bench_goal(Goal)`
Mode and number of proofs:
`bench_goal(?callable)` - `zero_or_more`

## Protected predicates

(none)

## Private predicates

(none)

## Operators

(none)