.. index:: databasep .. _databasep/0:

.. rst-class:: right

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)

.. contents:: :local: :backlinks: top

Public predicates

.. index:: rule/4 .. _databasep/0::rule/4:

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

---

.. index:: rule/3 .. _databasep/0::rule/3:

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

---

.. index:: rule/2 .. _databasep/0::rule/2:

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

---

.. index:: bench_goal/1 .. _databasep/0::bench_goal/1:

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)