protocol

databasep

Database protocol.

author:
Victor Lagerkvist
version:
1.0
date:
2010/6/13
compilation flags:
static

(no dependencies on other files)

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 – 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 – 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 – 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 – number of proofs:
bench_goal(?callable) – zero_or_more

Protected interface

(none)

Private predicates

(none)

Operators

(none)

Remarks

(none)