protocol
Database protocol.
Victor Lagerkvist
1.0
2010/6/13
static
(no dependencies on other files)
Clauses for this predicate are automatically generated using term-expansion. The third argument contains the length of Body.
static
rule(Head,Body,Length,Tail)
rule(?callable,?callable,-,-) – zero_or_more
Clauses for this predicate are automatically generated using term-expansion. The third argument denotes the tail of the Body.
static
rule(Head,Body,Tail)
rule(?callable,?callable,-) – zero_or_more
Clauses for this predicate are automatically generated using term-expansion.
static
rule(Head,Body)
rule(?callable,-list(callable)) – zero_or_more
Table of benchmark goals. They are used from shell.lgt to make benchmarking easier.
static
bench_goal(Goal)
bench_goal(?callable) – zero_or_more
(none)
(none)