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

.. rst-class:: right

**protocol**

``databasep``
=============

Database protocol.

| **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
-----------------

.. raw:: html

   <div id="rule/4"> </div>

.. 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``


------------

.. raw:: html

   <div id="rule/3"> </div>

.. 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``


------------

.. raw:: html

   <div id="rule/2"> </div>

.. 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``


------------

.. raw:: html

   <div id="bench_goal/1"> </div>

.. 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)

