protocol

# `interpreterp`

Protocol for an interpreter.

Availability:
`logtalk_load(verdi_neruda(loader))`
Author: Victor Lagerkvist
Version: 1:0:0
Date: 2010-06-13
Compilation flags:
`static`
Dependencies:
(none)
Remarks:
(none)
Inherited public predicates:
(none)

## Public predicates

### `prove/2`

True if goal is provable in the specified database.

Compilation flags:
`static`
Template:
`prove(Goal,DB)`
Mode and 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 and number of proofs:
`prove(+goal,+limit,+database)` - `zero_or_more`

## Protected predicates

(none)

## Private predicates

(none)

## Operators

(none)