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)