protocol

# databasep

> Database protocol.

author:
  `Victor Lagerkvist`
version:
  `1.0`
date:
  `2010/6/13`

compilation flags:
  `static`

(no dependencies on other files)

## Public interface

### 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 – 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 – 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 – 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 – number of proofs:
  `bench_goal(?callable) – zero_or_more`

## Protected interface

(none)

## Private predicates

(none)

## Operators

### (none)

## Remarks

### (none)