protocol
interpreterp
¶
Protocol for an interpreter.
Author: Victor Lagerkvist
Version: 1.0
Date: 2010/6/13
Compilation flags:
static
(no dependencies on other entities)
Public interface¶
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 interface¶
(none)
Private predicates¶
(none)
Operators¶
(none)
Remarks¶
(none)