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:
staticDependencies:
(none)
Remarks:
(none)
Inherited public predicates:
(none)
Public predicates
prove/2
True if goal is provable in the specified database.
Compilation flags:
staticTemplate:
prove(Goal,DB)Mode and number of proofs:
prove(+goal,+database) - zero_or_moreprove/3
True if goal is provable within the given depth-limit in the specified database.
Compilation flags:
staticTemplate:
prove(Goal,Limit,DB)Mode and number of proofs:
prove(+goal,+limit,+database) - zero_or_moreProtected predicates
(none)
Private predicates
(none)
Operators
(none)