protocol

databasep

Database protocol.

Availability:
logtalk_load(verdi_neruda(loader))
Author: Victor Lagerkvist
Version: 1:0:0
Date: 2010-06-13
Compilation flags:
static
Dependencies:
(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:
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 predicates

(none)

Private predicates

(none)

Operators

(none)