protocol
databasep
¶
Database protocol.
Author: Victor Lagerkvist
Version: 1.0
Date: 2010/6/13
Compilation flags:
static
(no dependencies on other entities)
Public interface¶
rule/4
¶
Clauses for this predicate are automatically generated using term-expansion. The third argument contains the length of Body.
Compilation flags:
static
Template:
rule(Head,Body,Length,Tail)
Mode and number of proofs:
rule(?callable,?callable,-,-)
- zero_or_more
rule/3
¶
Clauses for this predicate are automatically generated using term-expansion. The third argument denotes the tail of the Body.
Compilation flags:
static
Template:
rule(Head,Body,Tail)
Mode and number of proofs:
rule(?callable,?callable,-)
- zero_or_more
rule/2
¶
Clauses for this predicate are automatically generated using term-expansion.
Compilation flags:
static
Template:
rule(Head,Body)
Mode and number of proofs:
rule(?callable,-list(callable))
- zero_or_more
bench_goal/1
¶
Table of benchmark goals. They are used from shell.lgt to make benchmarking easier.
Compilation flags:
static
Template:
bench_goal(Goal)
Mode and number of proofs:
bench_goal(?callable)
- zero_or_more
Protected interface¶
(none)
Private predicates¶
(none)
Operators¶
(none)
Remarks¶
(none)