protocol
databasep
Database protocol.
Author: Victor Lagerkvist
Version: 1:0:0
Date: 2010-06-13
Compilation flags:
staticDependencies:
(none)
Remarks:
(none)
Inherited public predicates:
(none)
Public predicates
rule/4
Clauses for this predicate are automatically generated using term-expansion. The third argument contains the length of Body.
Compilation flags:
staticTemplate:
rule(Head,Body,Length,Tail)Mode and number of proofs:
rule(?callable,?callable,-,-) - zero_or_morerule/3
Clauses for this predicate are automatically generated using term-expansion. The third argument denotes the tail of the Body.
Compilation flags:
staticTemplate:
rule(Head,Body,Tail)Mode and number of proofs:
rule(?callable,?callable,-) - zero_or_morerule/2
Clauses for this predicate are automatically generated using term-expansion.
Compilation flags:
staticTemplate:
rule(Head,Body)Mode and number of proofs:
rule(?callable,-list(callable)) - zero_or_morebench_goal/1
Table of benchmark goals. They are used from shell.lgt to make benchmarking easier.
Compilation flags:
staticTemplate:
bench_goal(Goal)Mode and number of proofs:
bench_goal(?callable) - zero_or_moreProtected predicates
(none)
Private predicates
(none)
Operators
(none)