protocol
Protocol for an interpreter.
Victor Lagerkvist
1.0
2010/6/13
static
(no dependencies on other files)
True if goal is provable in the specified database.
static
prove(Goal,DB)
prove(+goal,+database) – zero_or_more
True if goal is provable within the given depth-limit in the specified database.
static
prove(Goal,Limit,DB)
prove(+goal,+limit,+database) – zero_or_more
(none)
(none)