protocol

# interpreterp

> Protocol for an interpreter.

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

compilation flags:
  `static`

(no dependencies on other files)

## Public interface

### prove/2

> True if goal is provable in the specified database.

compilation flags:
  `static`
template:
  `prove(Goal,DB)`
mode – number of proofs:
  `prove(+goal,+database) – zero_or_more`

### prove/3

> True if goal is provable within the given depth-limit in the specified database.

compilation flags:
  `static`
template:
  `prove(Goal,Limit,DB)`
mode – number of proofs:
  `prove(+goal,+limit,+database) – zero_or_more`

## Protected interface

(none)

## Private predicates

(none)

## Operators

### (none)

## Remarks

### (none)