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)